Sciweavers

2 search results - page 1 / 1
» Finding performance bugs with the TNO HPF benchmark suite
Sort
View
CONCURRENCY
2002
60views more  CONCURRENCY 2002»
14 years 10 months ago
Finding performance bugs with the TNO HPF benchmark suite
Will Denissen, Henk J. Sips
VMCAI
2009
Springer
15 years 5 months ago
Finding Concurrency-Related Bugs Using Random Isolation
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...
Nicholas Kidd, Thomas W. Reps, Julian Dolby, Manda...