Sign in
Yixuan Chen
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 3
Top Topics
High Level
Decision Theory
Automated Verification
Temporal Logic
Top Venues
Proc. ACM Program. Lang.
PLDI
ACM Trans. Program. Lang. Syst.
</>
Publications
</>
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)