Timothy Zhou

14 papers A* 2A 1Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
ChopChop: A Programmable Framework for Semantically Constraining the Output of Language Models.
Proc. ACM Program. Lang.
Shaan Nagy, Timothy Zhou, Nadia Polikarpova, Loris D'Antoni
2025 J jnl
ChopChop: a Programmable Framework for Semantically Constraining the Output of Language Models.
CoRR
Shaan Nagy, Timothy Zhou, Nadia Polikarpova, Loris D'Antoni
2025 A* conf
Flexible and Efficient Grammar-Constrained Decoding.
ICML
Kanghee Park, Timothy Zhou, Loris D'Antoni
2025 J jnl
Flexible and Efficient Grammar-Constrained Decoding.
CoRR
Kanghee Park, Timothy Zhou, Loris D'Antoni
2025 J jnl
How Packed Is It, Really?
Comput. Geom. Topol.
Sariel Har-Peled, Timothy Zhou
2023 — conf
Historiographer: Strongly-Consistent Distributed Reactive Programming with Minimal Locking.
SPLASH Companion
Julia Freeman, Timothy Zhou
2023 — conf
PRoofster: Automated Formal Verification.
ICSE Companion
Arpan Agrawal, Emily First, Zhanna Kaufman, Tom Reichel, Shizhuo Zhang, Timothy Zhou, Alex Sanchez-Stern, Talia Ringer, Yuriy Brun
2023 J jnl
Passport: Improving Automated Formal Verification Using Identifiers.
ACM Trans. Program. Lang. Syst.
Alex Sanchez-Stern, Emily First, Timothy Zhou, Zhanna Kaufman, Yuriy Brun, Talia Ringer
2022 J jnl
Passport: Improving Automated Formal Verification Using Identifiers.
CoRR
Alex Sanchez-Stern, Emily First, Timothy Zhou, Zhanna Kaufman, Yuriy Brun, Talia Ringer
2021 J jnl
How Packed Is It, Really?
CoRR
Sariel Har-Peled, Timothy Zhou
2021 A conf
Improved Approximation Algorithms for Tverberg Partitions.
ESA
Sariel Har-Peled, Timothy Zhou
2020 J jnl
Improved Approximation Algorithms for Tverberg Partitions.
CoRR
Sariel Har-Peled, Timothy Zhou
2019 A* conf
Correlation clustering with local objectives.
NeurIPS
Sanchit Kalhan, Konstantin Makarychev, Timothy Zhou
2019 J jnl
Improved algorithms for Correlation Clustering with local objectives.
CoRR
Sanchit Kalhan, Konstantin Makarychev, Timothy Zhou