CMPS 280G: Seminar on Software Engineering (Spring 2008)
Instructor: Cormac Flanagan
Place: E2, Rm 392
Time: 1:00-2:00pm Wednesdays
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.
We have open slots, so please volunteer to give a talk by sending me a short email with a proposed date and topic!
Schedule
Date |
Speaker |
Topic |
April 2 |
No Speaker |
|
April 9 |
No Speaker |
|
April 16 |
Jaeheon Yi |
|
April 23 |
Kenneth Knowles |
Compositional and Decidable Checking for Dependent Contract Types |
April 30 |
Speaker |
|
May 7 |
Gerardo Schneider |
Specification, analysis and monitoring of electronic contracts |
May 14 |
Avik Chaudhuri |
EON: Modeling and Analyzing Dynamic Access Control Systems with Logic Programs |
May 21 |
Krishnendu Chatterjee |
The Complexity of Coverage |
May 28 |
Gillian Smith |
Domain Analysis and Feature Models for Platformer Games |
June 4 |
Pritam Roy |
Modular Verification of Software Systems by using Interfaces |