Zongyin Hao

According to our database, Zongyin Hao authored at least 2 papers between 2021 and 2023.

Collaborative distances:

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

2023

Pinolo: Detecting Logical Bugs in Database Management Systems with Approximate Query Synthesis.

Zongyin Hao, Quanfeng Huang, Chengpeng Wang, Jianfeng Wang, Yushan Zhang, Rongxin Wu, Charles Zhang

Proceedings of the 2023 USENIX Annual Technical Conference, 2023

2021

Reverse Unfolding of Petri Nets and its Application in Program Data Race Detection.

Zongyin Hao, Faming Lu

Int. J. Softw. Informatics, 2021