Statistics
Publications
5
Citations
173
H-Index
5
Active since
2017
Affiliations
John Cyphert is an author at Princeton University specializing in computer science, computing, and theory of computation.
Publications per year
2017–2024
5
5
Non-linear reasoning for invariant synthesis
Zachary Kincaid, John Cyphert, Jason Breck et al. · Proceedings of the ACM on Programming Languages · 2017 · 79 citations · Full text
Closed forms for numerical loops
Zachary Kincaid, Jason Breck, John Cyphert et al. · Proceedings of the ACM on Programming Languages · 2019 · 34 citations · Full text
Non-Linear Reasoning For Invariant Synthesis
Zachary Kincaid, John Cyphert, Jason Breck et al. · Symposium on Principles of Programming Languages · 2018 · 28 citations
1–5 of 5