conf.researchr.org / Yanju Chen
Registered user since Fri 20 Dec 2019
Name:Yanju Chen
Country:United States
Affiliation:University of California, San Diego
Personal website: https://chyanju.github.io/
GitHub: https://github.com/chyanju
Research interests:Program Synthesis, Program Verification, Security
Contributions