Demo Data from EDBT 2026 / reviewers in the wild / expert
Daniel Stanley
dblp:253/7515
· DBLP profile ↗
1ranked-venue papers
0as first author
0since 2021 · last 2020
—ORCID · unresolved
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 1Theory of computation · 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.
| Software engineering, system software, and programming languages
1 paper |
Programming languages and type systems · 100% | |
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Electronic design automation · 100% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Programming languages and type systems
domain-specific languages |
0.4 | 1 | 2020 | fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components · CAV (1) 2020 |
Programming languages and type systems › domain-specific languages
embedded domain-specific languages |
0.4 | 1 | 2020 | fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components · CAV (1) 2020 |
Electronic design automation › hardware verification and test
hardware verification |
0.4 | 1 | 2020 | fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components · CAV (1) 2020 |
Methods — techniques the papers use, named apart from their topics
python metaprogramming · 0.9
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2020 | fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification ComponentsabstractWhile hardware generators have drastically improved design productivity, they have introduced new challenges for the task of verification. To effectively cover the functionality of a sophisticated generator, verification engineers require tools that provide the flexibility of metaprogramming. However, flexibility alone is not enough; components must also be portable in order to encourage the proliferation of verification libraries as well as enable new methodologies. This paper introduces fault , a Python embedded hardware verification language that aims to empower design teams to realize the full potential of generators. Leonard Truong, Steven Herbst, Rajsekhar Setaluri, Makai Mann, Ross Daly, Keyi Zhang, Caleb Donovick, Daniel Stanley, Mark Horowitz, Clark W. Barrett, Pat Hanrahan |
CAV (1) | 8 |