Jason R. Koenig

According to our database, Jason R. Koenig authored at least 8 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (artifact).

Linard Arquint, Samarth Kishor, Jason R. Koenig, Joey Dodds, Daniel Kroening, Peter Müller

Dataset, October, 2025

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (artifact).

Linard Arquint, Samarth Kishor, Jason R. Koenig, Joey Dodds, Daniel Kroening, Peter Müller

Dataset, September, 2025

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

CoRR, July, 2025

2022

Invariant inference via quantified separation.

Jason R. Koenig

PhD thesis, 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

Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion.

Jason R. Koenig, Oded Padon, Sharon Shoham, Alex Aiken

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2021

Adaptive restarts for stochastic synthesis.

Jason R. Koenig, Oded Padon, Alex Aiken

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

First-order quantified separators.

Jason R. Koenig, Oded Padon, Neil Immerman, Alex Aiken

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020