Regular Meetings: CS Seminar Room (1306), 12noon -1:00pm
Organizational Meeting: Thursday, Sept 5, 2pm, Applied Logic Lab.
Graduate standing in the Computer Science Department; graduate courses in Programming Languages, Concurrency or Logic Programming, or permission of instructor.
This seminar will focus on issues in verification of concurrent systems, particularly of infinite-state systms. The seminar will consist of a series of presentations of (a) papers and articles in the area of infinite-state system verification and logic-programming based verification, and (b) recent research results of the LMC group at Stony Brook.
Here is the schedule of presentations which will be updated as the speakers are elected/selected/volunteered. See here for a list of possible papers to be discussed in the seminar.
Date | Presenter | Topic | |
---|---|---|---|
0. | Sep 05 | Organizational Meeting | |
1. | Sep 10 | C.R. Ramakrishnan | Infinite State System Verification in the LMC Lab |
Sep 17 | Monday schedule, no seminar | ||
2. | Sep 24 | Samik Basu | Verification of Push-Down Systems |
3. | Oct 01 | Beata Sarna-Starosta | Data Independence and Symmetry |
4. | Oct 08 | Giridhar Pemmasani | Verification of Real-Time Systems |
5. | Oct 15 | Dezhuang Zhang | Symbolic Model Checking of Value-Passing Systems |
6. | Oct 22 | Luis Castro | Convergence Acceleration |
7. | Oct 29 | Diptikalyan Saha | Automatic Abstraction (first two papers on the list) |
8. | Nov 05 | Shabbir Dahodwala | Model Extraction |
Nov 12 | No Meeting (originally scheduled talk postponed to Dec 10.) | ||
9. | Nov 19 | Fuxiang Yu | Verifying systems with infinite but regular state space |
Nov 26 | Thanksgiving, no seminar | ||
10. | Dec 3 | Rahul Agarwal | Putting Static Analysis to Work for Verification: A Case Study T. Lev-Ami, T. Reps, M. Sagiv, and R. Wilhelm, ISSTA 2000. |
11. | Dec 10 | Ping Yang | Verification of Mobile Processes |
C.R. Ramakrishnan
Office: 1420 Computer Science Building, 632-8218
email: cram AT cs DOT sunysb DOT edu