William N. Sumner
According to our database1, William N. Sumner
Legend:Book In proceedings Article PhD thesis Other
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
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
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
Reuse-oriented reverse engineering of functional components from x86 binaries.
Proceedings of the 36th International Conference on Software Engineering, 2014
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
Precise Calling Context Encoding.
IEEE Trans. Software Eng., 2012
Modeling Software Execution Environment.
Proceedings of the 19th Working Conference on Reverse Engineering, 2012
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
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
Algorithms for Automatically Computing the Causal Paths of Failures.
Proceedings of the Fundamental Approaches to Software Engineering, 2009
Efficient program execution indexing.
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008