|
Search the dblp DataBase
Susmit Sarkar:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Karl Crary, Susmit Sarkar
Foundational Certified Code in a Metalogical Framework. [Citation Graph (0, 0)][DBLP] CADE, 2003, pp:106-120 [Conf]
- Susmit Sarkar, Brigitte Pientka, Karl Crary
Small Proof Witnesses for LF. [Citation Graph (0, 0)][DBLP] ICLP, 2005, pp:387-401 [Conf]
- Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa
Ott: effective tool support for the working semanticist. [Citation Graph (0, 0)][DBLP] ICFP, 2007, pp:1-12 [Conf]
Fences in Weak Memory Models. [Citation Graph (, )][DBLP]
The semantics of x86-CC multiprocessor machine code. [Citation Graph (, )][DBLP]
The semantics of power and ARM multiprocessor machine code. [Citation Graph (, )][DBLP]
A Better x86 Memory Model: x86-TSO. [Citation Graph (, )][DBLP]
x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|