Efficient program execution indexing. - Bin Xin 001; William N. Sumner; Xiangyu Zhang 001 (PLDI, 2008)

Algorithms for Automatically Computing the Causal Paths of Failures. - William N. Sumner; Xiangyu Zhang 001 (FASE, 2009)

Analyzing concurrency bugs using dual slicing. - Dasarath Weeratunge; Xiangyu Zhang 001; William N. Sumner; Suresh Jagannathan (ISSTA, 2010)

Memory indexing: canonicalizing addresses across executions. - William N. Sumner; Xiangyu Zhang 001 (SIGSOFT FSE, 2010)

Unified debugging of distributed systems with Recon. - Kyu Hyung Lee; Nick Sumner; Xiangyu Zhang 001; Patrick Eugster (DSN, 2011)

Coalescing executions for fast uncertainty analysis. - William N. Sumner; Tao Bao; Xiangyu Zhang 001; Sunil Prabhakar (ICSE, 2011)

Selecting peers for execution comparison. - William N. Sumner; Tao Bao; Xiangyu Zhang 001 (ISSTA, 2011)

Toward generating reducible replay logs. - Kyu Hyung Lee; Yunhui Zheng; Nick Sumner; Xiangyu Zhang 001 (PLDI, 2011)

Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs. - William N. Sumner; Christian Hammer 001; Julian Dolby (RV, 2011)

Modeling Software Execution Environment. - Dawei Qi; William N. Sumner; Feng Qin; Mai Zheng; Xiangyu Zhang 001; Abhik Roychoudhury (WCRE, 2012)

Precise Calling Context Encoding. - William N. Sumner; Yunhui Zheng; Dasarath Weeratunge; Xiangyu Zhang 001 (IEEE Trans. Software Eng., 2012)

DRIP: A framework for purifying trojaned kernel drivers. - Zhongshu Gu; William N. Sumner; Zhui Deng; Xiangyu Zhang 001; Dongyan Xu (DSN, 2013)

Comparative causality: explaining the differences between executions. - William N. Sumner; Xiangyu Zhang 001 (ICSE, 2013)

Identifying execution points for dynamic analyses. - William N. Sumner; Xiangyu Zhang 001 (ASE, 2013)

Automated Failure Explanation Through Execution Comparison - William N. Sumner (2013)

Reuse-oriented reverse engineering of functional components from x86 binaries. - Dohyeong Kim; William N. Sumner; Xiangyu Zhang 001; Dongyan Xu; Hira Agrawal (ICSE, 2014)

Dual Execution for On the Fly Fine Grained Execution Comparison. - Dohyeong Kim; Yonghwi Kwon 001; William N. Sumner; Xiangyu Zhang 001; Dongyan Xu (ASPLOS, 2015)

Bitwise Data Parallelism with LLVM: The ICgrep Case Study. - Robert D. Cameron; Nigel Medforth; Dan Lin 003; Dale Denis; William N. Sumner (ICA3PP (2), 2015)

LDX: Causality Inference by Lightweight Dual Execution. - Yonghwi Kwon 001; Dohyeong Kim; William N. Sumner; Kyungtae Kim; Brendan Saltaformaggio; Xiangyu Zhang 001; Dongyan Xu (ASPLOS, 2016)

Peruse and Profit: Estimating the Accelerability of Loops. - Snehasish Kumar; Vijayalakshmi Srinivasan; Amirali Sharifian; Nick Sumner; Arrvindh Shriraman (ICS, 2016)

SPEC-AX and PARSEC-AX: extracting accelerator benchmarks from microprocessor benchmarks. - Snehasish Kumar; William N. Sumner; Arrvindh Shriraman (IISWC, 2016)

Needle: Leveraging Program Analysis to Analyze and Extract Accelerators from Whole Programs. - Snehasish Kumar; Nick Sumner; Vijayalakshmi Srinivasan; Steve Margerm; Arrvindh Shriraman (HPCA, 2017)

NACHOS: Software-Driven Hardware-Assisted Memory Disambiguation for Accelerators. - Naveen Vedula; Arrvindh Shriraman; Snehasish Kumar; William N. Sumner (HPCA, 2018)

Avoiding the Familiar to Speed Up Test Case Reduction. - Golnaz Gharachorlu; Nick Sumner (QRS, 2018)

: Priority Aware Test Case Reduction. - Golnaz Gharachorlu; Nick Sumner (FASE, 2019)

Leveraging Models to Reduce Test Cases in Software Repositories. - Golnaz Gharachorlu; Nick Sumner (MSR, 2021)

Type Batched Program Reduction. - Golnaz Gharachorlu; Nick Sumner (ISSTA, 2023)