Collaborated with:T.W.Reps Z.Kincaid J.Cyphert A.Miné Ashkan Forouhi Boroujeni Q.Hu L.D'Antoni
Talks about:synthesi (2) analysi (2) invari (2) numer (2) constraint (1) algorithm (1) unrealiz (1) composit (1) revisit (1) program (1)
Person: Jason Breck
DBLP: Breck:Jason
Contributed to:
2016
2019
2017
20182019Wrote 6 papers:
- ESOP-2016-MineBR #algorithm #constraints #induction #invariant #source code #theorem proving
- An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs (AM, JB, TWR), pp. 560–588.
- CAV-2019-HuBCDR #proving #synthesis
- Proving Unrealizability for Syntax-Guided Synthesis (QH, JB, JC, LD, TWR), pp. 335–352.
- PLDI-2017-KincaidBBR #analysis #composition #revisited
- Compositional recurrence analysis revisited (ZK, JB, AFB, TWR), pp. 248–262.
- POPL-2018-KincaidCBR #invariant #reasoning #synthesis
- Non-linear reasoning for invariant synthesis (ZK, JC, JB, TWR), p. 33.
- POPL-2019-CyphertBKR #refinement #static analysis
- Refinement of path expressions for static analysis (JC, JB, ZK, TWR), p. 29.
- POPL-2019-KincaidBCR
- Closed forms for numerical loops (ZK, JB, JC, TWR), p. 29.