CMPS 280G: Seminar on Software Engineering

CMPS 280G is a graduate seminar on software engineering and programming languages. The seminar will feature guest lectures, students presenting their own research, and presentations of technical papers.

Schedule

Date

Speaker

Topic

Jan 11

Bo Adler (UCSC)

/Average-Reward Timed Games

Jan 18

(no class)

Jan 25

Kenneth Knowles (UCSC)

/Sage: Practical Hybrid Type Checking

Feb 1

Rob Pike (Google)

{1} /Interpreting the Data: Parallel Analysis with Sawzall

Feb 8

Yuan Yu (Microsoft Research)

/RaceTrack: Efficient Detection of Data Race Conditions via Adaptive Tracking

Feb 15

Natarajan Shankar (SRI)

/Logical Algorithms

Feb 22

Dimitra Giannakopoulou (NASA)

/Learn to Divide and Conquer

Mar 1

Peter Neumann (SRI)

{2} /Developing Trustworthy Systems

Mar 8

Krishnendu Chatterjee (UC Berkeley)

/Secure Equilibria and Parity Games

Mar 15

Henny Sipma (Stanford)

/Constraint-based Static Analysis

Notes


/Private Instructor Page

CMPS 280G Winter 2006 (last edited 2006-12-01 10:32:05 by idefix)