| 2009 |
|---|
| 5 | 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 |
| 2008 |
|---|
| 4 | EE | Karl Crary,
Susmit Sarkar:
Foundational certified code in the Twelf metalogical framework.
ACM Trans. Comput. Log. 9(3): (2008) |
| 2007 |
|---|
| 3 | EE | Peter Sewell,
Francesco Zappa Nardelli,
Scott Owens,
Gilles Peskine,
Tom Ridge,
Susmit Sarkar,
Rok Strnisa:
Ott: effective tool support for the working semanticist.
ICFP 2007: 1-12 |
| 2005 |
|---|
| 2 | EE | Susmit Sarkar,
Brigitte Pientka,
Karl Crary:
Small Proof Witnesses for LF.
ICLP 2005: 387-401 |
| 2003 |
|---|
| 1 | EE | Karl Crary,
Susmit Sarkar:
Foundational Certified Code in a Metalogical Framework.
CADE 2003: 106-120 |
