Demo Data from EDBT 2026 / reviewers in the wild / expert
Brandon Fajardo
dblp:373/6718
· DBLP profile ↗
1ranked-venue papers
0as first author
1since 2021 · last 2024
0009-0000-9196-0020ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 1 · 1 since 2021Software engineering, systems software and programming languages · 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 2 heaviest of 2, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Electronic design automation › hardware test
fault localization |
0.8 | 1 | 2024 | RTL-Repair: Fast Symbolic Repair of Hardware Design Code · ASPLOS (3) 2024 |
Electronic design automation
hardware verification and test |
0.8 | 1 | 2024 | RTL-Repair: Fast Symbolic Repair of Hardware Design Code · ASPLOS (3) 2024 |
Methods — techniques the papers use, named apart from their topics
optimization · 0.8adaptive windowing · 0.8SMT solving · 0.8
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | RTL-Repair: Fast Symbolic Repair of Hardware Design CodeabstractWe present RTL-Repair, a semantics-based repair tool for register transfer level circuit descriptions. Compared to the previous state-of-the-art tool, RTL-Repair generates more correct repairs within seconds instead of minutes or even hours. We imagine that RTL-Repair could thus be integrated into an IDE to give developers repair suggestions promptly. Our new SMT-based one-step fault localization and repair algorithm for digital hardware designs uses optimization to generate minimal changes that a user can easily understand. A novel adaptive windowing approach allows us to avoid scalability issues by focusing the repair search on the parts of the test that matter the most. RTL-Repair provides repairs that pass their testbench for 9 out of 12 real bugs collected from open-source hardware projects. Two repairs fully match the ground truth, one partially, four more repairs change the correct expression but in a way that overfits the testbench, and only three repairs differ strongly from the ground truth. Kevin Laeufer, Brandon Fajardo, Abhik Ahuja, Vighnesh Iyer, Borivoje Nikolic, Koushik Sen |
ASPLOS (3) | 2 |