|
|
|
Large Projects
- Alphabet
Ras Bodik
- Berkeley Benchmarking and Optimization Group (BeBop)
Katherine A. Yelick, James Demmel, Ankit Jain, Rajesh Nishtala, Vasily Volkov, Mark Frederick Hoemmen and Samuel Webb Williams
- Open Source Quality
Thomas A. Henzinger, George Necula, Ras Bodik and Sanjit A. Seshia
- Parallel Laboratory (Par Lab) (PAL Lab)
Dave Patterson, Ras Bodik, James Demmel, Kurt Keutzer, Koushik Sen, Kathy Yelick and Krste Asanovic
- Parallel Web Browser
Ras Bodik, Krste Asanovic, Leo Meyerovich and Chris Jones
- Programming by Sketching
Ras Bodik
- UCLID: Reasoning about Computer Systems with Boolean Methods (UCLID)
Sanjit A. Seshia, Bryan Brady and Susmit Kumar Jha
Small Projects
- Actor Model-to-C Embedded Programming
Man-Kit Leung, Gang Zhou, Teale Fristoe, 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
- Extensible Shape Analysis with Invariant Checkers
Bor-Yuh Evan Chang, Xavier Rival and George Necula
- Predictive Testing for Sequential and Multithreaded Programs
Koushik Sen and Pallavi Joshi
- Ptalon, A Language for Higher Order Component Composition
Elaine Cheong, Thomas Huining Feng and Edward A. Lee
- Ptolemy II--Heterogeneous Concurrent Modeling and Design in Java
Christine Avanessians, Elaine Cheong, Thomas Huining Feng, Man-Kit Leung, Ben Lickly, Isaac Liu, Gang Zhou, Jia Zou, Christopher Brooks and Edward A. Lee
- Refinement-Based Context-Sensitive Points-to Analysis for Java
Manu Sridharan and Ras Bodik
- Semantic Interpretation of Timed Discrete-Event Systems
Eleftherios Matsikoudis and Edward A. Lee
- SMT Solver for Security
Susmit Kumar Jha and Sanjit A. Seshia
- Web Service Interfaces (CHIC)
Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger and Sanjit A. Seshia
|
|
|
