Michael J. C. Gordon
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
8
Active years
1978–2012
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | FMCAD | Decompilation into logic - Improved. | Magnus O. Myreen, Michael J. C. Gordon, Konrad Slind |
| 2010 | ICFP | ML: metalanguage or object language? | Michael J. C. Gordon |
| 2009 | CC | Extensible Proof-Producing Compilation. | Magnus O. Myreen, Konrad Slind, Michael J. C. Gordon |
| 2008 | FMCAD | Machine-Code Verification for Multiple Architectures - An Application of Decompilation into Logic. | Magnus O. Myreen, Michael J. C. Gordon, Konrad Slind |
| 2007 | TACAS | Hoare Logic for Realistically Modelled Machine Code. | Magnus O. Myreen, Michael J. C. Gordon |
| 2006 | FMCAD | An Integration of HOL and ACL2. | Michael J. C. Gordon, James Reynolds, Warren A. Hunt Jr., Matt Kaufmann |
| 2000 | TACAS | The PROSPER Toolkit. | Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Graham Robinson, Michael J. C. Gordon, Thomas F. Melham |
| 1998 | CADE | System Description: An Interface Between CL | Konrad Slind, Michael J. C. Gordon, Richard J. Boulton, Alan Bundy |
| 1995 | LICS | The Semantic Challenge of Verilog HDL | Michael J. C. Gordon |
| 1993 | CAV | A Verifier and Timing Analyser for Simple Imperative Programs (Abstract). | Michael J. C. Gordon |
| 1988 | LICS | Partial Correctness of C-MOS Switching Circuits: An Exercise in Applied Logic | C. A. R. Hoare, Michael J. C. Gordon |
| 1978 | POPL | A Metalanguage for Interactive Proof in LCF. | Michael J. C. Gordon, Robin Milner, F. Lockwood Morris, Malcolm C. Newey, Christopher P. Wadsworth |