dblp.uni-trier.dewww.uni-trier.de

Susmit Sarkar

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
5EESusmit 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
4EEKarl Crary, Susmit Sarkar: Foundational certified code in the Twelf metalogical framework. ACM Trans. Comput. Log. 9(3): (2008)
2007
3EEPeter 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
2EESusmit Sarkar, Brigitte Pientka, Karl Crary: Small Proof Witnesses for LF. ICLP 2005: 387-401
2003
1EEKarl Crary, Susmit Sarkar: Foundational Certified Code in a Metalogical Framework. CADE 2003: 106-120

Coauthor Index

1Jade Alglave [5]
2Thomas Braibant [5]
3Karl Crary [1] [2] [4]
4Magnus O. Myreen [5]
5Francesco Zappa Nardelli [3] [5]
6Scott Owens [3] [5]
7Gilles Peskine [3]
8Brigitte Pientka [2]
9Tom Ridge (Thomas Ridge) [3] [5]
10Peter Sewell [3] [5]
11Rok Strnisa [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)