Interprétation abstraite
- ENS
- David Schmidt (Kansas)
- Imperial College
- LABRI Bordeaux
- X
- Christopher Colby (Loyola University, Chicago)
- Shmuel Sagiv (Chicago)
- larch (David Evans)
- CMU
- AbsInt : la boite de Reinhard
data flow analysis
- Rajiv Gupta (Arizona)
- Susan Horwitz (Wisconsin)
- Laurie Hendren (McGill, Montréal)
- Daniel Jackson (Carnegie Mellon)
- Keshav Pingali (Cornell)
- James Larus (Wisconsin)
- Vugranam C. Sreedhar (McGill, Montréal)
Évaluation partielle
- Sandrine Blazy (CNAM)