Get started
Author

Susmit Sarkar

Observed names: SUSMIT SARKAR, Sarkar, Susmit
ORCID: 0000-0002-4259-9213
Observed ORCID: 0000-0002-4259-9213
OpenAlex ID: A5073254249
x86-TSO
2010 · Peter Sewell, Susmit Sarkar, et al. · Communications of the ACM · 498
A Better x86 Memory Model: x86-TSO
2009 · Scott Owens, Susmit Sarkar, et al. · Lecture notes in computer science · 426
Mathematizing C++ concurrency
2011 · Mark Batty, Scott Owens, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 314
Mathematizing C++ concurrency
2011 · Mark Batty, Scott Owens, et al. · ACM SIGPLAN Notices · 260
Understanding POWER multiprocessors
2011 · Susmit Sarkar, Peter Sewell, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 222
Ott: Effective tool support for the working semanticist
2010 · PETER SEWELL, FRANCESCO ZAPPA NARDELLI, et al. · Journal of Functional Programming · 188
PDF
Understanding POWER multiprocessors
2011 · Susmit Sarkar, Peter Sewell, et al. · ACM SIGPLAN Notices · 173
Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8
2017 · Christopher Pulte, Shaked Flur, et al. · Proceedings of the ACM on Programming Languages · 168
PDF
The semantics of x86-CC multiprocessor machine code
2009 · Susmit Sarkar, Peter Sewell, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 164
Fences in Weak Memory Models
2010 · Jade Alglave, Luc Maranget, et al. · Lecture notes in computer science · 163
PDF
Modelling the ARMv8 architecture, operationally: concurrency and ISA
2016 · Shaked Flur, Kathryn E. Gray, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 155
PDF
An Axiomatic Memory Model for POWER Multiprocessors
2012 · Sela Mador-Haim, Luc Maranget, et al. · Lecture notes in computer science · 129
PDF
Litmus: Running Tests against Hardware
2011 · Jade Alglave, Luc Maranget, et al. · Lecture notes in computer science · 119
The semantics of power and ARM multiprocessor machine code
2009 · Jade Alglave, Anthony Fox, et al. · Workshop on Declarative Aspects of Multicore Programming · 114
Synchronising C/C++ and POWER
2012 · Susmit Sarkar, Kayvan Memarian, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 107
Clarifying and compiling C/C++ concurrency
2012 · Mark Batty, Kayvan Memarian, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 97
Clarifying and compiling C/C++ concurrency
2012 · Mark Batty, Kayvan Memarian, et al. · ACM SIGPLAN Notices · 80
Ott
2007 · Peter Sewell, Francesco Zappa Nardelli, et al. · ACM SIGPLAN International Conference on Functional Programming (ICFP) · 73
An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors
2015 · Kathryn E. Gray, Gabriel Kerneis, et al. · IEEE/ACM International Symposium on Microarchitecture (MICRO) · 52
PDF
The semantics of x86-CC multiprocessor machine code
2009 · Susmit Sarkar, Peter Sewell, et al. · ACM SIGPLAN Notices · 44
Fences in weak memory models (extended version)
2012 · Jade Alglave, Luc Maranget, et al. · Formal Methods in System Design · 42
Nitpicking c++ concurrency
2011 · Jasmin Christian Blanchette, Tjark Weber, et al. · 41
Mixed-size concurrency: ARM, POWER, C/C++11, and SC
2016 · Shaked Flur, Susmit Sarkar, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 40
Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8
2018 · Pulte, Christopher, Flur, Shaked, et al. · Apollo (University of Cambridge) · 37
Foundational Certified Code in a Metalogical Framework
2003 · Karl Crary, Susmit Sarkar · Lecture notes in computer science · 32
Works count: 82
Citation count: 3,960
H-index: 26
I10-index: 33
Year
Topic
Type