Yanju Chen -

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, Machine Learning, Artificial Intelligence

Contributions

SPLASH 2023	Committee Member in Reviewers within the Student Research Competition-track
ECOOP 2023	Committee Member in Extended Review Committee within the Research Papers-track Committee Member in Artifact Evaluation Committee within the Artifacts-track
PLDI 2023	Author of Conflict-Driven Synthesis for Layout Engines within the PLDI Research Papers-track Author of Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs within the PLDI Research Papers-track Author in Artifact Evaluation Committee within the Research Artifacts-track
VMCAI 2023	Committee Member in Artifact Evaluation Committee within the VMCAI 2023-track
SPLASH 2022	Author of Automated transpilation of imperative to functional code using neural-guided program synthesis within the OOPSLA-track Author of Synthesis-Powered Optimization of Smart Contracts via Data Type Refactoring within the OOPSLA-track
ASE 2022	Author of Learning Contract Invariants Using Reinforcement Learning within the Research Papers-track
PLDI 2022	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track Author of Visualization Question Answering Using Introspective Program Synthesis within the PLDI-track
PLDI 2021	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
SPLASH 2020	Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
ASE 2020	Author of Demystifying Loops in Smart Contracts within the Research Papers-track