Susmit Sarkar

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Vijay Nagarajan

> Home > Persons > Susmit Sarkar

Publications

2023
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/Goens0SAON23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/Goens0SAON23
Andrés Goens, Soham Chakraborty, Susmit Sarkar, Sukarn Agarwal, Nicolai Oswald, Vijay Nagarajan:
Compound Memory Models. Proc. ACM Program. Lang. 7(PLDI): 1145-1168 (2023)
2017
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/BanksEHSJN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/BanksEHSJN17
Christopher J. Banks, Marco Elver, Ruth Hoffmann, Susmit Sarkar, Paul B. Jackson, Vijay Nagarajan:
Verification of a lazy cache coherence protocol against a weak memory model. FMCAD 2017: 60-67
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BanksEHSJN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BanksEHSJN17
Christopher J. Banks, Marco Elver, Ruth Hoffmann, Susmit Sarkar, Paul B. Jackson, Vijay Nagarajan:
Verification of a lazy cache coherence protocol against a weak memory model. CoRR abs/1705.08262 (2017)
2016
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/taco/McPhersonNSC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/taco/McPhersonNSC16
Andrew J. McPherson, Vijay Nagarajan, Susmit Sarkar, Marcelo Cintra:
Fence Placement for Legacy Data-Race-Free Programs via Synchronization Read Detection. ACM Trans. Archit. Code Optim. 12(4): 46:1-46:23 (2016)
2015
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/McPhersonNSC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/McPhersonNSC15
Andrew J. McPherson, Vijay Nagarajan, Susmit Sarkar, Marcelo Cintra:
Fence placement for legacy data-race-free programs via synchronization read detection. PPoPP 2015: 249-250
2013
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/RajaramNSE13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/RajaramNSE13
Bharghava Rajaram, Vijay Nagarajan, Susmit Sarkar, Marco Elver:
Fast RMWs for TSO: semantics and implementation. PLDI 2013: 61-72

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.