Research Projects - Programming Systems (PS)

Large Projects

• Berkeley Benchmarking and Optimization Group (BeBop)
  Katherine A. Yelick, James Demmel, Ankit Jain, Rajesh Nishtala, Vasily Volkov, Mark Frederick Hoemmen, Samuel Webb Williams, Karl Feurlinger, David Skinner and Rich Vuduc
• Berkeley UPC Project (UPC)
  Katherine A. Yelick, Dan Oscar Bonachea and Rajesh Nishtala
• Parallel Laboratory (ParLab)
  Dave Patterson, Ras Bodik, James Demmel, Kurt Keutzer, Koushik Sen, Kathy Yelick, Krste Asanović and John D. Kubiatowicz
• Parallel Web Browser
  Ras Bodik, Krste Asanović, Leo Meyerovich and Chris Jones
• Programming by Sketching
  Ras Bodik
• Titanium
  Susan L. Graham, Paul N. Hilfinger and Katherine A. Yelick
• UCLID: Reasoning about Computer Systems with Boolean Methods (UCLID)
  Sanjit A. Seshia, Bryan Brady, Susmit Jha and Rhishikesh Shrikant Limaye

Small Projects

• Actor Model-to-C Embedded Programming
  Man-Kit Leung, Christopher Brooks and Edward A. Lee
• Compositional Dataflow
  Eleftherios Matsikoudis and Edward A. Lee
• Data-Parallel Large Vocabulary Continuous Speech Recognition on Manycore Processors
  Jike Chong, Yi Youngmin, Arlo Faria, Nadathur Rajagopalan Satish and Kurt Keutzer
• Extensible Shape Analysis with Invariant Checkers (Xisa)
  Bor-Yuh Evan Chang, Xavier Rival and George Necula
• Information Flow Security
  Susmit Jha and Sanjit A. Seshia
• Interfaces for Component-Based Design
  Stavros Tripakis, Ben Lickly, Edward A. Lee and Thomas A. Henzinger
• Lithe
  Heidi Pan, Benjamin Hindman and Krste Asanović
• Parallel Scripting Languages
  Ras Bodik, Christopher Jones and Leo Meyerovich
• Ptolemy II--Heterogeneous Concurrent Modeling and Design in Java
  Edward A. Lee, Christopher Brooks, Dai Bui, Yasemin Demir, Shanna-Shaye Forbes, Jeff C. Jensen, Elizabeth Latronico, Man-Kit Leung, Ben Lickly, Isaac Liu, Charles Shelton and Jia Zou
• Refinement-Based Context-Sensitive Points-to Analysis for Java
  Manu Sridharan and Ras Bodik
• Scalable Automated Software Testing and Repair
  Koushik Sen and Sudeep Juvekar
• Semantics of Timed Discrete-Event Systems
  Eleftherios Matsikoudis and Edward A. Lee

Send requests for updates to researchupdates@eecs, or Login to make changes yourself.