Timothy Zhou

According to our database, Timothy Zhou authored at least 9 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

ChopChop: a Programmable Framework for Semantically Constraining the Output of Language Models.

Shaan Nagy, Timothy Zhou, Nadia Polikarpova, Loris D'Antoni

CoRR, September, 2025

Flexible and Efficient Grammar-Constrained Decoding.

Kanghee Park, Timothy Zhou, Loris D'Antoni

CoRR, February, 2025

2023

Passport: Improving Automated Formal Verification Using Identifiers.

Alex Sanchez-Stern, Emily First, Timothy Zhou, Zhanna Kaufman, Yuriy Brun, Talia Ringer

ACM Trans. Program. Lang. Syst., June, 2023

Historiographer: Strongly-Consistent Distributed Reactive Programming with Minimal Locking.

Julia Freeman, Timothy Zhou

Proceedings of the Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, 2023

PRoofster: Automated Formal Verification.

Arpan Agrawal, Emily First, Zhanna Kaufman, Tom Reichel, Shizhuo Zhang, Timothy Zhou, Alex Sanchez-Stern, Talia Ringer, Yuriy Brun

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

2021

How Packed Is It, Really?

Sariel Har-Peled, Timothy Zhou

CoRR, 2021

Improved Approximation Algorithms for Tverberg Partitions.

Sariel Har-Peled, Timothy Zhou

Proceedings of the 29th Annual European Symposium on Algorithms, 2021

2019

Improved algorithms for Correlation Clustering with local objectives.

Sanchit Kalhan, Konstantin Makarychev, Timothy Zhou

CoRR, 2019

Correlation clustering with local objectives.

Sanchit Kalhan, Konstantin Makarychev, Timothy Zhou

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019