Hongyu Fan -

Registered user since Wed 10 Mar 2021

Name:Hongyu Fan

Country:China

Affiliation:Tsinghua University

Research interests:Formal Verification, multi-threaded program verifiation, hardware verification, SAT/SMT, model checking

Contributions

2022

SPLASH

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

Principles and Practice of Parallel Programming

Author of Interference Relation-Guided SMT Solving for Multi-Threaded Program Verification within the Main Conference-track

2021

PLDI

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