publications

publications by categories in reversed chronological order. generated by jekyll-scholar.

2023

  1. Passport: Improving Automated Formal Verification Using Identifiers
    Alex Sanchez-Stern*, Emily First*, Timothy Zhou, Zhanna Kaufman, Yuriy Brun, and Talia Ringer
    TOPLAS, 2023
    DOI
  2. Historiographer: Strongly-Consistent Distributed Reactive Programming with Minimal Locking
    Julia Freeman*, and Timothy Zhou*
    SPLASH Student Research Competition (First Place), 2023
    DOI