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

Registered user since Fri 25 Apr 2025

Name:Xiaoyu Liu
Country:Canada
Affiliation:Simon Fraser University
Research interests:Program synthesis and formal verification

Contributions

Show activities from other conferences

Using general profile