John Cyphert

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 15

Top Topics

Exact And Approximate

Worst Case Analysis

Static Analysis

Program Synthesis

Top Venues

Proc. ACM Program. Lang.

Publications

John Cyphert, Zachary Kincaid
Solvable Polynomial Ideals: The Ideal Reflection for Program Analysis. Proc. ACM Program. Lang. 8 (POPL) (2024)
John Cyphert, Yotam Feldman, Zachary Kincaid, Thomas W. Reps
Optimal Symbolic Bound Synthesis. CoRR (2023)
John Cyphert, Zachary Kincaid
Solvable Polynomial Ideals: The Ideal Reflection for Program Analysis. CoRR (2023)
Zachary Kincaid, Thomas W. Reps, John Cyphert
Algebraic Program Analysis. CAV (1) (2021)
Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps
Synthesis with Asymptotic Resource Bounds. CoRR (2021)
Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps
Synthesis with Asymptotic Resource Bounds. CAV (1) (2021)
Jason Breck, John Cyphert, Zachary Kincaid, Thomas W. Reps
Templates and Recurrences: Better Together. CoRR (2020)
Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps
Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems. CoRR (2020)
Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps
Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems. PLDI (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)