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 |
|---|---|---|
| Loop summarization with rational vector addition systems Computer Aided Verification | 2024-02-16 | Paper |
| Numerical invariants via abstract machines Static Analysis | 2023-05-26 | Paper |
| A symbolic decision procedure for symbolic alternating finite automata (available as arXiv preprint) | 2022-04-25 | Paper |
| Algebraic program analysis | 2022-03-25 | Paper |
| Reflections on termination of linear loops (available as arXiv preprint) | 2022-03-25 | Paper |
| A practical algorithm for structure embedding | 2020-01-23 | Paper |
| Proving liveness of parameterized programs Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
| Proof spaces for unbounded parallelism Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
| Spatial interpolants Programming Languages and Systems | 2016-04-26 | Paper |
| Automated program verification Language and Automata Theory and Applications | 2016-04-08 | Paper |
| Verification of parameterized concurrent programs by modular reasoning about data and control Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-09-11 | Paper |
| Inductive data flow graphs Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-11-27 | Paper |
| Consistency analysis of decision-making programs Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
| Symbolic optimization with SMT solvers Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
| Proofs that count Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
| Compositional Bitvector Analysis for Concurrent Programs with Nested Locks Static Analysis | 2010-10-01 | Paper |
| Duplication in DNA Sequences Developments in Language Theory | 2008-10-30 | Paper |
Research outcomes over time
This page was built for person: Zachary Kincaid
