Programming Systems (PS)

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.

• Programming Environments and Tools:

  Monitoring. Programmer search engines.

• Program Analysis and Verification:

  Model checking. Static and dynamic analysis. Theorem proving.

• 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.

Faculty

• Ras Bodik
• Michael J. Clancy
• David E. Culler
• Richard J. Fateman
• Susan L. Graham
• Paul N. Hilfinger
• George Necula
• Koushik Sen
• Sanjit A. Seshia
• David Wagner
• Katherine A. Yelick (coordinator)

Related Courses

• CS 61A. Structure and Interpretation of Computer Programs
• CS 61B/61BL. Data Structures
• CS 164. Programming Languages and Compilers
• CS 169. Software Engineering
• CS 263. Design of Programming Languages
• CS 264. Implementation of Programming Languages
• CS 265. Compiler Optimization and Code Generation
• CS 267. Applications of Parallel Computing
• CS 294. Dynamic Program Analysis and Software Testing
• CS 294. Interactive Computer Theorem Proving
• EE 219C. Computer-Aided Verification