EDBT 2026 Demo / reviewers in the wild / expert
Fabrice Mérillon
dblp:34/4781
· DBLP profile ↗
2ranked-venue papers
1as first author
0since 2021 · last 2000
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 1 first-author
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 |
Operating systems · 61% Programming languages and type systems · 30% Software testing · 9% | |
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Electronic design automation · 100% |
Topics — the 6 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Operating systems › i/o › i/o subsystem
device drivers |
0.0 | 1 | 2000 | A DSL Approach to Improve Productivity and Safety in Device Drivers Development · ASE 2000 |
Operating systems › i/o › i/o subsystem › device drivers
device driver development |
0.0 | 1 | 2000 | A DSL Approach to Improve Productivity and Safety in Device Drivers Development · ASE 2000 |
Programming languages and type systems
domain-specific languages |
0.0 | 1 | 2000 | A DSL Approach to Improve Productivity and Safety in Device Drivers Development · ASE 2000 |
Electronic design automation
hardware description language |
0.0 | 1 | 2000 | Devil: An IDL for Hardware Programming · OSDI 2000 |
Electronic design automation
hardware verification and test |
0.0 | 1 | 2000 | Devil: An IDL for Hardware Programming · OSDI 2000 |
Software testing
mutation testing |
0.0 | 1 | 2000 | A DSL Approach to Improve Productivity and Safety in Device Drivers Development · ASE 2000 |
Methods — techniques the papers use, named apart from their topics
mutation testing · 0.0domain-specific language · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2000 | A DSL Approach to Improve Productivity and Safety in Device Drivers DevelopmentabstractAlthough new peripheral devices are emerging at a frantic pace and require the fast release of drivers, little progress has been made to improve the development of such device drivers. Too often, this development consists of decoding hardware intricacies, based on inaccurate documentation. Then, assembly-level operations need to be used to interact with the device. These low-level operations reduce the readability of the driver and prevent safety properties from being checked. This paper presents an approach based on domain-specific languages (DSLs) to overcome these problems. We define a language, named Devil (DEVice Interaction Language), dedicated to defining the basic communication with a device. Unlike a general-purpose language, Devil allows a description to be checked for consistency. This not only improves the safety of the interaction with the device but also uncovers bugs early in the development process. To asses our approach, we have shown that Devil is expressive enough to specify a large number of devices. To evaluate productivity and safety improvements over traditional development in C, we report an experiment based on mutation testing. Laurent Réveillère, Fabrice Mérillon, Charles Consel, Renaud Marlet, Gilles Muller |
ASE | 2 |
| 2000 | Devil: An IDL for Hardware Programming
Fabrice Mérillon, Laurent Réveillère, Charles Consel, Renaud Marlet, Gilles Muller |
OSDI | 1 |