• Sign in
  • Sign up
conf.researchr.org / Zhihang Sun
  • PLDI 2021 profile
  • SPLASH 2022 profile
Zhihang Sun

Registered user since Mon 7 Feb 2022

Name:Zhihang Sun
Country:China
Affiliation:Tsinghua University

Contributions

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
Share
xWed 21 May 16:51
using conf.researchr.org (v1.69.0)
Support page
Sign Up