NEVER

We would like to invite you to the 5th Northeastern Verification Seminar. The meeting will be held at NEC Labs America, Princeton, NJ on Friday, the 30th of October 2009.

Previous meetings were held at Bell Labs in March 2006, at NYU in October 2006, at NEC Labs in May 2007 and at U Penn in November 2007. The goal of these meetings is to encourage interaction among local research groups interested in formal methods for system verification. Our fifth meeting will be similar in format to the previous meetings with 30 minute presentations from each research group. For this meeting, we propose the theme "Verification - What matters in practice?"

If you plan to attend, please send a RSVP to the organizers in advance.

Program

9:00 - 9:30

Coffee & Breakfast

 

 

9:30 - 10:00

Arnab Sinha (Princeton), Using Concurrency to Check Concurrency: Checking Serializability in Software Transactional Memory

10:00 - 10:30

Franjo Ivancic (NEC Labs), Challenges of Software Verification in Industry

10:30 - 11:00

Dejan Jovanovic (NYU), Polite Theories Revisited

11:00 - 11:30

Swarat Chaudhuri (Penn State), Cauchy: Language Tools for Uncertain and Approximate Computation

11:30 - 12:00

5 Minute Madness Talks:
Divjyot Sethi (Princeton),
Naoto Maeda (NEC Labs),
Rajesh Subramanyan (Siemens CR),

12:00 - 1:30 (LUNCH)

  

1:30 - 2:00

5 Minute Madness Talks:
Chao Wang (NEC Labs), Symbolic Analysis of Concurrent Programs
Tim King (NYU), Formal Analysis of TCAS using SMT
Morgan Deters (NYU), Using SMT to Solve the Traveling Tournament Problem

2:00 - 2:30

Kedar Namjoshi (Bell Labs), Parallelizing a Compositional Model Checking Method

2:30 - 3:00

Stan Rosenberg (Stevens Institute), Our Recent Adventures with Region Logic

3:00 - 3:30

Michael Theobald (D.E. Shaw Research), Formal Verification Challenges of a Supercomputer-Class Machine Designed for Molecular Dynamics

3:30 - 4:00

Sela Mador-Haim (U Penn), Specifying Relaxed Memory Models for State Exploration Tools

Organizers

This meeting is organized by the System Analysis and Verification group at NEC Labs America. The group members include Gogul Balakrishnan, Malay Ganai, Aarti Gupta, Franjo Ivančić, Vineet Kahlon, Weihong Li, Naoto Maeda, Nadia Papakonstantinou, Nishant Sinha, and Chao Wang.

Contact

For questions related to this seminar and abstract submission for talks please contact Chao Wang.