Collaborated with:J.Breck T.W.Reps Z.Kincaid Q.Hu L.D'Antoni
Talks about:synthesi (2) unrealiz (1) express (1) analysi (1) syntax (1) static (1) reason (1) linear (1) invari (1) refin (1)
Person: John Cyphert
DBLP: Cyphert:John
Contributed to:
2019
20182019Wrote 4 papers:
- CAV-2019-HuBCDR #proving #synthesis
- Proving Unrealizability for Syntax-Guided Synthesis (QH, JB, JC, LD, TWR), pp. 335–352.
- 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.