Technical Programme for SVV 2004
9:00 - 9: 45 AM Invited Talk by Shaz Qadeer (Microsoft Research)
Context bounded model checking of concurrent Software [ abstract ]
9:45 - 10:30 AM Long Paper Presentation
Combining Theorem Proving with Static Analysis for Data Structure Consistency
Karen Zee, Patrick Lam, Viktor Kuncak, Martin Rinard (MIT, USA) [ abstract ]
10:30 - 10:45 AM Tea Break
10:45 - 11:30 AM Long Paper Presentation
A type system for proving correctness of compiler optimizations
Yutaka Matsuno and Hiroyuki Sato (Univ. of Tokyo, Japan) [ abstract ]
11:30 AM - 12 noon Short Paper Presentation
Contractual Consistency of BON Static and Dynamic Diagrams
Ali Taleghani and Jonathan Ostroff (Waterloo Univ. and York Univ, Canada.)
[ abstract ]
12 noon - 12:30 PM Short Paper Presentation
A formal approach for specification and verification of UML structural properties
Nicolas Guelfi, Amel Mammar and Benoit Ries (U. of Luxembourg, Luxembourg)
[ abstract ]
12:30 PM - 2:00 PM Lunch
2:00 PM - 3:00 PM Invited Talk by Margus Veanes (Microsoft Research)
A Game Approach to Software Testing [ abstract ]
3:00 PM - 3:30 PM Short Paper Presentation
Verification of Race Conditions in Real-time Systems
Nagendar Telkar, Karam Chatha, Yann-Hang Lee, Gerald Gannod and Eric Wong
(Arizona State Univ, USA) [ abstract ]
3:30 PM - 3:45 PM Tea Break
3:45 PM - 4:30 PM System Demos and Discussions