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: Sarkar:Susmit
Contributed to:
2015
2013
20122012
201220112011
2011
201120102009
2007
2005
2003201620172018Wrote 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.