Yixuan Chen

Computer Science Ph.D. Student

Yale University

Biography

Yixuan Chen is a Ph.D. student of Computer Science at Yale University. His research interests include formal verification and/of concurrent and distributed systems. He is a member of the FLINT group, working with Professor Zhong Shao on formally verified large-scale systems.

Interests

Formal Verification
Programming Languages
Distributed Systems

Education

PhD in Computer Science, current

Yale University
BSE in Computer Science Engineering, 2019

University of Michigan
BSE in Electrical and Computer Engineering, 2019

Shanghai Jiaotong University

Recent Publications

Low-Effort Verification of High-Performance Concurrent Programs

Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao

41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI ’20) distinguished paper award

PDF Code Video DOI

Verification of a Cache-optimized Data Structure

Yixuan Chen, Aurèle Barrière, Lennart Beringer, Andrew W. Appel

POPL 2019 SRC

Experience

Ph.D. student

Yale University

Sep 2019 – Present

Research intern

Princeton University, Prof. Andrew W. Appel

May 2018 – Aug 2018

Undergraduate

University of Michigan

Sep 2017 – May 2019

Intern

Apple Inc.

Feb 2016 – Aug 2017

Undergraduate

Shanghai Jiaotong University

Sep 2015 – Aug 2019