Sign in
Zhihang Sun
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 4
Top Topics
Multithreading
Multi Threaded
Nonlinear Equations
Information Flow
Top Venues
Proc. ACM Program. Lang.
PLDI
TACAS (2)
ACM Trans. Program. Lang. Syst.
</>
Publications
</>
Hongyu Fan
,
Zhihang Sun
,
Fei He
Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models.
ACM Trans. Program. Lang. Syst.
45 (1) (2023)
Fei He
,
Zhihang Sun
,
Hongyu Fan
Deagle: An SMT-based Verifier for Multi-threaded Programs (Competition Contribution).
TACAS (2)
(2022)
Zhihang Sun
,
Hongyu Fan
,
Fei He
Consistency-preserving propagation for SMT solving of concurrent program verification.
Proc. ACM Program. Lang.
6 (OOPSLA2) (2022)
Fei He
,
Zhihang Sun
,
Hongyu Fan
Satisfiability modulo ordering consistency theory for multi-threaded program verification.
PLDI
(2021)