Research Projects - 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
• Program Synthesis
  Ras Bodik
• TerraSwarm Research Center (TerraSwarm)
  Edward A. Lee, John D. Kubiatowicz, Jan M. Rabaey, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia and John Wawrzynek
• UCLID: Reasoning about Computer Systems with Boolean Methods (UCLID)
  Sanjit A. Seshia, Bryan Brady, Susmit Jha and Rhishikesh Shrikant Limaye

Small Projects

• 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
• Economics of Parallel Computing
  Neil Thompson
• Interfaces for Component-Based Design
  Stavros Tripakis, Marc Geilen, Ben Lickly, Maarten Wiggers, Edward A. Lee and Thomas A. Henzinger
• Lithe
  Benjamin Hindman and Krste Asanović
• Ptolemy II--Heterogeneous Concurrent Modeling and Design in Java
  Edward A. Lee, Ilge Akkaya, Remi Barre, Christopher Brooks, Dai Bui, Daniel Crawl, Patricia Derler, Elizabeth Latronico, Ben Lickly, Isaac Liu, Chris Motika, Aaron Schultz, Christopher Shaver, Charles Shelton, Miro Spoenemann, Stavros Tripakis and Michael Wetter
• RePar: Reconfigurable Parallel Computing (RePar)
  John Wawrzynek and Greg Gibeling
• Selective Embedded Just-in-time Specialization (SEJITS)
  Armando Fox and Jeffrey Morlan

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