BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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 DBLP: Breck:Jason

Contributed to:

ESOP 20162016
CAV (1) 20192019
PLDI 20172017
POPL 20182018
POPL 20192019

Wrote 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.
Closed forms for numerical loops (ZK, JB, JC, TWR), p. 29.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.