|
Conferences in DBLP
Experience with fluid: analysis, design intent, and assurance for concurrency. [Citation Graph (, )][DBLP]
JThreadSpy: teaching multithreading programming by analyzing execution traces. [Citation Graph (, )][DBLP]
A debugger for flow graph based parallel applications. [Citation Graph (, )][DBLP]
Organizing processes and threads for debugging. [Citation Graph (, )][DBLP]
Techniques for specifying bug patterns. [Citation Graph (, )][DBLP]
Testing patterns for software transactional memory engines. [Citation Graph (, )][DBLP]
Semantics driven dynamic partial-order reduction of MPI-based parallel programs. [Citation Graph (, )][DBLP]
Healing data races on-the-fly. [Citation Graph (, )][DBLP]
|