dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Susmit Sarkar (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSela 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
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams: Synchronising C/C++ and POWER. PLDI 2012: 311-322
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell: Fences in weak memory models (extended version). Formal Methods in System Design 40(2): 170-205 (2012)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusmit Sarkar, Peter Sewell, Jade Alglave, Luc Maranget, Derek Williams: Understanding POWER multiprocessors. PLDI 2011: 175-186
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell: Litmus: Running Tests against Hardware. TACAS 2011: 41-44
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell: Fences in Weak Memory Models. CAV 2010: 258-272
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJade 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
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusmit 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

Selection of 8 from 18 records - Susmit Sarkar has 22 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page