 |
|
||||
| |||||
| |||||
|
|
|
||||||||||||||
| |||||||||||||||
Proceedings publication: Springer Lecture Notes in Computer Science 
|
|
Haifa Verification Conference 2008IBM Haifa Labs
8:30 Registration 9:00 Opening Remarks, Oded Cohn, IBM Haifa Research Lab Session I Keynote Talk 9:30 Hazards of Verification, Daniel Jackson, MIT 10:30 Efficient Decision Procedure for Bounded Integer Non-linear Operations Using SMT(LIA), Malay Ganai 11:00 Coffee Break Session II 11:30 Synthesizing Test Models from Test Cases, Antti Jääskeläinen, Antti Kervinen, Mika Katara, Antti Valmari and Heikki Virtanen 12:00 A Meta Heuristic for Effectively Detecting Concurrency Errors, Neha Rungta and Eric Mercer 12:30 Evaluating Workloads Using Comparative Functional Coverage, Yoram Adler, Dale Blue, Thomas Conti, Richard Prewitt and Shmuel Ur 13:00 Iterative Delta Debugging, Cyrille Valentin Artho 13:30 Lunch Session III 14:45 Invited talk: We are Never Done: Resiliency Needs of Highly Resilient General Purpose Computing Systems, Geoffrey Miller, IBM 15:30 Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Delta- Sigma Modulator, Edmund Clarke, Alexandre Donzé, and Axel Legay 16:00 Coffee Break Session IV 16:30 Tool Presentation: SeeCode - A Code Review Plug-in for Eclipse, Moran Shochat, Orna Raz and Eitan Farchi 16:45 Tool Presentation: Progress in Automated Software Defect Prediction, Elaine Weyuker and Thomas Ostrand 17:00 Significant Diagnostic Counterexamples in Probabilistic Model Checking, Miguel E. Andrés, Pedro R. D'Argenio and Peter van Rossum 17:30 A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata, Kerstin Bauer, Raffaella Gentilini and Klaus Schneider 18:00 Cocktail Party
Session I 9:15 Best Paper and HVC Award Presentations 9:30 HVC Award Winner: Interpolation with Applications in Formal Verification, Ken McMillan 10:15 Invited Talk: Is Verification Getting Too Complex?, Yoav Hollander, Cadence 11:00 Coffee Break Session II Session chair: Orna Grumberg 11:30 Panel: Coverage Metrics Across the Verification Domain 13:15 Lunch Session III 14:30 Invited talk: Can Mutation Analysis Help Fix Our Broken Coverage Metrics?, Brian Bailey 15:15 Automatic Boosting of Cross-Product Coverage Using Bayesian Networks, Dorit Baras, Avi Ziv, and Laurent Fournier 15:45 Simulation-based Verification of System-on-Chip Designs through an Automated Specification-based Testcase Generation, Christoph M. Kirchsteiger, Christoph Trummer, Christian Steger, Reinhold Weiss and Markus Pistauer 16:15 Coffee Break 16:30 Caesarea Excursion and Dinner
Session I Keynote Talk 9:15 Automata-Theoretic Model Checking Revisited, Moshe Vardi, Rice University 10:15 A Framework for Inherent Vacuity, Orna Kupferman, Dana Fisman, Moshe Vardi and Sarai Sheinvald 10:45 Coffee Break Session II Session chairs: Ziyad Hanna and Warren Hunt 11:15 Post-Silicon Verification (Invited Session) 13:15 Lunch Session III 14:30 Invited talk: Practical Considerations Concerning HL-to -RT Equivalence Checking, Carl Pixley, Synopsys 15:15 Tool Presentation: User-Friendly Model Checking: Automatically Configuring Algorithms with RuleBase/PE, Ziv Nevo 15:30 Tool Presentation: D-TSR: Parallelizing SMT-based BMC Using Tunnels over Distributed Framework, Malay Ganai and Weihong Li 15:45 Coffee Break Session IV 16:15 Linear-time Reductions of Resolution Proofs, Omer Barilan, Oded Fuhrmann, Shlomo Hoory, Ohad Shacham and Ofer Strichman 16:45 Structural Contradictions, Cindy Eisner and Dana Fisman 17:15 Closing Remarks |
|
|
|
