CR10 papers (2016)

Schedule:

December 6
13.15 Raphaël Monat
13.40 Valentin Honoré
14.05 Norbert Deak
14.30 Clément Sartori
15.00 Laureline Pinault
15.25 Maverick Chardey
15.50 Xavier Montillet
16.15 Victor Lutfalla

December 7
13.15 Rémy Grünblatt
13.40 Arthur Blot
14.05 Ioannis Panagiotas
14.30 Agathe Herrou
15.00 Beatrix Fülöp
15.25 Tom Dusséaux

Allocation:

9) Memory Models -> Raphael Monat
18) Horn -> Valentin Honoré
21) Software MC -> Deak Norbert
8) Comcert -> Clément Sartori.
2) Policy Iteration -> Laureline Pinault
15) Tiny OS -> Maverick Chardey
5) IC3 predicate Xavier Montillet
4) IC3 Hardware MC -> Victor Lutfalla
13) Parallel cost analysis -> Remy Grunblatt
7) Code optimisation -> Arthur Blot
17) Interpolants -> Panagiotas Ioannis  
10) polyhedral algorithmic -> Agathe Herrou
3) Arrays -> Beatrix Fulop
11) Sparse DataFlow Analyses -> Tom Dusseaux