Yixuan Chen -

Registered user since Wed 26 Feb 2020

Name:Yixuan Chen

Country:United States

Affiliation:Yale University

Personal website: https://me.xlk.me

Research interests:Formal Verification

Contributions

2024

SPLASH

Author of Compositionality and Observational Refinement for Linearizability with Crashes within the OOPSLA 2024-track

ESEC/FSE

Author of Evaluating and Improving ChatGPT for Unit Test Generation within the Research Papers-track
Author of Evaluating and Improving ChatGPT for Unit Test Generation within the Posters-track

ICSE

Author of Evaluating Large Language Models in Class-Level Code Generation within the Research Track-track

2023

POPL

Author of A Compositional Theory of Linearizability within the POPL-track

2022

PLDI

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

POPL

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

2021

SPLASH

Author of Armada: Low-Effort Verification of High-Performance Concurrent Programs within the SIGPLAN Papers-track

2020

PLDI

Author of Armada: Low-Effort Verification of High-Performance Concurrent Programs within the PLDI Research Papers-track