William N. Sumner

Orcid: 0000-0001-8592-033X

According to our database1, William N. Sumner authored at least 27 papers between 2008 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Type Batched Program Reduction.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

2021
Leveraging Models to Reduce Test Cases in Software Repositories.
Proceedings of the 18th IEEE/ACM International Conference on Mining Software Repositories, 2021

2019
: Priority Aware Test Case Reduction.
Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018
Avoiding the Familiar to Speed Up Test Case Reduction.
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

NACHOS: Software-Driven Hardware-Assisted Memory Disambiguation for Accelerators.
Proceedings of the IEEE International Symposium on High Performance Computer Architecture, 2018

2017
Needle: Leveraging Program Analysis to Analyze and Extract Accelerators from Whole Programs.
Proceedings of the 2017 IEEE International Symposium on High Performance Computer Architecture, 2017

2016
SPEC-AX and PARSEC-AX: extracting accelerator benchmarks from microprocessor benchmarks.
Proceedings of the 2016 IEEE International Symposium on Workload Characterization, 2016

Peruse and Profit: Estimating the Accelerability of Loops.
Proceedings of the 2016 International Conference on Supercomputing, 2016

LDX: Causality Inference by Lightweight Dual Execution.
Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

2015
Bitwise Data Parallelism with LLVM: The ICgrep Case Study.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2015

Dual Execution for On the Fly Fine Grained Execution Comparison.
Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2014
Reuse-oriented reverse engineering of functional components from x86 binaries.
Proceedings of the 36th International Conference on Software Engineering, 2014

2013
Automated Failure Explanation Through Execution Comparison
PhD thesis, 2013

Identifying execution points for dynamic analyses.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Comparative causality: explaining the differences between executions.
Proceedings of the 35th International Conference on Software Engineering, 2013

DRIP: A framework for purifying trojaned kernel drivers.
Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

2012
Precise Calling Context Encoding.
IEEE Trans. Software Eng., 2012

Modeling Software Execution Environment.
Proceedings of the 19th Working Conference on Reverse Engineering, 2012

2011
Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs.
Proceedings of the Runtime Verification - Second International Conference, 2011

Toward generating reducible replay logs.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Selecting peers for execution comparison.
Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Coalescing executions for fast uncertainty analysis.
Proceedings of the 33rd International Conference on Software Engineering, 2011

Unified debugging of distributed systems with Recon.
Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

2010
Memory indexing: canonicalizing addresses across executions.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Analyzing concurrency bugs using dual slicing.
Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

2009
Algorithms for Automatically Computing the Causal Paths of Failures.
Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008
Efficient program execution indexing.
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008


  Loading...