Timothy Zhou

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 9

Top Topics

Symbolic Model Checking

Correlation Clustering

Formal Verification

Program Slicing

Top Venues

ACM Trans. Program. Lang. Syst.

Publications

Alex Sanchez-Stern, Emily First, Timothy Zhou, Zhanna Kaufman, Yuriy Brun, Talia Ringer
Passport: Improving Automated Formal Verification Using Identifiers. ACM Trans. Program. Lang. Syst. 45 (2) (2023)
Arpan Agrawal, Emily First, Zhanna Kaufman, Tom Reichel, Shizhuo Zhang, Timothy Zhou, Alex Sanchez-Stern, Talia Ringer, Yuriy Brun
PRoofster: Automated Formal Verification. ICSE Companion (2023)
Julia Freeman, Timothy Zhou
Historiographer: Strongly-Consistent Distributed Reactive Programming with Minimal Locking. SPLASH Companion (2023)
Alex Sanchez-Stern, Emily First, Timothy Zhou, Zhanna Kaufman, Yuriy Brun, Talia Ringer
Passport: Improving Automated Formal Verification Using Identifiers. CoRR (2022)
Sariel Har-Peled, Timothy Zhou
How Packed Is It, Really? CoRR (2021)
Sariel Har-Peled, Timothy Zhou
Improved Approximation Algorithms for Tverberg Partitions. ESA (2021)
Sariel Har-Peled, Timothy Zhou
Improved Approximation Algorithms for Tverberg Partitions. CoRR (2020)
Sanchit Kalhan, Konstantin Makarychev, Timothy Zhou
Improved algorithms for Correlation Clustering with local objectives. CoRR (2019)
Sanchit Kalhan, Konstantin Makarychev, Timothy Zhou
Correlation clustering with local objectives. NeurIPS (2019)