Jason R. Koenig

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 5

Top Topics

Projective Invariants

Imperative Programs

Quantifier Elimination

Top Venues

Proc. ACM Program. Lang.

Publications

Jason R. Koenig, Oded Padon, Sharon Shoham, Alex Aiken
Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion. TACAS (1) (2022)
Oded Padon, James R. Wilcox, Jason R. Koenig, Kenneth L. McMillan, Alex Aiken
Induction duality: primal-dual search for invariants. Proc. ACM Program. Lang. 6 (POPL) (2022)
Jason R. Koenig, Oded Padon, Alex Aiken
Adaptive restarts for stochastic synthesis. PLDI (2021)
Jason R. Koenig, Oded Padon, Sharon Shoham, Alex Aiken
Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion. CoRR (2021)
Jason R. Koenig, Oded Padon, Neil Immerman, Alex Aiken
First-order quantified separators. PLDI (2020)