TSD 2013
3rd Tsinghua Software Day
               
 Home  Organization  Lecture  Program  Local Infomation  Contact Us  
               
Thursday, APRIL 25th
08:45 -- 09:00
Opening : Sun Jiaguang
Formal methods at Tsinghua
09:00 -- 10:00
Erik Hagersten
Modelling and Simulation techniques for application development in the multicore era
10:00 -- 10:15
Questions
10:15 -- 10:35
Coffee Break
10:35 -- 11:00
Marc Pouzet
Synchrony, what is it (in hardware and software) ?
11:00 -- 11:45
Louis Mandel
Synchrony: programming languages and verification tools
11:45 -- 12:00
Break
12:00 -- 12:45
Marc Pouzet
Synchrony: the challenges
12:45 -- 13:00
Questions
13:00 -- 14:30
Lunch Break
14:30 -- 15:30
Ed Clarke
SMT Solving for Nonlinear Theories over the Reals
15:30 -- 15:45
Questions
15:45 -- 16:00
Break
16:00 -- 17:00
Interview of Ed Clarke by the students
Friday, APRIL 26th
from 9:00 until 12:30
Student presentations
Award: an award will be given to the best student presentation, as judged by the jury of invited speakers
chaired by Edmund Clarke.
09:00 -- 09:30
Zhenyue LONG, IOS
Language theoretic abstraction refinement
09:30 -- 10:00
Xiaomu Shi, Tsinghua
Certification of C programs with Compcert for SimSoC
10:00 -- 10:30
Qian Wang, Tsinghua
Certification of Coq modulo theories
10:30 -- 10:50
Coffee break
10:50 -- 11:20
Zhiwu XU, IOS
Parametric polymorphism for XML processing languages
11:20 -- 11:50
Liangze YIN, Tsinghua
Macro-step-based bounded model checking for Asynchronous systems
11:50 -- 12:20
Hengiun ZHAO, IOS
Synthesizing switching controllers for hybrid systems by continuous invariant generation
12:20 -- 12:40
Jury meeting
12:45
Award ceremony