Programme of COCV at ETAPS 2007

(Compiler Optimization meets Compiler Verification)

Sunday, March 25, room: CP2-108

09:00 - 10:30 SESSION 1

Jens Knoop, Vienna University of Technology
Invited Talk
High-Level vs. RTL Equivalence Checking: Why the Next Big Success of Formal Verification Needs COCV
Alan Hu, University of British Columbia, Canada

10:30 - 11:00 Coffee Break

11:00 - 12:00 SESSION 2

Specify, Compile, Run: Hardware from PSL
Bloem, Galler, Jobstmann, Piterman, Pnueli, Weiglhofer (Graz University of Technology, Austria; EPFL Lausanne, Switzerland; Weizmann Institute, Israel)

12:30 - 14:00 Lunch

14:00 - 16:00 SESSION 3

Distilling Programs for Verification
Geoff Hamilton (Dublin City University, Ireland)
On-the-Fly Data Flow Analysis based on Verification Technology
Mara del Mar Gallardo, Christophe Joubert and Pedro Merino (University of Málaga, Spain)

16:00 - 16:30 Coffee Break

16:30 - 18:00 SESSION 4

Generating Java Compiler Optimizers Using Bidirectional CTL
Ling Fang and Masataka Sassa (Tokyo Institute of Technology, Japan)
A Certifying Code Generation Phase
Jan Olaf Blech and Arnd Poetzsch-Heffter (University of Kaiserslautern, Germany)

16:30 - 18:00 Closure


Joint Workshops Pre-Conference Dinner (tickets needed)
Dinner at Bom Jesus, Braga
Shuttle departure from University Campus, Gualtar

Further ETAPS 2007 Programme Information:

ETAPS 2007 | Top | HTML 4.01 | Last Update: 2007-03-13