2010 Research Summary - Programming Systems (PS)

Large Projects

• Parallel Laboratory (ParLab)
  Dave Patterson, Ras Bodik, James Demmel, Kurt Keutzer, Koushik Sen, Kathy Yelick, Krste Asanović and John D. Kubiatowicz
• 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
• BOOM: Generating Big Clouds from Small Programs
  Peter Alvaro, Tyson Condie, Neil Conway, Joseph M. Hellerstein, William Marczak and Ras Bodik
• Compositional Dataflow
  Eleftherios Matsikoudis and Edward A. Lee
• Data-Parallel Large Vocabulary Continuous Speech Recognition on Manycore Processors
  Jike Chong, Ekaterina Gonina and Kurt Keutzer
• 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ć
• Ptolemy II--Heterogeneous Concurrent Modeling and Design in Java
  Ben Lickly, Isaac Liu, Jia Zou, Christopher Brooks, Edward A. Lee, Dai Bui, Shanna-Shaye Forbes, Yasemin Demir, Elizabeth Latronico and Charles Shelton
• RePar: Reconfigurable Parallel Computing (RePar)
  John Wawrzynek and Greg Gibeling
• Semantics of Timed Discrete-Event Systems
  Eleftherios Matsikoudis and Edward A. Lee