ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
Yanju Chen

Registered user since Fri 20 Dec 2019

Name:Yanju Chen
Country:United States
Affiliation:University of California at Santa Barbara
Research interests:Program Synthesis, Program Verification, Artificial Intelligence

Contributions

Show activities from other conferences

Using general profile