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, 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