EMC2 Workshop on Hardware and Software Verification

SATURDAY, 22 APRIL 2006, Singleton Room, Roberts Hall
9:00 am - 5:15 pm


8:00-9:00 Continental Breakfast
9:00- 9:15 Welcome! Jeannette M. Wing
President's Professor of Computer Science, Computer Science, Department Head
9:15-10:15 Keynote: Robert L. Constable
Dean of Faculty of Computing and Information Science, Professor of Computer Science Cornell University
Thirty Years of Progress in Formal Methods

Part 1: Software Security and Verification

10:15- 10:45 Orna Grumberg
Professor, Computer Science Department, Technion - Israel Institute of Technology
Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation
10:45-11:00 Break
11:00-11:30 Helmut Veith
Professor, Institut für Informatik, Technische Universität München
Environment Abstraction: Proving Ptolemy Right
11:30-12:00 Daniel Kroening
Assistant Professor, Computer Systems Institute, ETH Zurich
Model Checking C++ Programs that use the STL

Somesh Jha
Assistant Professor, Computer Sciences Department, University of Wisconsin
Towards Resilient Malware Detectors

12:30-13:30 Lunch
13:30-14:00 Bud Mishra
Professor of Computer Science & Mathematics, Courant Institute, New York University
What's Next? Challenges from Systems Biology

Part 2: Hardware System Development and Verification

14:00-14:30 Randal E. Bryant
University Professor of Computer Science Dean, School of Computer Science
Why Didn't I Think of That!
Perspectives on the early days of symbolic model checking
14:30-15:00 Bruce Krogh
Professor and Associate Department Head, Department of Electrical and Computer Engineering, Carnegie Mellon
Verification of Analog and Mixed Signal Designs Using Iterative Refinement
15:00-15:15 Break
15:15-15:45 Ken McMillan
Research Scientist, Cadence Berkeley Labs
15:45-16:15 E. Allen Emerson
Department of Computer Sciences The University of Texas, Austin
Model Checking Many Systems
16:15-16:45 David L. Dill
Professor of Computer Science and Electrical Engineering, Stanford University
The Pathalyzer: a Tool for Analysis of Signal Transduction Pathways
16:45-17:15 Robert P. Kurshan
Fellow, Cadence Design Systems
From EMC to EDA
18:00-20:00 Dinner



More details: www.cs.cmu.edu/~emc2
Please RSVP to: emc2-celebration