Susmit Sarkar

34 papers A* 11A 4B 3C 2Journal 11Unranked 3
YearRankTypeTitle / Venue / Authors
2024 C conf
Towards Specification-Guarded Refactoring.
LOPSTR
Adam D. Barwell, Christopher Brown, Susmit Sarkar
2023 J jnl
Compound Memory Models.
Proc. ACM Program. Lang.
Andrés Goens, Soham Chakraborty, Susmit Sarkar, Sukarn Agarwal, Nicolai Oswald, Vijay Nagarajan
2020 J jnl
Fast and Correct Load-Link/Store-Conditional Instruction Handling in DBT Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Martin Kristien, Tom Spink, Brian Campbell, Susmit Sarkar, Ian Stark, Björn Franke, Igor Böhm, Nigel P. Topham
2018 J jnl
Automatically deriving cost models for structured parallel processes using hylomorphisms.
Future Gener. Comput. Syst.
David Castro, Kevin Hammond, Susmit Sarkar, Yasir Alguwaifli
2018 J jnl
Memory Consistency Models using Constraints.
CoRR
Ruth Hoffmann, Özgür Akgün, Susmit Sarkar
2018 J jnl
Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8.
Proc. ACM Program. Lang.
Christopher Pulte, Shaked Flur, Will Deacon, Jon French, Susmit Sarkar, Peter Sewell
2017 A* conf
Mixed-size concurrency: ARM, POWER, C/C++11, and SC.
POPL
Shaked Flur, Susmit Sarkar, Christopher Pulte, Kyndylan Nienhuis, Luc Maranget, Kathryn E. Gray, Ali Sezgin, Mark Batty, Peter Sewell
2017 B conf
Verification of a lazy cache coherence protocol against a weak memory model.
FMCAD
Christopher J. Banks, Marco Elver, Ruth Hoffmann, Susmit Sarkar, Paul B. Jackson, Vijay Nagarajan
2017 J jnl
Verification of a lazy cache coherence protocol against a weak memory model.
CoRR
Christopher J. Banks, Marco Elver, Ruth Hoffmann, Susmit Sarkar, Paul B. Jackson, Vijay Nagarajan
2016 A conf
Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms.
ICFP
David Castro, Kevin Hammond, Susmit Sarkar
2016 J jnl
Fence Placement for Legacy Data-Race-Free Programs via Synchronization Read Detection.
ACM Trans. Archit. Code Optim.
Andrew J. McPherson, Vijay Nagarajan, Susmit Sarkar, Marcelo Cintra
2016 A* conf
Modelling the ARMv8 architecture, operationally: concurrency and ISA.
POPL
Shaked Flur, Kathryn E. Gray, Christopher Pulte, Susmit Sarkar, Ali Sezgin, Luc Maranget, Will Deacon, Peter Sewell
2015 A* conf
An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors.
MICRO
Kathryn E. Gray, Gabriel Kerneis, Dominic P. Mulligan, Christopher Pulte, Susmit Sarkar, Peter Sewell
2015 B conf
Fence placement for legacy data-race-free programs via synchronization read detection.
PPoPP
Andrew J. McPherson, Vijay Nagarajan, Susmit Sarkar, Marcelo Cintra
2015 — conf
Timing Properties and Correctness for Structured Parallel Programs on x86-64 Multicores.
FOPARA
Kevin Hammond, Christopher Brown, Susmit Sarkar
2013 A* conf
Fast RMWs for TSO: semantics and implementation.
PLDI
Bharghava Rajaram, Vijay Nagarajan, Susmit Sarkar, Marco Elver
2012 A* conf
An Axiomatic Memory Model for POWER Multiprocessors.
CAV
Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayvan Memarian, Jade Alglave, Scott Owens, Rajeev Alur, Milo M. K. Martin, Peter Sewell, Derek Williams
2012 A* conf
Clarifying and compiling C/C++ concurrency: from C++11 to POWER.
POPL
Mark Batty, Kayvan Memarian, Scott Owens, Susmit Sarkar, Peter Sewell
2012 J jnl
Fences in weak memory models (extended version).
Formal Methods Syst. Des.
Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell
2012 A* conf
Synchronising C/C++ and POWER.
PLDI
Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams
2011 A conf
Litmus: Running Tests against Hardware.
TACAS
Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell
2011 A* conf
Mathematizing C++ concurrency.
POPL
Mark Batty, Scott Owens, Susmit Sarkar, Peter Sewell, Tjark Weber
2011 C conf
Nitpicking C++ concurrency.
PPDP
Jasmin Christian Blanchette, Tjark Weber, Mark Batty, Scott Owens, Susmit Sarkar
2011 A* conf
Understanding POWER multiprocessors.
PLDI
Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Maranget, Derek Williams
2010 A* conf
Fences in Weak Memory Models.
CAV
Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell
2010 J jnl
Ott: Effective tool support for the working semanticist.
J. Funct. Program.
Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar, Rok Strnisa
2010 J jnl
x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors.
Commun. ACM
Peter Sewell, Susmit Sarkar, Scott Owens, Francesco Zappa Nardelli, Magnus O. Myreen
2009 — conf
A Better x86 Memory Model: x86-TSO.
TPHOLs
Scott Owens, Susmit Sarkar, Peter Sewell
2009 — conf
The semantics of power and ARM multiprocessor machine code.
DAMP
Jade Alglave, Anthony C. J. Fox, Samin Ishtiaq, Magnus O. Myreen, Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli
2009 A* conf
The semantics of x86-CC multiprocessor machine code.
POPL
Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, Jade Alglave
2008 J jnl
Foundational certified code in the Twelf metalogical framework.
ACM Trans. Comput. Log.
Karl Crary, Susmit Sarkar
2007 A conf
Ott: effective tool support for the working semanticist.
ICFP
Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa
2005 B conf
Small Proof Witnesses for LF.
ICLP
Susmit Sarkar, Brigitte Pientka, Karl Crary
2003 A conf
Foundational Certified Code in a Metalogical Framework.
CADE
Karl Crary, Susmit Sarkar