default search action
Susmit Sarkar
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c23]Adam D. Barwell, Christopher Brown, Susmit Sarkar:
Towards Specification-Guarded Refactoring. LOPSTR 2024: 149-165 - 2023
- [j9]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) - 2020
- [j8]Martin Kristien, Tom Spink, Brian Campbell, Susmit Sarkar, Ian Stark, Björn Franke, Igor Böhm, Nigel P. Topham:
Fast and Correct Load-Link/Store-Conditional Instruction Handling in DBT Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3544-3554 (2020)
2010 – 2019
- 2018
- [j7]David Castro, Kevin Hammond, Susmit Sarkar, Yasir Alguwaifli:
Automatically deriving cost models for structured parallel processes using hylomorphisms. Future Gener. Comput. Syst. 79: 653-668 (2018) - [j6]Christopher Pulte, Shaked Flur, Will Deacon, Jon French, Susmit Sarkar, Peter Sewell:
Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8. Proc. ACM Program. Lang. 2(POPL): 19:1-19:29 (2018) - [i2]Ruth Hoffmann, Özgür Akgün, Susmit Sarkar:
Memory Consistency Models using Constraints. CoRR abs/1808.09870 (2018) - 2017
- [c22]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 - [c21]Shaked Flur, Susmit Sarkar, Christopher Pulte, Kyndylan Nienhuis, Luc Maranget, Kathryn E. Gray, Ali Sezgin, Mark Batty, Peter Sewell:
Mixed-size concurrency: ARM, POWER, C/C++11, and SC. POPL 2017: 429-442 - [i1]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]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) - [c20]David Castro, Kevin Hammond, Susmit Sarkar:
Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms. ICFP 2016: 4-17 - [c19]Shaked Flur, Kathryn E. Gray, Christopher Pulte, Susmit Sarkar, Ali Sezgin, Luc Maranget, Will Deacon, Peter Sewell:
Modelling the ARMv8 architecture, operationally: concurrency and ISA. POPL 2016: 608-621 - 2015
- [c18]Kevin Hammond, Christopher Brown, Susmit Sarkar:
Timing Properties and Correctness for Structured Parallel Programs on x86-64 Multicores. FOPARA 2015: 101-125 - [c17]Kathryn E. Gray, Gabriel Kerneis, Dominic P. Mulligan, Christopher Pulte, Susmit Sarkar, Peter Sewell:
An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors. MICRO 2015: 635-646 - [c16]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]Bharghava Rajaram, Vijay Nagarajan, Susmit Sarkar, Marco Elver:
Fast RMWs for TSO: semantics and implementation. PLDI 2013: 61-72 - 2012
- [j4]Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell:
Fences in weak memory models (extended version). Formal Methods Syst. Des. 40(2): 170-205 (2012) - [c14]Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayvan Memarian, Jade Alglave, Scott Owens, Rajeev Alur, Milo M. K. Martin, Peter Sewell, Derek Williams:
An Axiomatic Memory Model for POWER Multiprocessors. CAV 2012: 495-512 - [c13]Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams:
Synchronising C/C++ and POWER. PLDI 2012: 311-322 - [c12]Mark Batty, Kayvan Memarian, Scott Owens, Susmit Sarkar, Peter Sewell:
Clarifying and compiling C/C++ concurrency: from C++11 to POWER. POPL 2012: 509-520 - 2011
- [c11]Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Maranget, Derek Williams:
Understanding POWER multiprocessors. PLDI 2011: 175-186 - [c10]Mark Batty, Scott Owens, Susmit Sarkar, Peter Sewell, Tjark Weber:
Mathematizing C++ concurrency. POPL 2011: 55-66 - [c9]Jasmin Christian Blanchette, Tjark Weber, Mark Batty, Scott Owens, Susmit Sarkar:
Nitpicking C++ concurrency. PPDP 2011: 113-124 - [c8]Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell:
Litmus: Running Tests against Hardware. TACAS 2011: 41-44 - 2010
- [j3]Peter Sewell, Susmit Sarkar, Scott Owens, Francesco Zappa Nardelli, Magnus O. Myreen:
x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors. Commun. ACM 53(7): 89-97 (2010) - [j2]Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar, Rok Strnisa:
Ott: Effective tool support for the working semanticist. J. Funct. Program. 20(1): 71-122 (2010) - [c7]Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell:
Fences in Weak Memory Models. CAV 2010: 258-272
2000 – 2009
- 2009
- [c6]Jade Alglave, Anthony C. J. Fox, Samin Ishtiaq, Magnus O. Myreen, Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli:
The semantics of power and ARM multiprocessor machine code. DAMP 2009: 13-24 - [c5]Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, Jade Alglave:
The semantics of x86-CC multiprocessor machine code. POPL 2009: 379-391 - [c4]Scott Owens, Susmit Sarkar, Peter Sewell:
A Better x86 Memory Model: x86-TSO. TPHOLs 2009: 391-407 - 2008
- [j1]Karl Crary, Susmit Sarkar:
Foundational certified code in the Twelf metalogical framework. ACM Trans. Comput. Log. 9(3): 16:1-16:26 (2008) - 2007
- [c3]Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa:
Ott: effective tool support for the working semanticist. ICFP 2007: 1-12 - 2005
- [c2]Susmit Sarkar, Brigitte Pientka, Karl Crary:
Small Proof Witnesses for LF. ICLP 2005: 387-401 - 2003
- [c1]Karl Crary, Susmit Sarkar:
Foundational Certified Code in a Metalogical Framework. CADE 2003: 106-120
Coauthor Index
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint