Alex Aiken
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Inferring invariants with quantifier alternations: taming the search space explosion | 2024-01-23 | Paper |
| Instruction level parallelism | 2018-10-23 | Paper |
| Scalable error detection using Boolean satisfiability Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-07-14 | Paper |
| From invariant checking to invariant inference using randomized search Formal Methods in System Design | 2017-03-28 | Paper |
| Specification inference using context-free language reachability Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
| Witnessing side-effects Proceedings of the tenth ACM SIGPLAN international conference on Functional programming | 2015-01-06 | Paper |
| Conditional must not aliasing for static race detection Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
| Bias-variance tradeoffs in program analysis Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
| Precise reasoning for programs using containers Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
| A data driven approach for algebraic loop invariants Programming Languages and Systems | 2013-08-05 | Paper |
| Cuts from proofs: a complete and practical technique for solving linear inequalities over integers Formal Methods in System Design | 2012-09-27 | Paper |
| Reasoning about lock placements Programming Languages and Systems | 2012-06-22 | Paper |
| Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis Static Analysis | 2010-10-01 | Paper |
| Fluid updates: beyond strong vs. weak updates Programming Languages and Systems | 2010-05-04 | Paper |
| Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers Computer Aided Verification | 2009-06-30 | Paper |
| A Capability Calculus for Concurrency and Determinism CONCUR 2006 – Concurrency Theory | 2007-09-04 | Paper |
| Static Analysis Lecture Notes in Computer Science | 2006-10-31 | Paper |
| Computer Aided Verification Lecture Notes in Computer Science | 2006-01-10 | Paper |
| scientific article; zbMATH DE number 2090851 (Why is no real title available?) | 2004-08-13 | Paper |
Research outcomes over time
This page was built for person: Alex Aiken
