S
Susmit Sarkar
Researcher at University of St Andrews
Publications - 43
Citations - 3273
Susmit Sarkar is an academic researcher from University of St Andrews. The author has contributed to research in topics: Memory model & Concurrency. The author has an hindex of 23, co-authored 41 publications receiving 2885 citations. Previous affiliations of Susmit Sarkar include Carnegie Mellon University & University of Cambridge.
Papers
More filters
Journal ArticleDOI
x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors
TL;DR: A new x86-TSO programmer's model is presented that is mathematically precise but can be presented as an intuitive abstract machine which should be widely accessible to working programmers and put x86 multiprocessor system building on a more solid foundation.
Book ChapterDOI
A Better x86 Memory Model: x86-TSO
TL;DR: A new x86-TSO model is presented that is sound with respect to real processors, reflects better the vendor's intentions, and is also better suited for programming.
Journal ArticleDOI
Mathematizing C++ concurrency
TL;DR: This work establishes a mathematical (yet readable) semantics for C++ concurrency, which will aid discussion of any further changes, provide a correctness condition for compilers, and give a much-needed basis for analysis and verification of concurrent C and C++ programs.
Journal ArticleDOI
Understanding POWER multiprocessors
TL;DR: An abstract-machine semantics that abstracts from most of the implementation detail but explains the behaviour of a range of subtle examples of IBM POWER multiprocessors is given, which should bring new clarity to concurrent systems programming for these architectures.
Proceedings ArticleDOI
Ott: effective tool support for the working semanticist
Peter Sewell,Francesco Zappa Nardelli,Scott Owens,Gilles Peskine,Tom Ridge,Susmit Sarkar,Rok Strniša +6 more
TL;DR: The aim with this work is to enable a phase change: making it feasible to work routinely, without heroic effort, with rigorous semantic definitions of realistic languages.