Alex Aiken
From MaRDI portal
Person:453504
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
