2024
User-assisted code query customization and optimization.
Int. J. Softw. Tools Technol. Transf., October, 2024
A Set-Covering Approach to Customized Coverage Instrumentation.
INFORMS J. Comput., 2024
2023
User-Assisted Code Query Optimization.
Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2023
Shifting Left for Early Detection of Machine-Learning Bugs.
Proceedings of the Formal Methods - 25th International Symposium, 2023
2022
Static Analysis for AWS Best Practices in Python Code.
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022
2020
TOFU: Target-Orienter FUzzer.
CoRR, 2020
2019
Enabling Open-World Specification Mining via Unsupervised Learning.
CoRR, 2019
2018
Artifact for Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces.
Dataset, August, 2018
Artifact for Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces.
Dataset, June, 2018
Artifact for Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces.
Dataset, June, 2018
Code vectors: understanding programs through embedded abstracted symbolic traces.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018
2017
Source Forager: A Search Engine for Similar Source Code.
CoRR, 2017
Lightweight control-flow instrumentation and postmortem analysis in support of debugging.
Autom. Softw. Eng., 2017
The care and feeding of wild-caught mutants.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017
Control-flow recovery from partial failure reports.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017
2016
Optimizing customized program coverage.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016
Array length inference for C library bindings.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016
2015
Fixing, preventing, and recovering from concurrency bugs.
,
,
,
,
,
,
,
,
,
,
,
,
,
Sci. China Inf. Sci., 2015
Recovering execution data from incomplete observations.
Proceedings of the 13th International Workshop on Dynamic Analysis, 2015
Database-Backed Program Analysis for Scalable Error Propagation.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
CSIclipse: presenting crash analysis data to developers.
Proceedings of the 2015 Workshop on Eclipse Technology eXchange, 2015
2013
Analyzing memory ownership patterns in C libraries.
Proceedings of the International Symposium on Memory Management, 2013
2012
Enforcing Murphy's Law for Advance Identification of Run-time Failures.
Proceedings of the 2012 USENIX Annual Technical Conference, 2012
A router primitive approach for building diverse network services.
Proceedings of the Fourth International Conference on Communication Systems and Networks, 2012
2011
Automated atomicity-violation fixing.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011
Defective error/pointer interactions in the Linux kernel.
Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011
Automated Detection and Repair of Concurrency Bugs.
Proceedings of the Hardware and Software: Verification and Testing, 2011
2010
Better Debugging via Output Tracing and Callstack-Sensitive Slicing.
IEEE Trans. Software Eng., 2010
Expect the unexpected: error code mismatches between documentation and the real world.
Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2010
Instrumentation and sampling strategies for cooperative concurrency bug isolation.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010
2009
Scalable temporal order analysis for large scale debugging.
Proceedings of the ACM/IEEE Conference on High Performance Computing, 2009
Error propagation analysis for file systems.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009
Automatic generation of library bindings using static analysis.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009
Cooperative crug isolation.
Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2009), 2009
HOLMES: Effective statistical debugging via efficient path profiling.
Proceedings of the 31st International Conference on Software Engineering, 2009
2008
Lessons learned at 208K: towards debugging millions of cores.
Proceedings of the ACM/IEEE Conference on High Performance Computing, 2008
Reflections on the Role of Static Analysis in Cooperative Bug Isolation.
Proceedings of the Static Analysis, 15th International Symposium, 2008
WODA 2008: the sixth international workshop on dynamic analysis.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008
Cooperative debugging with five hundred million test cases.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008
EIO: Error Handling is Occasionally Correct.
Proceedings of the 6th USENIX Conference on File and Storage Technologies, 2008
2007
Dynamic heap type inference for program understanding and debugging.
Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007
Statistical debugging using compound boolean predicates.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007
Statistical Debugging Using Latent Topic Models.
Proceedings of the Machine Learning: ECML 2007, 2007
Cooperative Bug Isolation (Winning Thesis of the 2005 ACM Doctoral Dissertation Competition).
Lecture Notes in Computer Science 4440, Springer, ISBN: 978-3-540-71877-2, 2007
2006
Tool Support for Proof Engineering.
Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, 2006
Extracting Output Formats from Executables.
Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), 2006
Cognitive Perspectives on the Role of Naming in Computer Programs.
Proceedings of the 18th Annual Workshop of the Psychology of Programming Interest Group, 2006
Statistical debugging: simultaneous identification of multiple bugs.
Proceedings of the Machine Learning, 2006
Path Optimization in Programs and Its Application to Debugging.
Proceedings of the Programming Languages and Systems, 2006
Supporting nested transactional memory in logTM.
Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, 2006
2005
Scalable statistical bug isolation.
Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005
2003
Type Systems for Distributed Data Sharing.
Proceedings of the Static Analysis, 10th International Symposium, 2003
Bug isolation via remote program sampling.
Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003
Statistical Debugging of Sampled Programs.
Proceedings of the Advances in Neural Information Processing Systems 16 [Neural Information Processing Systems, 2003
2001
Estimating the Impact of Scalable Pointer Analysis on Optimization.
Proceedings of the Static Analysis, 8th International Symposium, 2001
2000
Type Systems for Distributed Data Structures.
Proceedings of the POPL 2000, 2000
1998
Titanium: A High-performance Java Dialect.
,
,
,
,
,
,
,
,
,
,
Concurr. Pract. Exp., 1998