| |
| 2009 | ||
|---|---|---|
| 1 | 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 |
| 1 | Jade Alglave | [1] |
| 2 | Magnus O. Myreen | [1] |
| 3 | Francesco Zappa Nardelli | [1] |
| 4 | Scott Owens | [1] |
| 5 | Tom Ridge (Thomas Ridge) | [1] |
| 6 | Susmit Sarkar | [1] |
| 7 | Peter Sewell | [1] |