BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Gonthier:Georges

Contributed to:

ESEC/FSE 20132013
POPL 20132013
ICFP 20112011
FoSSaCS 20042004
POPL 20002000
ICALP 19981998
LICS 19981998
CAV 19961996
POPL 19961996
POPL 19941994
LICS 19921992
POPL 19921992

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.