LCTES 2008 Technical Program and Schedule

Thursday, June 12, 2008
Breakfast (7:30am - 8:30am)
Opening Remarks (8:30am - 8:40am)
Invited Talk (8:40-10:00)

A formally verified compiler for critical embedded software
Xavier Leroy
INRIA Paris-Rocquencourt
(Abstract)

Break (10:00-10:30)
Paper Session 1: Java (10:30-12:00)
Lunch (12:00-1:30)
Paper Session 2: Timing Analysis and Compiler Optimization (1:30-3:10)
Break (3:10-3:40)
Student Poster Session (3:40-5:30)
Friday, June 13, 2008
Breakfast (7:30-8:30)
Paper Session 3: Architecture (8:30-10:00)
Break (10:00-10:30)
Invited Talk (10:30-12:00)

Phoenix: Exploring the Northern Polar Region of Mars
Peter Gluck
NASA JPL
(Abstract)

Lunch (12:00-1:30)
Paper Session 4: Programming Languages (1:30-3:10)
Break (3:10-3:40)
Paper Session 5: Register Allocation (3:40-5:00)



Page maintained by: John Regehr