EDBT 2026 Demo / reviewers in the wild / expert
Hao Zhang 0068
dblp:55/2270-68
· DBLP profile ↗
10ranked-venue papers
2as first author
7since 2021 · last 2026
0000-0002-3947-8947ORCID · conflict
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 7 · 1 first-author · 4 since 2021Graphics, computer vision, multimedia, augmented reality and games · 3Systems, architecture and hardware · 2 · 1 first-author · 2 since 2021Databases, data management, data science and information retrieval · 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 · 100% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Electronic design automation › physical design › layout pattern analysis
layout pattern matching |
1.0 | 1 | 2026 | An Efficient Algorithm for Exact SRAM Verification via Novel Pattern-Matching Techniques · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2026 |
Electronic design automation › physical design
layout verification |
1.0 | 1 | 2026 | An Efficient Algorithm for Exact SRAM Verification via Novel Pattern-Matching Techniques · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2026 |
Electronic design automation › hardware verification and test
pattern matching |
1.0 | 1 | 2026 | An Efficient Algorithm for Exact SRAM Verification via Novel Pattern-Matching Techniques · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2026 |
Electronic design automation
physical design |
1.0 | 1 | 2026 | An Efficient Algorithm for Exact SRAM Verification via Novel Pattern-Matching Techniques · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2026 |
Methods — techniques the papers use, named apart from their topics
spatial indexing · 1.0overlap detection · 1.0localization techniques · 1.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | An Efficient Algorithm for Exact SRAM Verification via Novel Pattern-Matching TechniquesabstractAs semiconductor manufacturing advances into ultra-scaled technology nodes, Static Random Access Memory (SRAM) verification faces critical challenges stemming from increasingly stringent geometries, heightened process variability, and the sheer density of contemporary designs. Existing methodologies, notably Design Rule Checking and conventional pattern matching, often fall short in capturing the intricate multilayer interactions and subtle geometric deviations characteristic of advanced SRAM layouts. These limitations can lead to missed layout anomalies and potential functional failures, resulting in diminished yield. This paper introduces a specialized pattern-matching-based algorithm designed to address these challenges in SRAM verification. The algorithm integrates novel localization techniques, efficient spatial indexing, and an overlap detection procedure that together achieve exact verification while delivering substantial improvements in runtime performance. Experimental results confirm that this approach not only maintains 100% detection accuracy on complex SRAM benchmarks but also achieves speedups ranging from threefold to over twentyfold compared to state-of-the-art methods, and from twofold to several thousandfold on classic single-layer pattern matching datasets. Sunkanghong Wang, Qingsheng Qiu, Hao Zhang 0068, Lijun Wei, Qiang Liu 0031 |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. | 3 |
| 2025 | Pocket convolution Mamba for brain tumor segmentation
Hao Zhang 0068, Yunhao Zhao, Lianjie Wang, Wenyin Zhang, Yeh-Cheng Chen, Naixue Xiong |
J. Supercomput. | 1 |
| 2024 | A block-based heuristic search algorithm for the two-dimensional guillotine strip packing problem
Hao Zhang 0068, Shaowen Yao 0003, Shenghui Zhang, Jiewu Leng, Lijun Wei, Qiang Liu 0031 |
Eng. Appl. Artif. Intell. | 1 |
| 2024 | Heuristic approaches for the cutting path problem
Tai Zhang, Shaowen Yao 0003, Qiang Liu 0031, Lijun Wei, Hao Zhang 0068 |
Expert Syst. Appl. | 5 |
| 2023 | Classification model-based assisted preselection and environment selection approach for evolutionary expensive bilevel optimization
Libin Lin, Jiewu Leng, Shaowen Yao 0003, Hao Zhang 0068, Lijun Wei, Qiang Liu 0031 |
Appl. Intell. | 5 |
| 2023 | Combined knowledge transfer and adaptive coordinate systems approach for evolutionary bilevel optimization
Libin Lin, Hao Zhang 0068, Jiewu Leng, Lijun Wei, Qiang Liu 0031 |
Expert Syst. Appl. | 3 |
| 2023 | Classification model-based and assisted environment selection for evolutionary algorithms to solve high-dimensional expensive problems
Libin Lin, Hao Zhang 0068, Naixue Xiong, Jiewu Leng, Lijun Wei, Qiang Liu 0031 |
Inf. Sci. | 3 |
| 2020 | An Enhanced Whale Optimization Algorithm for the Two-Dimensional Irregular Strip Packing Problem
Qiang Liu 0031, Zehui Huang, Hao Zhang 0068, Lijun Wei |
IEA/AIE | 3 |
| 2020 | A Heuristic Approach to the Three Dimensional Strip Packing Problem Considering Practical Constraints
Qiang Liu 0031, Dehao Lin, Hao Zhang 0068, Lijun Wei |
IEA/AIE | 3 |
| 2020 | A Heuristic for the Two-Dimensional Irregular Bin Packing Problem with Limited Rotations
Qiang Liu 0031, Jiawei Zeng, Hao Zhang 0068, Lijun Wei |
IEA/AIE | 3 |