Travelled to:1 × Denmark
1 × Italy
1 × Japan
1 × Russia
1 × Spain
7 × USA
Collaborated with:M.Abadi C.Fournet ∅ J.Lévy D.Doligez B.Werner P.Melliès B.Ziliani A.Nanevski D.Dreyer
Talks about:mathemat (2) abstract (2) theorem (2) garbag (2) proof (2) engin (2) hoc (2) ad (2) multiprocessor (1) standardis (1)
Person: Georges Gonthier
DBLP: Gonthier:Georges
Contributed to:
2013
2013
2011
20042000
1998
1998
19961996199419921992Wrote 13 papers:
- ESEC-FSE-2013-Gonthier #re-engineering
- Software engineering for mathematics (GG), p. 13.
- POPL-2013-Gonthier #order #proving #theorem
- Engineering mathematics: the odd order theorem proof (GG), pp. 1–2.
- ICFP-2011-GonthierZND #ad hoc #automation #how #proving
- How to make ad hoc proof automation less ad hoc (GG, BZ, AN, DD), pp. 163–175.
- FoSSaCS-2004-AbadiGW
- Choice in Dynamic Linking (MA, GG, BW), pp. 12–26.
- POPL-2000-AbadiFG #authentication #compilation
- Authentication Primitives and Their Compilation (MA, CF, GG), pp. 302–315.
- ICALP-1998-FournetG #calculus
- A Hierarchy of Equivalences for Asynchronous Calculi (CF, GG), pp. 844–855.
- LICS-1998-AbadiFG #abstraction #implementation
- Secure Implementation of Channel Abstractions (MA, CF, GG), pp. 105–116.
- CAV-1996-Gonthier #concurrent #garbage collection #safety #verification
- Verifying the Safety of a Practical Concurrent Garbage Collector (GG), pp. 462–465.
- POPL-1996-FournetG #calculus #reflexive
- The Reflexive CHAM and the Join-Calculus (CF, GG), pp. 372–385.
- POPL-1994-DoligezG #garbage collection #multi
- Portable, Unobtrusive Garbage Collection for Multiprocessor Systems (DD, GG), pp. 70–83.
- LICS-1992-GonthierAL #linear #logic
- Linear Logic Without Boxes (GG, MA, JJL), pp. 223–234.
- LICS-1992-GonthierLM #standard #theorem
- An abstract standardisation theorem (GG, JJL, PAM), pp. 72–81.
- POPL-1992-GonthierAL #geometry #reduction
- The Geometry of Optimal λ Reduction (GG, MA, JJL), pp. 15–26.