publication venue for
- Calling-to-reference context translation via constraint-guided CFL-reachability. 53:196-210. 2018
- Skyway. 53:56-69. 2018
- Kill the Program Counter: Reconstructing Program Behavior in the Processor Cache Hierarchy. 52:737-749. 2017
- FACADE. 50:675-690. 2015
- SCCMulti. 49:393-394. 2014
- SCCMulti An Improved Parallel Strongly Connected Components Algorithm. 49:393-394. 2014
- The STAPL Parallel Container Framework. 46:235-245. 2011
- Code placement for improving dynamic branch prediction accuracy. 40:107-116. 2005
- ARMI: An adaptive, platform independent communication library. 38:229-240. 2003
- ARMI: an adaptive, platform independent communication library. 38:230-241. 2003
- Software caching and computation migration in Olden. 30:29-38. 1995
- The LRPD test. 30:218-232. 1995
- D4: Fast Concurrency Debugging with Parallel Differential Analysis 2018
- Skyway: Connecting Managed Heaps in Distributed Big Data Systems 2018
- Maximal Causality Reduction for TSO and PSO 2016
- Precise and Maximal Race Detection from Incomplete Traces 2016
- Brain Inspired Computing 2016
- A Hierarchical Approach to Reducing Communication in Parallel Graph Algorithms 2015
- Stateless Model Checking Concurrent Programs with Maximal Causality Reduction 2015
- Decoupled Load Balancing 2015
- Execution privatization for scheduler-oblivious concurrent programs 2012
- LEAN 2012
- Using GPU's to Accelerate Stencil-based Computation Kernels for the Development of Large Scale Scientific Applications on Heterogeneous Systems 2012
- Logical Inference Techniques for Loop Parallelization 2012
- Execution privatization for scheduler-oblivious concurrent programs 2012
- LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction 2012
- Using GPU's to accelerate stencil-based computation kernels for the development of large scale scientific applications on heterogeneous systems 2012
- An evaluation of the TRIPS computer system 2009
- An evaluation of the TRIPS computer system 2009
- Software caching and computation migration in Olden 1995
- THE LRPD TEST - SPECULATIVE RUN-TIME PARALLELIZATION OF LOOPS WITH PRIVATIZATION AND REDUCTION PARALLELIZATION 1995