Georges Gonthier
Georges Gonthier
Principal Researcher, Microsoft Research
Verified email at microsoft.com - Homepage
TitleCited byYear
The Esterel synchronous programming language: Design, semantics, implementation
G Berry, G Gonthier
Science of computer programming 19 (2), 87-152, 1992
24651992
The synchronous approach to reactive and real-time systems
A Benveniste, G Berry
Proceedings of the IEEE 79 (9), 1270-1282, 1991
10431991
The reflexive CHAM and the join-calculus
C Edric Fournet, G Gonthier
Proceedings of the 23rd POPL, 372-385, 1996
8121996
A calculus of mobile agents
C Fournet, G Gonthier, JJ LÚvy, L Maranget, D RÚmy
International Conference on Concurrency Theory, 406-421, 1996
6011996
Formal proof–the four-color theorem
G Gonthier
Notices of the AMS 55 (11), 1382-1393, 2008
4752008
The geometry of optimal lambda reduction
G Gonthier, M Abadi, JJ LÚvy
Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles ofá…, 1992
3051992
A machine-checked proof of the odd order theorem
G Gonthier, A Asperti, J Avigad, Y Bertot, C Cohen, F Garillot, S Le Roux, ...
International Conference on Interactive Theorem Proving, 163-179, 2013
2922013
Formal verification of smart contracts: Short paper
K Bhargavan, A Delignat-Lavaud, C Fournet, A Gollamudi, G Gonthier, ...
Proceedings of the 2016 ACM Workshop on Programming Languages and Analysisá…, 2016
2572016
A small scale reflection extension for the Coq system
G Gonthier, A Mahboubi, E Tassi
2522016
The join calculus: A language for distributed mobile programming
C Fournet, G Gonthier
International Summer School on Applied Semantics, 268-332, 2000
2182000
Portable, unobtrusive garbage collection for multiprocessor systems
D Doligez, G Gonthier
Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles ofá…, 1994
1931994
A computer-checked proof of the four colour theorem
G Gonthier
1912005
Formal proof
TC Hales
Notices of the AMS 55 (11), 1370-1380, 2008
1492008
Synchronous programming of reactive systems: an introduction to Esterel
G Berry, P Couronne, G Gonthier
Proceedings of the first Franco-Japanese Symposium on Programming of futureá…, 1988
1481988
The four colour theorem: Engineering of a formal proof
G Gonthier
Asian Symposium on Computer Mathematics, 333-333, 2007
1462007
Packaging mathematical structures
F Garillot, G Gonthier, A Mahboubi, L Rideau
International Conference on Theorem Proving in Higher Order Logics, 327-342, 2009
1362009
An introduction to small scale reflection in Coq
G Gonthier, A Mahboubi
1332010
Linear logic without boxes
G Gonthier, M Abadi, JJ LÚvy
[1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computerá…, 1992
1201992
Canonical big operators
Y Bertot, G Gonthier, SO Biha, I Pasca
International Conference on Theorem Proving in Higher Order Logics, 86-101, 2008
932008
A hierarchy of equivalences for asynchronous calculi
C Fournet, G Gonthier
International Colloquium on Automata, Languages, and Programming, 844-855, 1998
881998
The system can't perform the operation now. Try again later.
Articles 1–20