Get started
Author

Timothy Zhou

Observed name: Zhou, Timothy
ORCID: 0000-0002-5262-0995
Observed ORCID: 0000-0002-5262-0995
OpenAlex ID: A5088092134
Passport: Improving Automated Formal Verification Using Identifiers
2023 · Alex Sanchez-Stern, Emily First, et al. · ACM Transactions on Programming Languages and Systems · 27
PDF
PRoofster: Automated Formal Verification
2023 · Arpan Agrawal, Emily First, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 9
Correlation clustering with local objectives
2019 · Sanchit Kalhan, Konstantin Makarychev, et al. · neural information processing systems · 5
Real-time Human Detection with Integration of Visual and Thermal Data from High Altitude sUAS
2021 · Christopher R. Hayner, Echo Liu, et al. · AIAA SciTech Forum · 3
Improved Approximation Algorithms for Tverberg Partitions
2020 · Har-Peled, Sariel, Zhou, Timothy · arXiv (Cornell University) · 3
PDF
Historiographer: Strongly-Consistent Distributed Reactive Programming with Minimal Locking
2023 · Julia Freeman, Timothy Zhou · ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH) · 2
PDF
Improved algorithms for Correlation Clustering with local objectives
2019 · Kalhan, Sanchit, Makarychev, Konstantin, et al. · arXiv (Cornell University) · 2
PDF
ChopChop: A Programmable Framework for Semantically Constraining the Output of Language Models
2026 · Shaan Nagy, Timothy Zhou, et al. · Proceedings of the ACM on Programming Languages · 1
Flexible and Efficient Grammar-Constrained Decoding
2025 · Park, Kanghee, Zhou, Timothy, et al. · arXiv (Cornell University) · 1
PDF
Improved Approximation Algorithms for Tverberg Partitions
2021 · Sariel Har-Peled, Timothy Zhou · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 1
PDF
Language-Based Agent Control
2026 · Zhou, Timothy, D'Antoni, Loris, et al. · arXiv (Cornell University)
PDF
How Packed Is It, Really?
2021 · Har-Peled, Sariel, Zhou, Timothy · arXiv (Cornell University)
PDF
Works count: 13
Citation count: 55
H-index: 3
I10-index: 1
Year
Topic
Type