Correlation clustering with local objectives. - Sanchit Kalhan; Konstantin Makarychev; Timothy Zhou (NeurIPS, 2019)

Improved algorithms for Correlation Clustering with local objectives. - Sanchit Kalhan; Konstantin Makarychev; Timothy Zhou (CoRR, 2019)

Improved Approximation Algorithms for Tverberg Partitions. - Sariel Har-Peled; Timothy Zhou (ESA, 2021)

How Packed Is It, Really? - Sariel Har-Peled; Timothy Zhou (CoRR, 2021)

PRoofster: Automated Formal Verification. - Arpan Agrawal; Emily First; Zhanna Kaufman; Tom Reichel; Shizhuo Zhang; Timothy Zhou; Alex Sanchez-Stern; Talia Ringer; Yuriy Brun (ICSE Companion, 2023)

Historiographer: Strongly-Consistent Distributed Reactive Programming with Minimal Locking. - Julia Freeman; Timothy Zhou (SPLASH Companion, 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., 2023)

Flexible and Efficient Grammar-Constrained Decoding. - Kanghee Park; Timothy Zhou; Loris D'Antoni (CoRR, 2025)