Component-Based Systems
ACM SIGSOFT 2006/FSE-14
November 10-11, 2006
|
|
SAVCBS'06 |
|
Specification and Verification of Component-Based Systems |
|
| Workshop at ACM SIGSOFT 2006/FSE-14 November 10-11, 2006 |
| SAVCBS 2006 Preliminary Program Schedule | |||||
|---|---|---|---|---|---|
| Doubletree Hotel at Lloyd Center, Friday Nov. 10 | Doubletree Hotel at Lloyd Center, Saturday Nov. 11 | ||||
| 8:00 - 9:00 |
Breakfast | 8:00 - 9:00 |
Breakfast | ||
| 9:00 - 9:20 |
Opening remarks and introductions
Mike Barnett, Microsoft Research Dimitra Giannakopoulou, RIACS/NASA Ames Research Center Gary T. Leavens, Iowa State University Natasha Sharygina, University of Lugano and CMU Jonathan Aldrich, CMU |
9:00 - 10:00 |
Session 3 (chair: Dimitra Giannakopoulou)
Experiments in the use of tau-simulations for the components-verification of real-time systems Francoise Bellegarde, LIFC Jacques Julliand, LIFC Hassan Mountassir, LIFC Emilie Oudot, LIFC JML-based Verification of Liveness Properties on a Class Julien Groslambert, LIFC Jacques Julliand, LIFC Olga Kouchnarenko, LIFC |
||
| 9:20 - 10:30 |
Invited Talk (chair: Jonathan Aldrich)
Variance Analyses from Invariance Analyses Josh Berdine, Microsoft Research |
||||
| 10:00 - 10:15 |
Poster Session (chair: Mike Barnett)
Automatic Data Environment Construction for Static Device Drivers Analysis Hendrik Post, University of Tübingen Wolfgang Küchlin, University of Tübingen |
||||
| 10:30- 11:00 |
Break | 10:15- 11:00 |
Break | ||
| 11:00 - 12:00 |
Session 1 (chair: Natasha Sharygina)
Performance Analysis Based upon Complete Profiles Joan Krone, Denison University Murali Sitaraman, Clemson University William F. Ogden, Ohio State University Performance Modelling of a JavaEE Component Application using Layered Queuing Networks: Revised Approach and a Case Study Alexander Ufimtsev, University College Dublin Liam Murphy, University College Dublin |
11:00 - 12:00 |
Session 4 (chair: Jonathan Aldrich)
Using Resemblance to Support Component Reuse and Evolution Andrew McVeigh, Imperial College Jeff Kramer, Imperial College Jeff Magee, Imperial College Simplifying Reasoning about Objects with Tako Gregory Kulczycki, Virginia Tech Jyotindra Vasudeo, Virginia Tech |
||
| 12:00 - 2:00 |
Lunch | 12:00 - 12:30 |
Closing (chair: Mike Barnett)
Closing remarks, evaluations |
||
| 12:30 - 2:00 |
Lunch ... | ||||
| 2:00 - 3:00 |
Session 2 (chair: Gary T. Leavens)
Soundness and Completeness Warnings in ESC/Java2 Joseph Kiniry, University College Dublin Alan E. Morkan, University College Dublin Barry Denby, University College Dublin Early Detection of JML Specification Errors using ESC/Java2 Patrice Chalin, Concordia University |
||||
| 3:00 - 3:30 |
Challenge Problems (chair: Dimitra Giannakopoulou)
VC Generation for Functional Behavior and Non-Interference of Iterators Bart Jacobs, K.U.Leuven Frank Piessens, K.U.Leuven Wolfram Schulte, Microsoft Research Specifying Java Iterators with JML and Esc/Java2 David R. Cok, Eastman Kodak Company SAVCBS 2006 Challenge: Specification of Iterators Bruce W. Weide, The Ohio State University Iterator Specification with Typestates Kevin Bierhoff, Carnegie Mellon University Reasoning About Iterators With Separation Logic Neelakantan Krishnaswami, Carnegie Mellon University |
||||
| 3:30 - 4:00 |
Break | ||||
| 4:00 - 5:00 |
Challenge Problems (chair: Dimitra Giannakopoulou)
|
||||