Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Yixuan Chen

Registered user since Wed 26 Feb 2020

Name: Yixuan Chen

Affiliation: University of Michigan, USA / Yale University, USA

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

Research interests: Formal Verification

Contributions

PLDI 2020Author of Armada: Low-Effort Verification of High-Performance Concurrent Programs within the PLDI Research Papers-track
Show activities from other conferences

PLDI 2020-profile
View general profile