Georges Gonthier

Publication Activity (10 Years)

Years Active: 1985-2016
Publications (10 Years): 1

Top Topics

Software Engineering

Formal Verification

Representation Language

Previously Unknown

Top Venues

ESEC/SIGSOFT FSE

J. Funct. Program.

Publications

Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Anitha Gollamudi, Georges Gonthier, Nadim Kobeissi, Natalia Kulatova, Aseem Rastogi, Thomas Sibut-Pinote, Nikhil Swamy, Santiago Zanella Béguelin
Formal Verification of Smart Contracts: Short Paper. PLAS@CCS (2016)
Georges Gonthier
Engineering mathematics: the odd order theorem proof. POPL (2013)
Georges Gonthier, Beta Ziliani, Aleksandar Nanevski, Derek Dreyer
How to make ad hoc proof automation less ad hoc. J. Funct. Program. 23 (4) (2013)
Georges Gonthier
Software engineering for mathematics (keynote). ESEC/SIGSOFT FSE (2013)
Georges Gonthier, Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, François Garillot, Stéphane Le Roux, Assia Mahboubi, Russell O'Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi, Laurent Théry
A Machine-Checked Proof of the Odd Order Theorem. ITP (2013)
Steven Fraser, Luciano Baresi, Jane Cleland-Huang, Carlo A. Furia, Georges Gonthier, Paola Inverardi, Moshe Y. Vardi
A publication culture in software engineering (panel). ESEC/SIGSOFT FSE (2013)
Georges Gonthier, Enrico Tassi
A Language of Patterns for Subterm Selection. ITP (2012)
Georges Gonthier
Advances in the Formalization of the Odd Order Theorem. ITP (2011)
Georges Gonthier, Beta Ziliani, Aleksandar Nanevski, Derek Dreyer
How to make ad hoc proof automation less ad hoc. ICFP (2011)
Georges Gonthier
Point-Free, Set-Free Concrete Linear Algebra. ITP (2011)
Georges Gonthier
Type design patterns for computer mathematics. TLDI (2011)
Georges Gonthier, Assia Mahboubi
An introduction to small scale reflection in Coq. J. Formaliz. Reason. 3 (2) (2010)
François Garillot, Georges Gonthier, Assia Mahboubi, Laurence Rideau
Packaging Mathematical Structures. TPHOLs (2009)
Georges Gonthier
Software Engineering for Mathematics. Calculemus/MKM (2009)
Yves Bertot, Georges Gonthier, Sidi Ould Biha, Ioana Pasca
Canonical Big Operators. TPHOLs (2008)
Georges Gonthier
The Four Colour Theorem: Engineering of a Formal Proof. ASCM (2007)
Georges Gonthier, Assia Mahboubi, Laurence Rideau, Enrico Tassi, Laurent Théry
A Modular Formalisation of Finite Group Theory. TPHOLs (2007)
Cédric Fournet, Georges Gonthier
A hierarchy of equivalences for asynchronous calculi. J. Log. Algebraic Methods Program. 63 (1) (2005)
Byron Cook, Georges Gonthier
Using Stålmarck's Algorithm to Prove Inequalities. ICFEM (2005)
Martín Abadi, Georges Gonthier, Benjamin Werner
Choice in Dynamic Linking. FoSSaCS (2004)
Martín Abadi, Cédric Fournet, Georges Gonthier
Secure Implementation of Channel Abstractions. Inf. Comput. 174 (1) (2002)
Martín Abadi, Cédric Fournet, Georges Gonthier
Authentication Primitives and Their Compilation. POPL (2000)
Cédric Fournet, Georges Gonthier
The Join Calculus: A Language for Distributed Mobile Programming. APPSEM (2000)
Martín Abadi, Cédric Fournet, Georges Gonthier
A Top-Down Look at a Secure Message. FSTTCS (1999)
Martín Abadi, Cédric Fournet, Georges Gonthier
Secure Communications Processing for Distributed Languages. IEEE Symposium on Security and Privacy (1999)
Martín Abadi, Cédric Fournet, Georges Gonthier
Secure Implementation of Channel Abstractions. LICS (1998)
Cédric Fournet, Georges Gonthier
A Hierarchy of Equivalences for Asynchronous Calculi. ICALP (1998)
Martín Abadi, Cédric Fournet, Georges Gonthier
Secure Implementation of Channel Abstractions. Electron. Notes Theor. Comput. Sci. 10 (1997)
Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy
A Calculus of Mobile Agents. CONCUR (1996)
Cédric Fournet, Georges Gonthier
The Reflexive CHAM and the Join-Calculus. POPL (1996)
Georges Gonthier
Verifying the Safety of a Practical Concurrent Garbage Collector. CAV (1996)
Damien Doligez, Georges Gonthier
Portable, Unobtrusive Garbage Collection for Multiprocessor Systems. POPL (1994)
Georges Gonthier, Martín Abadi, Jean-Jacques Lévy
Linear Logic Without Boxes LICS (1992)
Georges Gonthier, Martín Abadi, Jean-Jacques Lévy
The Geometry of Optimal Lambda Reduction. POPL (1992)
Gérard Berry, Georges Gonthier
The Esterel Synchronous Programming Language: Design, Semantics, Implementation. Sci. Comput. Program. 19 (2) (1992)
Georges Gonthier, Jean-Jacques Lévy, Paul-André Melliès
An abstract standardisation theorem LICS (1992)
Gérard Berry, Georges Gonthier
Incremental Development of an HDLC Entity in Esterel. Comput. Networks ISDN Syst. 22 (1) (1991)
Georges Gonthier
Algebraic Calculi of Processes and Net Expressions. Theor. Comput. Sci. 40 (1985)