 | 2009 |
|---|
| 7 |       | Magnus O. Myreen,
Konrad Slind,
Michael J. C. Gordon:
Extensible Proof-Producing Compilation.
CC 2009: 2-16 |
| 6 | | Susmit Sarkar,
Peter Sewell,
Francesco Zappa Nardelli,
Scott Owens,
Tom Ridge,
Thomas Braibant,
Magnus O. Myreen,
Jade Alglave:
The semantics of x86-CC multiprocessor machine code.
POPL 2009: 379-391 |
| 5 | | Magnus O. Myreen,
Michael J. C. Gordon:
Verified LISP Implementations on ARM, x86 and PowerPC.
TPHOLs 2009: 359-374 |
| 4 | | Magnus O. Myreen,
Michael J. C. Gordon:
Transforming Programs into Recursive Functions.
Electr. Notes Theor. Comput. Sci. 240: 185-200 (2009) |
| 2008 |
|---|
| 3 | | Magnus O. Myreen,
Michael J. C. Gordon,
Konrad Slind:
Machine-Code Verification for Multiple Architectures - An Application of Decompilation into Logic.
FMCAD 2008: 1-8 |
| 2007 |
|---|
| 2 | | Magnus O. Myreen,
Anthony C. J. Fox,
Michael J. C. Gordon:
Hoare Logic for ARM Machine Code.
FSEN 2007: 272-286 |
| 1 | | Magnus O. Myreen,
Michael J. C. Gordon:
Hoare Logic for Realistically Modelled Machine Code.
TACAS 2007: 568-582 |
