Durability Semantics for Lock-based Multithreaded Programs
.
2013. Durability Semantics for Lock-based Multithreaded Programs. 5th USENIX Workshop on Hot Topics in Parallelism (HotPar 13).
{…And} Region Serializability for All
.
2013. {…And} Region Serializability for All. 5th USENIX Workshop on Hot Topics in Parallelism (HotPar 13).
Determinism Is Overrated: What Really Makes Multithreaded Programs Hard to Get Right and What Can Be Done About It
.
2013. Determinism Is Overrated: What Really Makes Multithreaded Programs Hard to Get Right and What Can Be Done About It. 5th USENIX Workshop on Hot Topics in Parallelism (HotPar 13).
{Property-Driven} Cooperative Logging for Concurrency Bugs Replication
.
2013. {Property-Driven} Cooperative Logging for Concurrency Bugs Replication. 5th USENIX Workshop on Hot Topics in Parallelism (HotPar 13).
But How Do We Really Debug Transactional Memory Programs?
.
2013. But How Do We Really Debug Transactional Memory Programs? 5th USENIX Workshop on Hot Topics in Parallelism (HotPar 13).
Characterizing Real World Bugs Causing Sequential Consistency Violations
.
2013. Characterizing Real World Bugs Causing Sequential Consistency Violations. 5th USENIX Workshop on Hot Topics in Parallelism (HotPar 13).
Using Elimination and Delegation to Implement a Scalable {NUMA-Friendly} Stack
.
2013. Using Elimination and Delegation to Implement a Scalable {NUMA-Friendly} Stack. 5th USENIX Workshop on Hot Topics in Parallelism (HotPar 13).
Parallel {Synchronization-Free} Approximate Data Structure Construction
.
2013. Parallel {Synchronization-Free} Approximate Data Structure Construction. 5th USENIX Workshop on Hot Topics in Parallelism (HotPar 13).
Towards {Performance-Portable}, Scalable, and Convenient Linear Algebra
.
2013. Towards {Performance-Portable}, Scalable, and Convenient Linear Algebra. 5th USENIX Workshop on Hot Topics in Parallelism (HotPar 13).
Constrained {Data-Driven} Parallelism
.
2013. Constrained {Data-Driven} Parallelism. 5th USENIX Workshop on Hot Topics in Parallelism (HotPar 13).