Overview

Many major projects carried out by the group in the past have had a big impact. UNIX. The PASCAL compiler was built here. Split C, a parallel version of C was done here. CCured, secure C, was done here. GPROF: profiling software.

Topics

  • Programming Language Design and Implementation:

    Compiler optimization. Semantics. JIT compilers. Domain-specific languages.

  • Programming Environments and Tools:

    Monitoring. Programmer search engines. Model-based design.

  • Program Analysis and Verification:

    Model checking. Static and dynamic analysis. Theorem proving. Schedulability analysis for real-time systems.

  • Software design, synthesis, and testing:

    Software design for parallel computing; for embedded systems; for numerical computing; for symbolic computing; for distributed computing. Software Testing. Sketching-based synthesis.

Research Centers

Faculty

Primary

Secondary

Faculty Awards

  • MacArthur Fellow: Dawn Song, 2010.
  • Okawa Prize: David E. Culler, 2013.
  • National Academy of Engineering (NAE) Member: Katherine A. Yelick, 2017. David E. Culler, 2005. Susan L. Graham, 1993.
  • American Academy of Arts and Sciences Member: Katherine A. Yelick, 2017. Susan L. Graham, 1995.
  • Berkeley Citation: David E. Culler, 2021. Edward A. Lee, 2018. Susan L. Graham, 2009.
  • UC Berkeley Distinguished Teaching Award: David A. Wagner, 2006.
  • Sloan Research Fellow: Alvin Cheung, 2019. Björn Hartmann, 2013. Michael Lustig, 2013. Koushik Sen, 2011. Sanjit A. Seshia, 2008. Dawn Song, 2007. David A. Wagner, 2003.

Related Courses