| Publication | Date of Publication | Type |
|---|
Precise interprocedural analysis using random interpretation
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-07-14 | Paper |
Global value numbering using random interpretation
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-11-11 | Paper |
Discovering affine equalities using random interpretation
Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-09-11 | Paper |
CCured, type-safe retrofitting of legacy code
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
Oracle-based checking of untrusted software
Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
A randomized satisfiability procedure for arithmetic and uninterpreted function symbols.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Compiler Construction
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Dependent Types for Low-Level Programming
Programming Languages and Systems | 2007-09-04 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2007-02-12 | Paper |
A polynomial-time algorithm for global value numbering
Science of Computer Programming | 2007-01-22 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Static Analysis
Lecture Notes in Computer Science | 2005-08-24 | Paper |
Static Analysis
Lecture Notes in Computer Science | 2005-08-24 | Paper |
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2005-08-12 | Paper |
A randomized satisfiability procedure for arithmetic and uninterpreted function symbols
Information and Computation | 2005-08-05 | Paper |
scientific article; zbMATH DE number 2110618 (Why is no real title available?)
| 2004-10-26 | Paper |
scientific article; zbMATH DE number 2090287 (Why is no real title available?)
| 2004-08-12 | Paper |
scientific article; zbMATH DE number 2087570 (Why is no real title available?)
| 2004-08-11 | Paper |
scientific article; zbMATH DE number 1962754 (Why is no real title available?)
| 2003-08-11 | Paper |
scientific article; zbMATH DE number 1903378 (Why is no real title available?)
| 2003-05-01 | Paper |
scientific article; zbMATH DE number 1692889 (Why is no real title available?)
| 2002-01-21 | Paper |
scientific article; zbMATH DE number 1670804 (Why is no real title available?)
| 2001-12-18 | Paper |
scientific article; zbMATH DE number 1614685 (Why is no real title available?)
| 2001-07-05 | Paper |
scientific article; zbMATH DE number 1330435 (Why is no real title available?)
| 1999-09-20 | Paper |
