25 citations · 27 across the 3 of their papers we have counts for
4 papers
Passport: Improving Automated Formal Verification Using Identifiers
Alex Sanchez-Stern, Emily First, Timothy Zhou +3
Formally verifying system properties is one of the most effective ways of improving system quality, but its high manual effort requirements often render it prohibitively expensive.…
How Packed Is It, Really?
Sariel Har-Peled, Timothy Zhou
The congestion of a curve is a measure of how much it zigzags around locally. More precisely, a curve is -packed if the length of the curve lying inside any ball is at most…
Improved Approximation Algorithms for Tverberg Partitions
Sariel Har-Peled, Timothy Zhou
Tverberg's theorem states that a set of points in can be partitioned into $\flo…
Improved algorithms for Correlation Clustering with local objectives
Sanchit Kalhan, Konstantin Makarychev, Timothy Zhou
Correlation Clustering is a powerful graph partitioning model that aims to cluster items based on the notion of similarity between items. An instance of the Correlation Clustering…