PPaperPicks

Zhe Zhou

5 papers at tracked venues · 4 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

PLDI ×2AAAI ×1OOPSLA ×1POPL ×1

Frequent coauthors

Suresh Jagannathan
×4
Benjamin Delaware
×3
Ankush Desai
×1
Yongwei Yuan
×1
Julia Belyakova
×1
Yijiong Yu
×1
Yongfeng Huang
×1
Zhixiao Qi
×1
Patrick LaFontaine
×1
Ashish Mishra
×1
Qianchuan Ye
×1

Papers

  1. Trace-Guided Synthesis of Effectful Test Generators
    PLDI 2026 · Zhe Zhou,
    Ankush Desai
    ,
    Benjamin Delaware
    ,
    Suresh Jagannathan
  2. Derivative-Guided Symbolic Execution
    POPL 2025 ·
    Yongwei Yuan
    , Zhe Zhou,
    Julia Belyakova
    ,
    Suresh Jagannathan
  3. Training with "Paraphrasing the Original Text" Teaches LLM to Better Retrieve in Long-Context Tasks
    AAAI 2025 ·
    Yijiong Yu
    ,
    Yongfeng Huang
    ,
    Zhixiao Qi
    , Zhe Zhou
  4. We've Got You Covered: Type-Guided Repair of Incomplete Input Generators
    OOPSLA 2025 ·
    Patrick LaFontaine
    , Zhe Zhou,
    Ashish Mishra
    ,
    Suresh Jagannathan
    ,
    Benjamin Delaware
  5. A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata
    PLDI 2024 · Zhe Zhou,
    Qianchuan Ye
    ,
    Benjamin Delaware
    ,
    Suresh Jagannathan