Yixuan Chen

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 4

Top Topics

Automated Verification

Concurrent Programs

Top Venues

Proc. ACM Program. Lang.

ACM Trans. Program. Lang. Syst.

Publications

Arthur Oliveira Vale, Zhong Shao, Yixuan Chen
A Compositional Theory of Linearizability. J. ACM 71 (2) (2024)
Arthur Oliveira Vale, Zhong Shao, Yixuan Chen
A Compositional Theory of Linearizability. Proc. ACM Program. Lang. 7 (POPL) (2023)
Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Haojun Ma, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao
Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility. ACM Trans. Program. Lang. Syst. 44 (2) (2022)
Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao
Armada: low-effort verification of high-performance concurrent programs. PLDI (2020)