Demo Data from VLDB 2026 / reviewers in the wild / expert
Dingyi Zhao
dblp:305/4697
· DBLP profile ↗
2ranked-venue papers
0as first author
2since 2021 · last 2025
—ORCID · conflict
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 1 · 1 since 2021Systems, architecture and hardware · 1 · 1 since 2021Databases, data management, data science and information retrieval · 1 · 1 since 2021Applied, interdisciplinary, general and emerging computing · 1 · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Electronic design automation · 67% Performance modeling and evaluation · 33% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Electronic design automation › hardware verification and test
hardware verification |
0.9 | 1 | 2025 | GSIM: Accelerating RTL Simulation for Large-Scale Designs · DAC 2025 |
Electronic design automation › hardware verification and test › hardware verification
RTL simulation |
0.9 | 1 | 2025 | GSIM: Accelerating RTL Simulation for Large-Scale Designs · DAC 2025 |
Performance modeling and evaluation
simulation |
0.9 | 1 | 2025 | GSIM: Accelerating RTL Simulation for Large-Scale Designs · DAC 2025 |
Methods — techniques the papers use, named apart from their topics
supernode-level optimization · 0.9bit-level optimization · 0.9
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | GSIM: Accelerating RTL Simulation for Large-Scale DesignsabstractRegister Transfer Level (RTL) simulation is widely used in design space exploration, verification, debugging, and preliminary performance evaluation for hardware design. Among various RTL simulation approaches, software simulation is the most commonly used due to its flexibility, low cost, and ease of debugging. However, the slow simulation of complex designs has become the bottleneck in design flow. In this work, we explore the sources of computation overhead of RTL simulation and conclude them into four factors. To optimize these factors, we propose several techniques at the supernode level, node level, and bit level. Finally, we implement these techniques in a novel RTL simulator GSIM. GSIM succeeds in simulating XiangShan, the state-of-the-art open-source RISC-V processor. Besides, compared to Verilator, GSIM can achieve speedup of 7.34x for booting Linux on XiangShan, and 19.94x for running CoreMark on Rocket. Dingyi Zhao, Ninghui Sun, Yungang Bao |
DAC | 2 |
| 2021 | Collaboratively inspect large-area sewer pipe networks using pipe robotic capsulesabstractSewer pipe is an essential infrastructure in the city as it undertakes the transportation and circulation of wastewater resources. But sewer pipe it is easy to have faults and cause serious secondary urban accidents, such as road holes and road collapse. Because of the complex underground circumstance, inspecting large-area sewer pipes using closed-circuit television or periscope television is difficult. In this study, we proposed a collaborative sewer pipe inspection approach by using novel low-cost pipe robotic capsules, which capture the images of the pipeline inner walls when floating with the water flow. A set of workers collaboratively drop and salvage capsules to cover a large-area pipe network. The routes of workers and pipe capsules are optimized by a meta-heuristic algorithm integrating local search and simulated annealing. The deep neural network is used to recognize faults from raw captured images. A field experiment in Shenzhen was conducted to evaluate the performance of the proposed approach. The results demonstrate that it outperforms the naive inspection method with a shorter travel distance and less waiting time. It is also effective for inspecting the large-area sewer pipe networks with an overall precision of 0.92. It will help us to eliminate the potential safety risk of the public and promote the level of urban governance. Yu Gu 0025, Wei Tu 0001, Qingquan Li 0001, Tianhong Zhao, Dingyi Zhao, Song Zhu, Jiasong Zhu |
SIGSPATIAL/GIS | 5 |