John Cyphert

15 papers A* 2Journal 10Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
Solvable Polynomial Ideals: The Ideal Reflection for Program Analysis.
Proc. ACM Program. Lang.
John Cyphert, Zachary Kincaid
2023 J jnl
Optimal Symbolic Bound Synthesis.
CoRR
John Cyphert, Yotam Feldman, Zachary Kincaid, Thomas W. Reps
2023 J jnl
Solvable Polynomial Ideals: The Ideal Reflection for Program Analysis.
CoRR
John Cyphert, Zachary Kincaid
2021 — conf
Algebraic Program Analysis.
CAV (1)
Zachary Kincaid, Thomas W. Reps, John Cyphert
2021 — conf
Synthesis with Asymptotic Resource Bounds.
CAV (1)
Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps
2021 J jnl
Synthesis with Asymptotic Resource Bounds.
CoRR
Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps
2020 J jnl
Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems.
CoRR
Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps
2020 A* conf
Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems.
PLDI
Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps
2020 J jnl
Templates and Recurrences: Better Together.
CoRR
Jason Breck, John Cyphert, Zachary Kincaid, Thomas W. Reps
2020 A* conf
Templates and recurrences: better together.
PLDI
Jason Breck, John Cyphert, Zachary Kincaid, Thomas W. Reps
2019 J jnl
Closed forms for numerical loops.
Proc. ACM Program. Lang.
Zachary Kincaid, Jason Breck, John Cyphert, Thomas W. Reps
2019 — conf
Proving Unrealizability for Syntax-Guided Synthesis.
CAV (1)
Qinheping Hu, Jason Breck, John Cyphert, Loris D'Antoni, Thomas W. Reps
2019 J jnl
Proving Unrealizability for Syntax-Guided Synthesis.
CoRR
Qinheping Hu, Jason Breck, John Cyphert, Loris D'Antoni, Thomas W. Reps
2019 J jnl
Refinement of path expressions for static analysis.
Proc. ACM Program. Lang.
John Cyphert, Jason Breck, Zachary Kincaid, Thomas W. Reps
2018 J jnl
Non-linear reasoning for invariant synthesis.
Proc. ACM Program. Lang.
Zachary Kincaid, John Cyphert, Jason Breck, Thomas W. Reps