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.
|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|
Office: 1420 Computer Science Building, 632-8218
email: cram AT cs DOT sunysb DOT edu