Timing Analysis of Parallel Software Using Abstract Execution
Abstract elided by the publisher.
Related papers
- Bottle graphs: visualizing scalability bottlenecks in multi-threaded applications OOPSLA 2013
- Kismet: parallel speedup estimates for serial programs OOPSLA 2011
- Exposing cache timing side-channel leaks through out-of-order symbolic execution OOPSLA 2020
- Continuous speculative program parallelization in software PPoPP 2010
- Parallel Algorithms for Image Histogramming and Connected Components with an Experimental Study (Extended Abstract) PPoPP 1995
- OoOJava: software out-of-order execution PPoPP 2011
- TEST: A Tracer for Extracting Speculative Thread CGO 2003
- Analysis of Or-Parallel Execution Models TOPLAS 1993