publications

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

2026

  1. Language-Based Agent Control
    Timothy Zhou, Loris D’Antoni, and Nadia Polikarpova
    arXiv Preprint, May 2026
    arXiv
  2. ChopChop: a Programmable Framework for Semantically Constraining the Output of Language Models
    Shaan Nagy*, Timothy Zhou*, Nadia Polikarpova, and Loris D’Antoni
    POPL, May 2026
    DOI

2025

  1. Flexible and Efficient Grammar-Constrained Decoding
    Kanghee Park, Timothy Zhou, and Loris D’Antoni
    ICML, May 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, May 2023
    DOI
  2. Historiographer: Strongly-Consistent Distributed Reactive Programming with Minimal Locking
    Julia Freeman*, and Timothy Zhou*
    SPLASH Student Research Competition (First Place), May 2023
    DOI