Login / Signup
Xuan-Bach Le
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 2
Top Topics
Multithreading
Computer Programs
Abductive Reasoning
Quantum Computation
Top Venues
Proc. ACM Program. Lang.
ICECCS
</>
Publications
</>
Xuan-Bach Le
,
Shang-Wei Lin
,
Jun Sun
,
David Sanán
A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic.
Proc. ACM Program. Lang.
6 (POPL) (2022)
Xuan-Bach Le
,
David Sanán
,
Jun Sun
,
Shang-Wei Lin
Automatic Verification of Multi-threaded Programs by Inference of Rely-Guarantee Specifications.
ICECCS
(2020)