|
Conferences in DBLP
Reproducible testing of distributed software with middleware virtualization and simulation. [Citation Graph (, )][DBLP]
Dynamic testing of flow graph based parallel applications. [Citation Graph (, )][DBLP]
Scheduling considerations for building dynamic verification tools for MPI. [Citation Graph (, )][DBLP]
Memory tagging in Charm++. [Citation Graph (, )][DBLP]
Support for symmetric shadow memory in multiprocessors. [Citation Graph (, )][DBLP]
On-the-fly race detection in multi-threaded programs. [Citation Graph (, )][DBLP]
AtomRace: data race and atomicity violation detector and healer. [Citation Graph (, )][DBLP]
Towards a better collaboration of static and dynamic analyses for testing concurrent programs. [Citation Graph (, )][DBLP]
Software development tools for multi-core/parallel programming. [Citation Graph (, )][DBLP]
Systematic concurrency testing using CHESS. [Citation Graph (, )][DBLP]
Pitfalls in teaching development and testing of concurrent programs and how to overcome them. [Citation Graph (, )][DBLP]
|