Sciweavers

2 search results - page 1 / 1
» Eliminating False Positives during Corner Finding by Merging...
Sort
View
ASPLOS
2004
ACM
13 years 10 months ago
Low-overhead memory leak detection using adaptive statistical profiling
Sampling has been successfully used to identify performance optimization opportunities. We would like to apply similar techniques to check program correctness. Unfortunately, samp...
Matthias Hauswirth, Trishul M. Chilimbi