Susmit Sarkar

Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell: Fences in weak memory models (extended version). Formal Methods in System Design 40(2): 170-205 (2012)

Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayvan Memarian, Jade Alglave, Scott Owens, Rajeev Alur, Milo M. K. Martin, Peter Sewell, Derek Williams: An Axiomatic Memory Model for POWER Multiprocessors. CAV 2012: 495-512

Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams: Synchronising C/C++ and POWER. PLDI 2012: 311-322

Mark Batty, Kayvan Memarian, Scott Owens, Susmit Sarkar, Peter Sewell: Clarifying and compiling C/C++ concurrency: from C++11 to POWER. POPL 2012: 509-520

Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Maranget, Derek Williams: Understanding POWER multiprocessors. PLDI 2011: 175-186

Mark Batty, Scott Owens, Susmit Sarkar, Peter Sewell, Tjark Weber: Mathematizing C++ concurrency. POPL 2011: 55-66

Jasmin Christian Blanchette, Tjark Weber, Mark Batty, Scott Owens, Susmit Sarkar: Nitpicking C++ concurrency. PPDP 2011: 113-124

Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell: Litmus: Running Tests against Hardware. TACAS 2011: 41-44

Peter Sewell, Susmit Sarkar, Scott Owens, Francesco Zappa Nardelli, Magnus O. Myreen: x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors. Commun. ACM 53(7): 89-97 (2010)

Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar, Rok Strnisa: Ott: Effective tool support for the working semanticist. J. Funct. Program. 20(1): 71-122 (2010)

Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell: Fences in Weak Memory Models. CAV 2010: 258-272

Jade Alglave, Anthony C. J. Fox, Samin Ishtiaq, Magnus O. Myreen, Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli: The semantics of power and ARM multiprocessor machine code. DAMP 2009: 13-24

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

Scott Owens, Susmit Sarkar, Peter Sewell: A Better x86 Memory Model: x86-TSO. TPHOLs 2009: 391-407

Karl Crary, Susmit Sarkar: Foundational certified code in the Twelf metalogical framework. ACM Trans. Comput. Log. 9(3) (2008)

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

Susmit Sarkar, Brigitte Pientka, Karl Crary: Small Proof Witnesses for LF. ICLP 2005: 387-401

Karl Crary, Susmit Sarkar: Foundational Certified Code in a Metalogical Framework. CADE 2003: 106-120