EPFL Summer Research Institute Schedule - LARA Information
Schedule Outline
Monday 10:15: Applied Logic 14:15 Relational Analysis of Non-deterministic Integer Programs 15:15 Specification-Centered Robustness 16:15 Uniform Reduction to SAT and SMT Tuesday 10:15 Boolean Satisfiability: From Theoretical Hardness to Practical Success 11:15 In Praise of Algebra 14:15 Scalable Software Model Checking for Finding Bugs in the Large 15:15 HMC: Refinement type inference using abstract interpreters 16:15 IMUnit: Improved Multithreaded Unit Testing Wednesday 10:15 Coping with Multi-thread Schedules for Detecting Concurrency Bugs
Calendar
Participants include:
| title | name | accommodation | office |
|---|---|---|---|
| Professor | C.A.R. (Tony) Hoare | Moevenpick, vkuncak c.c. | |
| Dr. | Aarti Gupta | Bellerive, vkuncak c.c. | BC 356 |
| Professor | Sharad Malik | Bellerive, vkuncak c.c. | BC 356 |
| Professor | Predrag Janicic | Bellerive, vkuncak c.c. | Giuliano's office |
| Professor | Rupak Majumdar | Bellerive, vkuncak c.c. | Viktor's office |
| Professor | Darko Marinov | Viktor's place | |
| Dr. | David Monniaux | Bellerive, vkuncak c.c. | Giuliano's office |
| Dr. | Radu Iosif | hotel in St Sulpice |