EMC2 Workshop on Hardware
and Software Verification
SATURDAY, 22 APRIL 2006, Singleton Room, Roberts
Hall
9:00 am - 5:15 pm
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 |
12:00-12:30 |
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
More details: www.cs.cmu.edu/~emc2
Please RSVP to: emc2-celebration
|