Susmit Sarkar
Susmit Sarkar
Geverifieerd e-mailadres voor st-andrews.ac.uk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors
P Sewell, S Sarkar, S Owens, FZ Nardelli, MO Myreen
Communications of the ACM 53 (7), 89-97, 2010
4042010
A better x86 memory model: x86-TSO
S Owens, S Sarkar, P Sewell
International Conference on Theorem Proving in Higher Order Logics, 391-407, 2009
3472009
Mathematizing C++ concurrency
M Batty, S Owens, S Sarkar, P Sewell, T Weber
ACM SIGPLAN Notices 46 (1), 55-66, 2011
3362011
Mathematizing C++ concurrency
M Batty, S Owens, S Sarkar, P Sewell, T Weber
ACM SIGPLAN Notices 46 (1), 55-66, 2011
3362011
Understanding POWER multiprocessors
S Sarkar, P Sewell, J Alglave, L Maranget, D Williams
Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011
2432011
The semantics of x86-CC multiprocessor machine code
S Sarkar, P Sewell, FZ Nardelli, S Owens, T Ridge, T Braibant, ...
ACM SIGPLAN Notices 44 (1), 379-391, 2009
1692009
Ott: Effective tool support for the working semanticist
P Sewell, FZ Nardelli, S Owens, G Peskine, T Ridge, S Sarkar
Journal of functional programming 20 (1), 71, 2010
1632010
Fences in weak memory models
J Alglave, L Maranget, S Sarkar, P Sewell
International Conference on Computer Aided Verification, 258-272, 2010
1292010
The semantics of Power and ARM multiprocessor machine code
J Alglave, A Fox, S Ishtiaq, MO Myreen, S Sarkar, P Sewell, FZ Nardelli
Proceedings of the 4th workshop on Declarative aspects of multicore …, 2009
1252009
Modelling the ARMv8 architecture, operationally: Concurrency and ISA
S Flur, KE Gray, C Pulte, S Sarkar, A Sezgin, L Maranget, W Deacon, ...
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
1212016
An axiomatic memory model for POWER multiprocessors
S Mador-Haim, L Maranget, S Sarkar, K Memarian, J Alglave, S Owens, ...
International Conference on Computer Aided Verification, 495-512, 2012
1132012
Clarifying and compiling C/C++ concurrency: from C++ 11 to POWER
M Batty, K Memarian, S Owens, S Sarkar, P Sewell
ACM SIGPLAN Notices 47 (1), 509-520, 2012
1092012
Ott: Effective tool support for the working semanticist
P Sewell, FZ Nardelli, S Owens, G Peskine, T Ridge, S Sarkar, R Strniša
ACM SIGPLAN Notices 42 (9), 1-12, 2007
1062007
Synchronising c/c++ and power
S Sarkar, K Memarian, S Owens, M Batty, P Sewell, L Maranget, J Alglave, ...
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language …, 2012
1002012
Litmus: Running Tests against Hardware
J Alglave, L Maranget, S Sarkar, P Sewell
International Conference on Tools and Algorithms for the Construction and …, 2011
862011
Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8
C Pulte, S Flur, W Deacon, J French, S Sarkar, P Sewell
Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017
802017
Jade Alglave, The semantics of x86-CC multiprocessor machine code
S Sarkar, P Sewell, FZ Nardelli, S Owens, T Ridge, T Braibant, ...
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2009
572009
Foundational certified code in a metalogical framework
K Crary, S Sarkar
International Conference on Automated Deduction, 106-120, 2003
502003
A tutorial introduction to the ARM and POWER relaxed memory models
L Maranget, S Sarkar, P Sewell
Draft available from http://www. cl. cam. ac. uk/~ pes20/ppc-supplemental …, 2012
482012
Fences in weak memory models (extended version)
J Alglave, L Maranget, S Sarkar, P Sewell
Formal Methods in System Design 40 (2), 170-205, 2012
382012
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20