- Homepage
- About the Joint Centre
- Research Areas & Projects
- Researchers
- News & Events
- Open Positions
Jeudi 8 janvier, 11h
Centre Commun INRIA-Microsoft Research
Batiment I, Orsay
Programme de la journée:
| 11h-1130h | C. Hurlin | Automatic parallelization based on proof rewriting | |
| 11h30-12h | F. Boussinot | The ANR PARTOUT project | |
| 12h-12h30 | R. Amadio | TBA | |
| 12h30-14h30 | discussion and lunch | ||
| 14h30-15h | T. Rezk | TBA | |
| 15h-15h30 | J. Alglave | The Arm and Power relaxed memory model | |
| 15h30-16h | F. Dabrowski | Towards a formal semantics of MIDP graphical user interfaces | |
| 16h-16h30 | discussion and pause | ||
| 16h30-17h00 | D. Pichardie | A certified data race analysis for a Java-like language | |
| 17h00-17h30 | C. Hurlin | Size does matter |
Participants (tentative)
F. Boussinot, G. Petri, M. Dogguy, F. Zappa Nardelli, J.J. Lévy, D. Pichardie, F. Dabrowski, I. Castellani, C. Hurlin, T. Rezk, G. Boudol, T. Jensen