| 2009 |
|---|
| 4 | EE | Magnus O. Myreen,
Konrad Slind,
Michael J. C. Gordon:
Extensible Proof-Producing Compilation.
CC 2009: 2-16 |
| 3 | EE | 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 |
| 2007 |
|---|
| 2 | EE | Magnus O. Myreen,
Anthony C. J. Fox,
Michael J. C. Gordon:
Hoare Logic for ARM Machine Code.
FSEN 2007: 272-286 |
| 1 | EE | Magnus O. Myreen,
Michael J. C. Gordon:
Hoare Logic for Realistically Modelled Machine Code.
TACAS 2007: 568-582 |
