Zhihang Sun -

Registered user since Mon 7 Feb 2022

Name:Zhihang Sun

Country:China

Affiliation:Tsinghua University; Key Laboratory for Information System Security; Beijing National Research Center for Information Science and Technology

Contributions

2026

ASE

Author of Precise and Efficient Static Data Race Detection within the Research Papers-track

FM

Author of A Refined Ordering Consistency Theory: Full Sequential Consistency and Generalized Preventive Reasoning within the Research Track-track

2022

SPLASH

Author of Consistency-Preserving Propagation for SMT Solving of Concurrent Program Verification within the V-OOPSLA-track

2021

PLDI

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