|
8
|
An Almost Non-Blocking Stack
– Hans-J. Boehm
- 2004
|
|
|
Curriculum Vitae
– Virendra Jayant Marathe, Michael L. Scott
|
|
2
|
MEMORY MODEL SENSITIVE ANALYSIS OF CONCURRENT DATA TYPES
– Sebastian Burckhardt, Rajeev Alur, Milo Martin, Rajeev Alur, Sebastian Burckhardt, Sebastian Burckhardt, Rajeev Alur, Milo Martin
- 2007
|
|
2
|
Memory model for multithreaded C++: Issues
– Andrei Alexandrescu, Hans Boehm, Kevlin Henney, Ben Hutchings, Doug Lea, Bill Pugh
- 2005
|
|
7
|
Reordering Constraints for Pthread-Style Locks
– Hans-j. Boehm
- 2005
|
|
16
|
Memory Models: A Case for Rethinking Parallel Languages and Hardware
– Sarita V. Adve, Hans-J. Boehm
- 2010
|
|
8
|
Conflict Exceptions: Simplifying Concurrent Language Semantics with Precise Hardware Exceptions for Data-Races
– Brandon Lucia, et al.
- 2010
|
|
15
|
Nonblocking memory management support for dynamic-sized data structures
– Maurice Herlihy, Victor Luchangco, Paul Martin, Mark Moir
- 2005
|
|
|
CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency
– Jaroslav Sevčík , Viktor Vafeiadis , Francesco Zappa Nardelli, SURESH JAGANNATHAN, PETER SEWELL
|
|
17
|
Hardware Acceleration of Software Transactional Memory
– Arrvindh Shriraman, Virendra J. Marathe, Sandhya Dwarkadas, Michael L. Scott, David Eisenstat, Christopher Heriot, William N. Scherer III, Michael F. Spear
- 2006
|
|
65
|
Non-blocking Algorithms and Preemption-Safe Locking on Multiprogrammed Shared Memory Multiprocessors
– Maged M. Michael, Michael L. Scott
- 1998
|
|
4
|
Making lockless synchronization fast: Performance implications of memory reclamation
– Thomas E. Hart, Paul E. Mckenney, Angela Demke Brown
- 2006
|
|
9
|
Performance of memory reclamation for lockless synchronization
– Thomas E. Hart , Paul E. McKenney , Angela Demke Brown , Jonathan Walpole
- 2007
|
|
2
|
Efficient Object Sharing in Shared-Memory Multiprocessors
– Mark Moir
- 1996
|
|
15
|
Partial Redundancy Elimination for Access Path Expressions
– Antony L. Hosking, Nathaniel Nystrom, David Whitlock, Quintin Cutts, Amer Diwan
- 2001
|
|
94
|
Adaptive Software Transactional Memory
– Virendra J. Marathe, William N. Scherer Iii, Michael L. Scott
- 2005
|
|
7
|
A memory model sensitive checker for C
– Quang Thuan Huynh, Abhik Roychoudhury
- 2006
|
|
|
Generative Operational Semantics for Relaxed Memory Models ⋆
– Radha Jagadeesan, Corin Pitcher, James Riely
|
|
|
Library Abstraction for C/C++ Concurrency
– Mark Batty, Mike Dodds, Alexey Gotsman
|
