EDBT 2026 Demo / reviewers in the wild / expert
Etienne Le Sueur
dblp:11/7452
· DBLP profile ↗
4ranked-venue papers
1as first author
0since 2021 · last 2013
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 3 · 1 first-authorSoftware engineering, systems software and programming languages · 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
3 papers |
Storage systems · 60% Energy-efficient computing · 40% | |
| Software engineering, system software, and programming languages
3 papers |
Program synthesis and code generation · 52% Operating systems · 34% Program verification · 14% | |
| Databases, data mining, and information retrieval
1 paper |
Transaction processing and concurrency control · 100% |
Topics — the 8 heaviest of 10, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Energy-efficient computing
power management |
0.2 | 2 | 2011 | Slow Down or Sleep, That Is the Question · USENIX ATC 2011 Koala: a platform for OS-level power management · EuroSys 2009 |
Transaction processing and concurrency control › ACID transactions
durability |
0.2 | 1 | 2013 | RapiLog: reducing system complexity through verification · EuroSys 2013 |
Transaction processing and concurrency control
logging |
0.2 | 1 | 2013 | RapiLog: reducing system complexity through verification · EuroSys 2013 |
Storage systems
crash consistency |
0.2 | 1 | 2013 | RapiLog: reducing system complexity through verification · EuroSys 2013 |
Storage systems
storage reliability |
0.2 | 1 | 2013 | RapiLog: reducing system complexity through verification · EuroSys 2013 |
Operating systems › i/o › i/o subsystem
device drivers |
0.1 | 1 | 2009 | Automatic device driver synthesis with termite · SOSP 2009 |
Program synthesis and code generation › domain-specific code generation
device driver synthesis |
0.1 | 1 | 2009 | Automatic device driver synthesis with termite · SOSP 2009 |
Operating systems
resource management |
0.0 | 1 | 2009 | Koala: a platform for OS-level power management · EuroSys 2009 |
Methods — techniques the papers use, named apart from their topics
verification · 0.5power modeling · 0.2platform characterization · 0.2program synthesis · 0.1formal specification · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2013 | RapiLog: reducing system complexity through verificationabstractDatabase management systems provide updates with guaranteed durability in the presence of OS crashes or power failures. Durability is achieved by performing synchronous writes to a transaction log on stable, non-volatile storage. The procedure is expensive and several techniques have been devised to ameliorate the impact on overall performance at the cost of increased system complexity. Gernot Heiser, Etienne Le Sueur, Adrian Danis, Aleksander Budzynowski, Tudor-Ioan Salomie, Gustavo Alonso |
EuroSys | 2 |
| 2011 | Slow Down or Sleep, That Is the Question
Etienne Le Sueur, Gernot Heiser |
USENIX ATC | 1 |
| 2009 | Koala: a platform for OS-level power managementabstractManaging the power consumption of computing platforms is a complicated problem thanks to a multitude of hardware configuration options and characteristics. Much of the academic research is based on unrealistic assumptions, and has, therefore, seen little practical uptake. We provide an overview of the difficulties facing power management schemes when used in real systems. David C. Snowdon, Etienne Le Sueur, Stefan M. Petters, Gernot Heiser |
EuroSys | 2 |
| 2009 | Automatic device driver synthesis with termiteabstractFaulty device drivers cause significant damage through down time and data loss. The problem can be mitigated by an improved driver development process that guarantees correctness by construction. We achieve this by synthesising drivers automatically from formal specifications of device interfaces, thus reducing the impact of human error on driver reliability and potentially cutting down on development costs. Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser |
SOSP | 4 |