Demo Data from VLDB 2026 / reviewers in the wild / expert
Yubei Guo
dblp:67/8351
· DBLP profile ↗
1ranked-venue papers
0as first author
1since 2021 · last 2024
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 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 · 87% Processor architecture and microarchitecture · 13% |
Topics — the 2 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 |
0.8 | 1 | 2024 | Instiller: Toward Efficient and Realistic RTL Fuzzing · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2024 |
Electronic design automation › hardware verification and test › functional verification
RTL verification |
0.8 | 1 | 2024 | Instiller: Toward Efficient and Realistic RTL Fuzzing · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2024 |
Methods — techniques the papers use, named apart from their topics
seed selection · 0.8mutation strategy · 0.8ant colony optimization · 0.8
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Instiller: Toward Efficient and Realistic RTL FuzzingabstractBugs exist in hardware, such as CPU. Unlike software bugs, these hardware bugs need to be detected before deployment. Previous fuzzing work in CPU bug detection has several disadvantages, e.g., the length of RTL input instructions keeps growing, and longer inputs are ineffective for fuzzing. In this paper, we propose INSTILLER (Instruction Distiller), an RTL fuzzer based on ant colony optimization (ACO). First, to keep the input instruction length short and efficient in fuzzing, it distills input instructions with a variant of ACO (VACO). Next, related work cannot simulate realistic interruptions well in fuzzing, and INSTILLER solves the problem of inserting interruptions and exceptions in generating the inputs. Third, to further improve the fuzzing performance of INSTILLER, we propose hardware-based seed selection and mutation strategies. We implement a prototype and conduct extensive experiments against state-of-the-art fuzzing work in real-world target CPU cores. In experiments, INSTILLER has 29.4% more coverage than DiFuzzRTL. In addition, 17.0% more mismatches are detected by INSTILLER. With the VACO algorithm, INSTILLER generates 79.3% shorter input instructions than DiFuzzRTL, demonstrating its effectiveness in distilling the input instructions. In addition, the distillation leads to a 6.7% increase in execution speed on average. Gen Zhang, Pengfei Wang 0010, Tai Yue, Danjun Liu, Yubei Guo, Kai Lu 0001 |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. | 5 |