Alex Aiken

Available identifiers

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	2017-07-14	Paper
From invariant checking to invariant inference using randomized search	2017-03-28	Paper
Specification inference using context-free language reachability	2016-09-29	Paper
Witnessing side-effects	2015-01-06	Paper
Conditional must not aliasing for static race detection	2014-09-12	Paper
Bias-variance tradeoffs in program analysis	2014-04-10	Paper
Precise reasoning for programs using containers	2014-04-10	Paper
A Data Driven Approach for Algebraic Loop Invariants	2013-08-05	Paper
Cuts from proofs: a complete and practical technique for solving linear inequalities over integers	2012-09-27	Paper
Reasoning about Lock Placements	2012-06-22	Paper
Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis	2010-10-01	Paper
Fluid Updates: Beyond Strong vs. Weak Updates	2010-05-04	Paper
Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers	2009-06-30	Paper
A Capability Calculus for Concurrency and Determinism	2007-09-04	Paper
Static Analysis	2006-10-31	Paper
Computer Aided Verification	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q4813403	2004-08-13	Paper

This page was built for person: Alex Aiken