Susmit Sarkar

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 11

Top Topics

Colored Petri Nets

Transactional Data

Complex Systems

Provably Correct

Top Venues

Proc. ACM Program. Lang.

Publications

Andrés Goens, Soham Chakraborty, Susmit Sarkar, Sukarn Agarwal, Nicolai Oswald, Vijay Nagarajan
Compound Memory Models. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Martin Kristien, Tom Spink, Brian Campbell, Susmit Sarkar, Ian Stark, Björn Franke, Igor Böhm, Nigel P. Topham
Fast and Correct Load-Link/Store-Conditional Instruction Handling in DBT Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
Ruth Hoffmann, Özgür Akgün, Susmit Sarkar
Memory Consistency Models using Constraints. CoRR (2018)
David Castro, Kevin Hammond, Susmit Sarkar, Yasir Alguwaifli
Automatically deriving cost models for structured parallel processes using hylomorphisms. Future Gener. Comput. Syst. 79 (2018)
Christopher Pulte, Shaked Flur, Will Deacon, Jon French, Susmit Sarkar, Peter Sewell
Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8. Proc. ACM Program. Lang. 2 (POPL) (2018)
Christopher J. Banks, Marco Elver, Ruth Hoffmann, Susmit Sarkar, Paul B. Jackson, Vijay Nagarajan
Verification of a lazy cache coherence protocol against a weak memory model. CoRR (2017)
Shaked Flur, Susmit Sarkar, Christopher Pulte, Kyndylan Nienhuis, Luc Maranget, Kathryn E. Gray, Ali Sezgin, Mark Batty, Peter Sewell
Mixed-size concurrency: ARM, POWER, C/C++11, and SC. POPL (2017)
Christopher J. Banks, Marco Elver, Ruth Hoffmann, Susmit Sarkar, Paul B. Jackson, Vijay Nagarajan
Verification of a lazy cache coherence protocol against a weak memory model. FMCAD (2017)
David Castro, Kevin Hammond, Susmit Sarkar
Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms. ICFP (2016)
Shaked Flur, Kathryn E. Gray, Christopher Pulte, Susmit Sarkar, Ali Sezgin, Luc Maranget, Will Deacon, Peter Sewell
Modelling the ARMv8 architecture, operationally: concurrency and ISA. POPL (2016)
Andrew J. McPherson, Vijay Nagarajan, Susmit Sarkar, Marcelo Cintra
Fence Placement for Legacy Data-Race-Free Programs via Synchronization Read Detection. ACM Trans. Archit. Code Optim. 12 (4) (2016)
Kevin Hammond, Christopher Brown, Susmit Sarkar
Timing Properties and Correctness for Structured Parallel Programs on x86-64 Multicores. FOPARA (2015)
Andrew J. McPherson, Vijay Nagarajan, Susmit Sarkar, Marcelo Cintra
Fence placement for legacy data-race-free programs via synchronization read detection. PPOPP (2015)
Kathryn E. Gray, Gabriel Kerneis, Dominic P. Mulligan, Christopher Pulte, Susmit Sarkar, Peter Sewell
An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors. MICRO (2015)
Bharghava Rajaram, Vijay Nagarajan, Susmit Sarkar, Marco Elver
Fast RMWs for TSO: semantics and implementation. PLDI (2013)
Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell
Fences in weak memory models (extended version). Formal Methods Syst. Des. 40 (2) (2012)
Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams
Synchronising C/C++ and POWER. PLDI (2012)
Mark Batty, Kayvan Memarian, Scott Owens, Susmit Sarkar, Peter Sewell
Clarifying and compiling C/C++ concurrency: from C++11 to POWER. POPL (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)
Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell
Litmus: Running Tests against Hardware. TACAS (2011)
Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Maranget, Derek Williams
Understanding POWER multiprocessors. PLDI (2011)
Jasmin Christian Blanchette, Tjark Weber, Mark Batty, Scott Owens, Susmit Sarkar
Nitpicking C++ concurrency. PPDP (2011)
Mark Batty, Scott Owens, Susmit Sarkar, Peter Sewell, Tjark Weber
Mathematizing C++ concurrency. POPL (2011)
Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell
Fences in Weak Memory Models. CAV (2010)
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) (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) (2010)
Scott Owens, Susmit Sarkar, Peter Sewell
A Better x86 Memory Model: x86-TSO. TPHOLs (2009)
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)
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)
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)
Susmit Sarkar, Brigitte Pientka, Karl Crary
Small Proof Witnesses for LF. ICLP (2005)
Karl Crary, Susmit Sarkar
Foundational Certified Code in a Metalogical Framework. CADE (2003)