Skip to yearly menu bar Skip to main content


Poster Thu, Jul 9, 2026 • 1:00 AM – 2:45 AM PDT HALL A #902

MEnvAgent: Scalable Polyglot Environment Construction for Verifiable Software Engineering

Chuanzhe Guo ⋅ Jingjing Wu ⋅ Sijun He ⋅ Yang Chen ⋅ Zhaoqi Kuang ⋅ Shilong Fan ⋅ Bingjin Chen ⋅ Siqi Bao ⋅ Jing Liu ⋅ Hua Wu ⋅ Qingfu Zhu ⋅ Wanxiang Che ⋅ Haifeng Wang

Abstract

Log in and register to view live content