Yongwei Yuan -

Registered user since Tue 17 Jan 2023

Name:Yongwei Yuan

Country:United States

Affiliation:Purdue University

Personal website: https://yongweiy.github.io

GitHub: https://github.com/yongweiy

Contributions

2025

SPLASH

Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track

PLDI

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

ICSE

Author of Formally Verified Cloud-Scale Authorization within the Research Track-track

POPL

Author of Derivative-Guided Symbolic Execution within the POPL-track

TPSA

Author of From Traces to Program Incorrectness: A Type-Theoretic Approach within the TPSA 2025-track

2024

PLDI

2023

SPLASH

Author of Live Pattern Matching with Typed Holes within the OOPSLA-track

PLDI

Author of Trace-Guided Inductive Synthesis of Recursive Functional Programs within the PLDI Research Papers-track

POPL

Author of Trace-Guided Inductive Synthesis of Recursive Functional Programs within the Student Research Competition-track