Login / Signup
Zongyin Hao
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 2
Top Topics
Petri Net
Database Management Systems
Materialized Views
Query Optimizers
Top Venues
USENIX Annual Technical Conference
Int. J. Softw. Informatics
</>
Publications
</>
Zongyin Hao
,
Quanfeng Huang
,
Chengpeng Wang
,
Jianfeng Wang
,
Yushan Zhang
,
Rongxin Wu
,
Charles Zhang
Pinolo: Detecting Logical Bugs in Database Management Systems with Approximate Query Synthesis.
USENIX Annual Technical Conference
(2023)
Zongyin Hao
,
Faming Lu
Reverse Unfolding of Petri Nets and its Application in Program Data Race Detection.
Int. J. Softw. Informatics
11 (4) (2021)