Jason R. Koenig

Orcid: 0000-0002-5611-4408

According to our database1, Jason R. Koenig authored at least 5 papers between 2020 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Invariant inference via quantified separation.
PhD thesis, 2022

Induction duality: primal-dual search for invariants.
Proc. ACM Program. Lang., 2022

Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2021
Adaptive restarts for stochastic synthesis.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020
First-order quantified separators.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020


  Loading...