We stand with Ukraine  

Zhihang Sun

Orcid: 0000-0002-3787-0144

According to our database1, Zhihang Sun authored at least 5 papers between 2021 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
SMRU: Split-and-Merge Recurrent-based UNet for Acoustic Echo Cancellation and Noise Suppression.
[BibTeX]
[DOI]
Zhihang Sun
,
Andong Li
,
Rilin Chen
,
Hao Zhang
,
Meng Yu
,
Yi Zhou
,
Dong Yu
CoRR, 2024

2023
Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models.
[BibTeX]
[DOI]
Hongyu Fan
,
Zhihang Sun
,
Fei He
ACM Trans. Program. Lang. Syst., March, 2023

2022
Consistency-preserving propagation for SMT solving of concurrent program verification.
[BibTeX]
[DOI]
Zhihang Sun
,
Hongyu Fan
,
Fei He
Proc. ACM Program. Lang., 2022

Deagle: An SMT-based Verifier for Multi-threaded Programs (Competition Contribution).
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Fei He
,
Zhihang Sun
,
Hongyu Fan
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021


  Loading...