Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page
Demo Data from EDBT 2026 / reviewers in the wild / expert

Yongye Zhu

dblp:346/1492 · DBLP profile ↗
← Back
2ranked-venue papers
1as first author
2since 2021 · last 2025
0000-0002-6191-8187ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 2 · 1 first-author · 2 since 2021Software engineering, systems software and programming languages · 2 · 1 first-author · 2 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.

Network and information security
1 paper
Hardware security and side channels · 100%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Electronic design automation · 100%
Software engineering, system software, and programming languages
1 paper
Operating systems · 100%

Topics — the 6 heaviest of 6, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Hardware security and side channels
microarchitectural side channel		 0.912025
Controlled Preemption: Amplifying Side-Channel Attacks from Userspace · ASPLOS (2) 2025
Hardware security and side channels
side-channel attack		 0.912025
Controlled Preemption: Amplifying Side-Channel Attacks from Userspace · ASPLOS (2) 2025
Electronic design automation › hardware verification and test
formal verification		 0.912025
H-Houdini: Scalable Invariant Learning · ASPLOS (1) 2025
Electronic design automation › hardware verification and test
hardware verification		 0.912025
H-Houdini: Scalable Invariant Learning · ASPLOS (1) 2025
Operating systems › resource management › process management
CPU scheduling		 0.312025
Controlled Preemption: Amplifying Side-Channel Attacks from Userspace · ASPLOS (2) 2025
Operating systems › resource management › process management › CPU scheduling
preemptive scheduling		 0.312025
Controlled Preemption: Amplifying Side-Channel Attacks from Userspace · ASPLOS (2) 2025

Methods — techniques the papers use, named apart from their topics

userspace attack · 1.7controlled preemption · 1.7invariant inference · 0.9formal methods · 0.9
YearPublicationVenuePosition
2025 H-Houdini: Scalable Invariant Learning
abstract
Formal verification is a critical task in hardware design today. Yet, while there has been significant progress in improving technique automation and efficiency, scaling to large hardware designs remains a significant challenge.
Sushant Dinesh, Yongye Zhu, Christopher W. Fletcher
 ASPLOS (1)2
2025 Controlled Preemption: Amplifying Side-Channel Attacks from Userspace
abstract
Microarchitectural side channels are an ongoing threat in today's systems. Yet, many side-channel methodologies suffer from low temporal resolution measurement, which can either preclude or significantly complicate an attack.
Yongye Zhu, Boru Chen, Zirui Neil Zhao, Christopher W. Fletcher
 ASPLOS (2)1