Registered user since Fri 20 Dec 2019
Name:Yanju Chen
Country:United States
Affiliation:University of California at Santa Barbara
Personal website: https://sites.cs.ucsb.edu/~yanju/
GitHub: https://github.com/chyanju
Research interests:Program Synthesis, Program Verification, Artificial Intelligence
Contributions
POPL 2024-profile
View general profile
View general profile