Susmit Sarkar

According to our database, Susmit Sarkar authored at least 30 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Compound Memory Models.

Andrés Goens, Soham Chakraborty, Susmit Sarkar, Sukarn Agarwal, Nicolai Oswald, Vijay Nagarajan

Proc. ACM Program. Lang., 2023

2020

Fast and Correct Load-Link/Store-Conditional Instruction Handling in DBT Systems.

Martin Kristien, Tom Spink, Brian Campbell, Susmit Sarkar, Ian Stark, Björn Franke, Igor Böhm, Nigel P. Topham

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

2018

Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8.

Christopher Pulte, Shaked Flur, Will Deacon, Jon French, Susmit Sarkar, Peter Sewell

Proc. ACM Program. Lang., 2018

Automatically deriving cost models for structured parallel processes using hylomorphisms.

David Castro, Kevin Hammond, Susmit Sarkar, Yasir Alguwaifli

Future Gener. Comput. Syst., 2018

Memory Consistency Models using Constraints.

Ruth Hoffmann, Özgür Akgün, Susmit Sarkar

CoRR, 2018

2017

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

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

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

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2016

Fence Placement for Legacy Data-Race-Free Programs via Synchronization Read Detection.

Andrew J. McPherson, Vijay Nagarajan, Susmit Sarkar, Marcelo Cintra

ACM Trans. Archit. Code Optim., 2016

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

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms.

David Castro, Kevin Hammond, Susmit Sarkar

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

2015

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

Proceedings of the 48th International Symposium on Microarchitecture, 2015

Timing Properties and Correctness for Structured Parallel Programs on x86-64 Multicores.

Kevin Hammond, Christopher Brown, Susmit Sarkar

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2015

2013

Fast RMWs for TSO: semantics and implementation.

Bharghava Rajaram, Vijay Nagarajan, Susmit Sarkar, Marco Elver

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

2012

Fences in weak memory models (extended version).

Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell

Formal Methods Syst. Des., 2012

Clarifying and compiling C/C++ concurrency: from C++11 to POWER.

Mark Batty, Kayvan Memarian, Scott Owens, Susmit Sarkar, Peter Sewell

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Synchronising C/C++ and POWER.

Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

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

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Litmus: Running Tests against Hardware.

Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Nitpicking C++ concurrency.

Jasmin Christian Blanchette, Tjark Weber, Mark Batty, Scott Owens, Susmit Sarkar

Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011

Mathematizing C++ concurrency.

Mark Batty, Scott Owens, Susmit Sarkar, Peter Sewell, Tjark Weber

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Understanding POWER multiprocessors.

Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Maranget, Derek Williams

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

2010

Ott: Effective tool support for the working semanticist.

Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar, Rok Strnisa

J. Funct. Program., 2010

x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors.

Peter Sewell, Susmit Sarkar, Scott Owens, Francesco Zappa Nardelli, Magnus O. Myreen

Commun. ACM, 2010

Fences in Weak Memory Models.

Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

A Better x86 Memory Model: x86-TSO.

Scott Owens, Susmit Sarkar, Peter Sewell

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

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

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

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

Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, 2009

2008

Foundational certified code in the Twelf metalogical framework.

Karl Crary, Susmit Sarkar

ACM Trans. Comput. Log., 2008

2005

Small Proof Witnesses for LF.

Susmit Sarkar, Brigitte Pientka, Karl Crary

Proceedings of the Logic Programming, 21st International Conference, 2005

2003

Foundational Certified Code in a Metalogical Framework.

Karl Crary, Susmit Sarkar

Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003