Zhihang Sun

According to our database, Zhihang Sun authored at least 4 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models.

Hongyu Fan, Zhihang Sun, Fei He

ACM Trans. Program. Lang. Syst., March, 2023

2022

Consistency-preserving propagation for SMT solving of concurrent program verification.

Zhihang Sun, Hongyu Fan, Fei He

Proc. ACM Program. Lang., 2022

Deagle: An SMT-based Verifier for Multi-threaded Programs (Competition Contribution).

Fei He, Zhihang Sun, Hongyu Fan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2021

Satisfiability modulo ordering consistency theory for multi-threaded program verification.

Fei He, Zhihang Sun, Hongyu Fan

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021