Georges Gonthier
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
11
Active years
1992–2016
Best venue rank
A*
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | CCS | Formal Verification of Smart Contracts: Short Paper. | Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cdric Fournet, Anitha Gollamudi, Georges Gonthier, Nadim Kobeissi, Natalia Kulatova, Aseem Rastogi, Thomas Sibut-Pinote, Nikhil Swamy, Santiago Zanella-Bguelin |
| 2013 | ITP | A Machine-Checked Proof of the Odd Order Theorem. | Georges Gonthier, Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, Franois Garillot, Stphane Le Roux, Assia Mahboubi, Russell O'Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi, Laurent Thry |
| 2013 | POPL | Engineering mathematics: the odd order theorem proof. | Georges Gonthier |
| 2012 | ITP | A Language of Patterns for Subterm Selection. | Georges Gonthier, Enrico Tassi |
| 2011 | ICFP | How to make ad hoc proof automation less ad hoc. | Georges Gonthier, Beta Ziliani, Aleksandar Nanevski, Derek Dreyer |
| 2011 | ITP | Advances in the Formalization of the Odd Order Theorem. | Georges Gonthier |
| 2011 | ITP | Point-Free, Set-Free Concrete Linear Algebra. | Georges Gonthier |
| 2005 | ICFEM | Using Stlmarck's Algorithm to Prove Inequalities. | Byron Cook, Georges Gonthier |
| 2004 | FOSSACS | Choice in Dynamic Linking. | Martn Abadi, Georges Gonthier, Benjamin Werner |
| 2000 | POPL | Authentication Primitives and Their Compilation. | Martn Abadi, Cdric Fournet, Georges Gonthier |
| 1999 | SP | Secure Communications Processing for Distributed Languages. | Martn Abadi, Cdric Fournet, Georges Gonthier |
| 1998 | ICALP | A Hierarchy of Equivalences for Asynchronous Calculi. | Cdric Fournet, Georges Gonthier |
| 1998 | LICS | Secure Implementation of Channel Abstractions. | Martn Abadi, Cdric Fournet, Georges Gonthier |
| 1996 | CAV | Verifying the Safety of a Practical Concurrent Garbage Collector. | Georges Gonthier |
| 1996 | CONCUR | A Calculus of Mobile Agents. | Cdric Fournet, Georges Gonthier, Jean-Jacques Lvy, Luc Maranget, Didier Rmy |
| 1996 | POPL | The Reflexive CHAM and the Join-Calculus. | Cdric Fournet, Georges Gonthier |
| 1994 | POPL | Portable, Unobtrusive Garbage Collection for Multiprocessor Systems. | Damien Doligez, Georges Gonthier |
| 1992 | LICS | Linear Logic Without Boxes | Georges Gonthier, Martn Abadi, Jean-Jacques Lvy |
| 1992 | LICS | An abstract standardisation theorem | Georges Gonthier, Jean-Jacques Lvy, Paul-Andr Mellis |
| 1992 | POPL | The Geometry of Optimal Lambda Reduction. | Georges Gonthier, Martn Abadi, Jean-Jacques Lvy |