2008 Research Summary - Ras Bodik

Large Projects

• Alphabet
  Ras Bodik
• 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

Small Projects

• Refinement-Based Context-Sensitive Points-to Analysis for Java
  Manu Sridharan and Ras Bodik