First-order quantified separators. - Jason R. Koenig; Oded Padon; Neil Immerman; Alex Aiken (PLDI, 2020)

Adaptive restarts for stochastic synthesis. - Jason R. Koenig; Oded Padon; Alex Aiken (PLDI, 2021)

Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion. - Jason R. Koenig; Oded Padon; Sharon Shoham; Alex Aiken (TACAS (1), 2022)

Induction duality: primal-dual search for invariants. - Oded Padon; James R. Wilcox; Jason R. Koenig; Kenneth L. McMillan; Alex Aiken (Proc. ACM Program. Lang., 2022)

Invariant inference via quantified separation. - Jason R. Koenig (2022)

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (extended version). - Linard Arquint; Samarth Kishor; Jason R. Koenig; Joey Dodds; Daniel Kroening; Peter Müller 001 (CoRR, 2025)