The Second Northeastern Verfication Seminar

Friday, October 13, 2006, Room 109 Warren Weaver Hall 251 Mercer Street New York, NY 10012-1185


10:00 - 10:15 Coffee

10:15 - 10:30 Welcome and Opening Remarks

10:30 - 12:00----Session 1

Modeling C. elegans development: System Design Meets Biology by Hillel Kugler, New York University

Accelerating High-level BMC using Synthesis for Verification Paradigm by Malay K Ganai, NEC Labs

Analysis of Security Policies by Scott D. Stoller, Stony Brook University

12:00 - 2:00 Lunch Break

2:00 - 3:30----Session 2

Verifying Assembly-level Garbage Collectors Implementations in Coq by Andrew McCreight, Yale University

Secure information flow by mating invariants by David Naumann, Stevens Institute of Technology

CFL-Reachability in Subcubic Time by Swarat Chaudhuri, University of Pennsylvania

3:30 - 4:00 Break

4:00 - 5:00----Session 3

Analysis of Interacting Pushdown Systems by Vineet Kahlon, NEC Labs

Local Proofs for Global Properties by Kedar Namjoshi, Bell Labs

5:00 - 6:00 5:00:-6:00 Open Discussion and 5 Minute Madness

Below are some of the participants in no particular order

Formalizing Weak Memory Models by Vijay Saraswat, IBM TJ Watson Research Center

Flowpipe Construction Considered Joyful by Sriram Sankaranarayanan, NEC Labs

Sebastian Burckhardt, Pavol Cerny, and Gera Weiss, University of Pennsylvania

Ittai Balaban, Anna Zaks, and Aleksandr Zaks, New York University

For directions, please see: Directions:

top | contact