|
|
|
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 and Krste Asanović
- 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
- Analysis and Transformation of Actor Models
Thomas Huining Feng 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
- Parallel Scripting Languages
Ras Bodik, Christopher Jones and Leo Meyerovich
- Ptolemy II--Heterogeneous Concurrent Modeling and Design in Java
Thomas Huining Feng, Man-Kit Leung, Ben Lickly, Isaac Liu, Jia Zou, Christopher Brooks, Edward A. Lee and Bert Rodiers
- 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
- Semantic Interpretation of Timed Discrete-Event Systems
Eleftherios Matsikoudis and Edward A. Lee
|
|
|
