Programme of COCV at ETAPS 2011

Sunday, March 27

Room E1.1/111

09:30 - 10:30 SESSION 1

09.30: Opening

 

09.45: Topic: A first step towards Translation Validation of Compiler Back-Ends

Wolf Zimmermann (University of Halle, Germany)

10:30 - 11:00 Coffee

11:00 - 11:45 SESSION 2

11.00: Topic: Using Dataflow Analysis for Detecting Dataflow Errors in Business Processes

Thomas Heinze (University of Jena, Germany)

12:30 - 14:00 Lunch           

14:00 - 15:30 SESSION 3

14.00: Model Topic: Perspective for compiler certification in avionics

Xavier Rival (Ecole Normale Superieur, Paris, France)

 

14.45: Topic: Future Trends in Compiler Verification

Jens Knoop (Vienna University of Technology, Austria)

16:00 - 16:30 Coffee

16:30 - 17:30 SESSION 4

16.30: Discussion and Closing