Demo Data from VLDB 2026 / reviewers in the wild / expert
Kunal Singhal
dblp:241/4262
· DBLP profile ↗
1ranked-venue papers
0as first author
0since 2021 · last 2019
—ORCID · unresolved
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 1
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 |
Embedded and real-time systems · 46% Electronic design automation · 30% Reconfigurable computing and FPGAs · 23% |
Topics — the 5 heaviest of 5, 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.4 | 1 | 2019 | DHOOM: Reusing Design-for-Debug Hardware for Online Monitoring · DAC 2019 |
Reconfigurable computing and FPGAs › reconfigurable architecture
reconfigurable fabric |
0.4 | 1 | 2019 | DHOOM: Reusing Design-for-Debug Hardware for Online Monitoring · DAC 2019 |
Embedded and real-time systems
runtime monitoring |
0.4 | 1 | 2019 | DHOOM: Reusing Design-for-Debug Hardware for Online Monitoring · DAC 2019 |
Embedded and real-time systems › runtime monitoring
runtime verification |
0.4 | 1 | 2019 | DHOOM: Reusing Design-for-Debug Hardware for Online Monitoring · DAC 2019 |
Electronic design automation › hardware verification and test
design-for-debug |
0.1 | 1 | 2019 | DHOOM: Reusing Design-for-Debug Hardware for Online Monitoring · DAC 2019 |
Methods — techniques the papers use, named apart from their topics
software instrumentation · 0.4dynamic monitor selection · 0.4
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2019 | DHOOM: Reusing Design-for-Debug Hardware for Online MonitoringabstractRuntime verification employs dedicated hardware or software monitors to check whether program properties hold at runtime. However, these monitors often incur high area and performance overheads depending on whether they are implemented in hardware or software. In this work, we propose DHOOM, an architectural framework for runtime monitoring of program assertions, which exploits the combination of a reconfigurable fabric present alongside a processor core with the vestigial on-chip Design-for-Debug hardware. This combination of hardware features allows DHOOM to minimize the overall performance overhead of runtime verification, even when subject to a given area constraint. We present an algorithm for dynamically selecting an effective subset of assertion monitors that can be accommodated in the available programmable fabric, while instrumenting the remaining assertions in software. We show that our proposed strategy, while respecting area constraints, reduces the performance overhead of runtime verification by up to 32% when compared with a baseline of software-only monitors. Neetu Jindal, Sandeep Chandran, Preeti Ranjan Panda, Sanjiva Prasad, Abhay Mitra, Kunal Singhal, Shikhar Tuli |
DAC | 6 |