publications

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

2026

  1. ChopChop: a Programmable Framework for Semantically Constraining the Output of Language Models
    Shaan Nagy*, Timothy Zhou*, Nadia Polikarpova, and Loris D’Antoni
    POPL (Conditionally Accepted), 2026
    DOI

2025

  1. Flexible and Efficient Grammar-Constrained Decoding
    Kanghee Park, Timothy Zhou, and Loris D’Antoni
    ICML, 2025
    DOI

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