Jason Breck

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 9

Top Topics

Static Analysis

Deformable Templates

Analogical Reasoning

Top Venues

Proc. ACM Program. Lang.

Publications

Jason Breck, John Cyphert, Zachary Kincaid, Thomas W. Reps
Templates and Recurrences: Better Together. CoRR (2020)
Jason Breck, John Cyphert, Zachary Kincaid, Thomas W. Reps
Templates and recurrences: better together. PLDI (2020)
Qinheping Hu, Jason Breck, John Cyphert, Loris D'Antoni, Thomas W. Reps
Proving Unrealizability for Syntax-Guided Synthesis. CAV (1) (2019)
John Cyphert, Jason Breck, Zachary Kincaid, Thomas W. Reps
Refinement of path expressions for static analysis. Proc. ACM Program. Lang. 3 (POPL) (2019)
Zachary Kincaid, Jason Breck, John Cyphert, Thomas W. Reps
Closed forms for numerical loops. Proc. ACM Program. Lang. 3 (POPL) (2019)
Qinheping Hu, Jason Breck, John Cyphert, Loris D'Antoni, Thomas W. Reps
Proving Unrealizability for Syntax-Guided Synthesis. CoRR (2019)
Zachary Kincaid, John Cyphert, Jason Breck, Thomas W. Reps
Non-linear reasoning for invariant synthesis. Proc. ACM Program. Lang. 2 (POPL) (2018)
Zachary Kincaid, Jason Breck, Ashkan Forouhi Boroujeni, Thomas W. Reps
Compositional recurrence analysis revisited. PLDI (2017)
Antoine Miné, Jason Breck, Thomas W. Reps
An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs. ESOP (2016)
Aditya V. Thakur, Jason Breck, Thomas W. Reps
Satisfiability modulo abstraction for separation logic with linked lists. SPIN (2014)