Jason Breck

According to our database, Jason Breck authored at least 8 papers between 2014 and 2020.

Collaborative distances:

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

2020

Templates and recurrences: better together.

Jason Breck, John Cyphert, Zachary Kincaid, Thomas W. Reps

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

2019

Closed forms for numerical loops.

Zachary Kincaid, Jason Breck, John Cyphert, Thomas W. Reps

Proc. ACM Program. Lang., 2019

Refinement of path expressions for static analysis.

John Cyphert, Jason Breck, Zachary Kincaid, Thomas W. Reps

Proc. ACM Program. Lang., 2019

Proving Unrealizability for Syntax-Guided Synthesis.

Qinheping Hu, Jason Breck, John Cyphert, Loris D'Antoni, Thomas W. Reps

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Non-linear reasoning for invariant synthesis.

Zachary Kincaid, John Cyphert, Jason Breck, Thomas W. Reps

Proc. ACM Program. Lang., 2018

2017

Compositional recurrence analysis revisited.

Zachary Kincaid, Jason Breck, Ashkan Forouhi Boroujeni, Thomas W. Reps

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016

An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs.

Antoine Miné, Jason Breck, Thomas W. Reps

Proceedings of the Programming Languages and Systems, 2016

2014

Satisfiability modulo abstraction for separation logic with linked lists.

Aditya V. Thakur, Jason Breck, Thomas W. Reps

Proceedings of the 2014 International Symposium on Model Checking of Software, 2014