Poster · Atlanta

Verifiers in the Loop: Decoding Time Verification for Code Translation

Name: Verifiers in the Loop: Decoding Time Verification for Code Translation
Start: 2026-12-09T16:30:00-05:00
End: 2026-12-09T19:30:00-05:00
Location: Hall C1, Georgia World Congress Center

When: Wed 9 Dec 2026, 16:30–19:30 EST
Where: Hall C1, Georgia World Congress Center
Session: Atlanta Poster Session 2
Authors: Tianyang Zhou, Somesh Jha, Mihai Christodorescu, Kirill Levchenko, Varun Chandrasekaran
Organisations: University of Illinois Urbana-Champaign, University of Wisconsin-Madison, Google

Open in schedule Official page