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