| 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 |