Susmit Sarkar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
12
Active years
2003–2024
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | LOPSTR | Towards Specification-Guarded Refactoring. | Adam D. Barwell, Christopher Brown, Susmit Sarkar |
| 2017 | FMCAD | Verification of a lazy cache coherence protocol against a weak memory model. | Christopher J. Banks, Marco Elver, Ruth Hoffmann, Susmit Sarkar, Paul B. Jackson, Vijay Nagarajan |
| 2017 | POPL | Mixed-size concurrency: ARM, POWER, C/C++11, and SC. | Shaked Flur, Susmit Sarkar, Christopher Pulte, Kyndylan Nienhuis, Luc Maranget, Kathryn E. Gray, Ali Sezgin, Mark Batty, Peter Sewell |
| 2016 | ICFP | Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms. | David Castro, Kevin Hammond, Susmit Sarkar |
| 2016 | POPL | Modelling the ARMv8 architecture, operationally: concurrency and ISA. | Shaked Flur, Kathryn E. Gray, Christopher Pulte, Susmit Sarkar, Ali Sezgin, Luc Maranget, Will Deacon, Peter Sewell |
| 2015 | MICRO | An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors. | Kathryn E. Gray, Gabriel Kerneis, Dominic P. Mulligan, Christopher Pulte, Susmit Sarkar, Peter Sewell |
| 2015 | PPoPP | Fence placement for legacy data-race-free programs via synchronization read detection. | Andrew J. McPherson, Vijay Nagarajan, Susmit Sarkar, Marcelo Cintra |
| 2013 | PLDI | Fast RMWs for TSO: semantics and implementation. | Bharghava Rajaram, Vijay Nagarajan, Susmit Sarkar, Marco Elver |
| 2012 | CAV | An Axiomatic Memory Model for POWER Multiprocessors. | Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayvan Memarian, Jade Alglave, Scott Owens, Rajeev Alur, Milo M. K. Martin, Peter Sewell, Derek Williams |
| 2012 | PLDI | Synchronising C/C++ and POWER. | Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams |
| 2012 | POPL | Clarifying and compiling C/C++ concurrency: from C++11 to POWER. | Mark Batty, Kayvan Memarian, Scott Owens, Susmit Sarkar, Peter Sewell |
| 2011 | PLDI | Understanding POWER multiprocessors. | Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Maranget, Derek Williams |
| 2011 | POPL | Mathematizing C++ concurrency. | Mark Batty, Scott Owens, Susmit Sarkar, Peter Sewell, Tjark Weber |
| 2011 | PPDP | Nitpicking C++ concurrency. | Jasmin Christian Blanchette, Tjark Weber, Mark Batty, Scott Owens, Susmit Sarkar |
| 2011 | TACAS | Litmus: Running Tests against Hardware. | Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell |
| 2010 | CAV | Fences in Weak Memory Models. | Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell |
| 2009 | POPL | The semantics of power and ARM multiprocessor machine code. | Jade Alglave, Anthony C. J. Fox, Samin Ishtiaq, Magnus O. Myreen, Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli |
| 2009 | POPL | The semantics of x86-CC multiprocessor machine code. | Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, Jade Alglave |
| 2007 | ICFP | Ott: effective tool support for the working semanticist. | Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa |
| 2005 | ICLP | Small Proof Witnesses for LF. | Susmit Sarkar, Brigitte Pientka, Karl Crary |
| 2003 | CADE | Foundational Certified Code in a Metalogical Framework. | Karl Crary, Susmit Sarkar |