Zhihang Sun

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 5

Top Topics

Multi Core Processors

Global Consistency

Median Filtering

Top Venues

Proc. ACM Program. Lang.

Publications

Zhihang Sun, Andong Li, Rilin Chen, Hao Zhang, Meng Yu, Yi Zhou, Dong Yu
SMRU: Split-and-Merge Recurrent-based UNet for Acoustic Echo Cancellation and Noise Suppression. CoRR (2024)
Hongyu Fan, Zhihang Sun, Fei He
Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models. ACM Trans. Program. Lang. Syst. 45 (1) (2023)
Fei He, Zhihang Sun, Hongyu Fan
Deagle: An SMT-based Verifier for Multi-threaded Programs (Competition Contribution). TACAS (2) (2022)
Zhihang Sun, Hongyu Fan, Fei He
Consistency-preserving propagation for SMT solving of concurrent program verification. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Fei He, Zhihang Sun, Hongyu Fan
Satisfiability modulo ordering consistency theory for multi-threaded program verification. PLDI (2021)