William N. Sumner

According to our database1, William N. Sumner
  • authored at least 22 papers between 2008 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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
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

Precise calling context encoding.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 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...