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.

Fabrice Mérillon

dblp:34/4781 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Operating systems › i/o › i/o subsystem
device drivers
0.012000
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.012000
A DSL Approach to Improve Productivity and Safety in Device Drivers Development · ASE 2000
Programming languages and type systems
domain-specific languages
0.012000
A DSL Approach to Improve Productivity and Safety in Device Drivers Development · ASE 2000
Electronic design automation
hardware description language
0.012000
Devil: An IDL for Hardware Programming · OSDI 2000
Electronic design automation
hardware verification and test
0.012000
Devil: An IDL for Hardware Programming · OSDI 2000
Software testing
mutation testing
0.012000
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
YearPublicationVenuePosition
2000 A DSL Approach to Improve Productivity and Safety in Device Drivers Development
abstract
Although 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
ASE2
2000 Devil: An IDL for Hardware Programming
Fabrice Mérillon, Laurent Réveillère, Charles Consel, Renaud Marlet, Gilles Muller
OSDI1