Not registered as user yet

Name: Zhihang Sun

Country: China

Affiliation: Tsinghua University

Contributions

PLDI 2021 Author of Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Program Verification within the PLDI-track