
Registered user since Fri 9 Jun 2017
Name:Xuan-Bach D. Le
Country:Australia
Affiliation:University of Melbourne
Personal website: https://scholar.google.com.sg/citations?user=AUJWzE8AAAAJ&hl=en
Research interests:Software Mining, Analysis, Synthesis, Verification, and Repair
Contributions
2025
POPL 2025-profile
View general profile
View general profile