| First-order quantified separators JR Koenig, O Padon, N Immerman, A Aiken Proceedings of the 41st ACM SIGPLAN conference on programming language …, 2020 | 34 | 2020 |
| Programming language features for refinement J Koenig, KRM Leino arXiv preprint arXiv:1606.02022, 2016 | 23 | 2016 |
| Induction duality: primal-dual search for invariants O Padon, JR Wilcox, JR Koenig, KL McMillan, A Aiken Proceedings of the ACM on Programming Languages 6 (POPL), 1-29, 2022 | 15 | 2022 |
| Inferring invariants with quantifier alternations: Taming the search space explosion JR Koenig, O Padon, S Shoham, A Aiken International Conference on Tools and Algorithms for the Construction and …, 2022 | 8 | 2022 |
| Adaptive restarts for stochastic synthesis JR Koenig, O Padon, A Aiken Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 6 | 2021 |
| Invariant Inference Via Quantified Separation JR Koenig Stanford University, 2021 | | 2021 |
| Program Analysis for Introductory Education: Leveraging Programmer Specifications JR Koenig Microsoft Corporation, 2014 | | 2014 |
