PLDI 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea
Alexander Bai

Registered user since Wed 29 Jun 2022

Name:Alexander Bai
Country:United States
Affiliation:MPI-SWS
Research interests:Programming Languages, Formal Verification, Automated Reasoning

Contributions

Show activities from other conferences

Using general profile