BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × Denmark
1 × Spain
1 × United Kingdom
2 × Germany
8 × USA
Collaborated with:
P.Sewell L.Maranget S.Owens J.Alglave M.Batty K.Crary V.Nagarajan K.Memarian D.Williams S.Flur Christopher Pulte T.Weber B.Pientka Will Deacon F.Z.Nardelli T.Ridge A.J.McPherson M.Cintra B.Rajaram M.Elver K.E.Gray A.Sezgin J.C.Blanchette Jon French G.Peskine R.Strnisa T.Braibant M.O.Myreen K.Nienhuis S.Mador-Haim R.Alur M.M.K.Martin
Talks about:
concurr (6) power (5) model (4) multiprocessor (3) axiomat (2) semant (2) memori (2) oper (2) fenc (2) code (2)

Person: Susmit Sarkar

DBLP DBLP: Sarkar:Susmit

Contributed to:

PPoPP 20152015
PLDI 20132013
CAV 20122012
PLDI 20122012
POPL 20122012
PLDI 20112011
POPL 20112011
PPDP 20112011
TACAS 20112011
CAV 20102010
POPL 20092009
ICFP 20072007
ICLP 20052005
CADE 20032003
POPL 20162016
POPL 20172017
POPL 20182018

Wrote 17 papers:

PPoPP-2015-McPhersonNSC #detection #legacy #source code
Fence placement for legacy data-race-free programs via synchronization read detection (AJM, VN, SS, MC), pp. 249–250.
PLDI-2013-RajaramNSE #implementation #performance #semantics
Fast RMWs for TSO: semantics and implementation (BR, VN, SS, ME), pp. 61–72.
CAV-2012-Mador-HaimMSMAOAMSW #axiom #memory management #multi
An Axiomatic Memory Model for POWER Multiprocessors (SMH, LM, SS, KM, JA, SO, RA, MMKM, PS, DW), pp. 495–512.
PLDI-2012-SarkarMOBSMAW #c #c++
Synchronising C/C++ and POWER (SS, KM, SO, MB, PS, LM, JA, DW), pp. 311–322.
POPL-2012-BattyMOSS #c #c++ #compilation #concurrent
Clarifying and compiling C/C++ concurrency: from C++11 to POWER (MB, KM, SO, SS, PS), pp. 509–520.
PLDI-2011-SarkarSAMW #comprehension #multi
Understanding POWER multiprocessors (SS, PS, JA, LM, DW), pp. 175–186.
POPL-2011-BattyOSSW #c++ #concurrent
Mathematizing C++ concurrency (MB, SO, SS, PS, TW), pp. 55–66.
PPDP-2011-BlanchetteWBOS #c++ #concurrent
Nitpicking C++ concurrency (JCB, TW, MB, SO, SS), pp. 113–124.
TACAS-2011-AlglaveMSS #hardware #named #testing
Litmus: Running Tests against Hardware (JA, LM, SS, PS), pp. 41–44.
CAV-2010-AlglaveMSS #memory management #modelling
Fences in Weak Memory Models (JA, LM, SS, PS), pp. 258–272.
POPL-2009-SarkarSNORBMA #multi #semantics
The semantics of x86-CC multiprocessor machine code (SS, PS, FZN, SO, TR, TB, MOM, JA), pp. 379–391.
ICFP-2007-SewellNOPRSS #effectiveness #named #semantics #tool support
Ott: effective tool support for the working semanticist (PS, FZN, SO, GP, TR, SS, RS), pp. 1–12.
ICLP-2005-SarkarPC #proving
Small Proof Witnesses for LF (SS, BP, KC), pp. 387–401.
CADE-2003-CraryS #framework #logic
Foundational Certified Code in a Metalogical Framework (KC, SS), pp. 106–120.
POPL-2016-FlurGPSSMDS #architecture #concurrent #modelling
Modelling the ARMv8 architecture, operationally: concurrency and ISA (SF, KEG, CP, SS, AS, LM, WD, PS), pp. 608–621.
POPL-2017-FlurSPNMGSBS #concurrent
Mixed-size concurrency: ARM, POWER, C/C++11, and SC (SF, SS, CP, KN, LM, KEG, AS, MB, PS), pp. 429–442.
POPL-2018-PulteFDFSS #axiom #concurrent #modelling #multi
Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8 (CP, SF, WD, JF, SS, PS), p. 29.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.