Yixuan Chen

Registered user since Wed 26 Feb 2020

Name: Yixuan Chen

Affiliation: Yale University, USA

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

Research interests: Formal Verification

Contributions

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