EDBT 2026 Demo / reviewers in the wild / expert
Josselin Giet
dblp:248/0690
· DBLP profile ↗
3ranked-venue papers
2as first author
2since 2021 · last 2023
0000-0001-5246-9159ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 1 · 1 since 2021Security and privacy · 1 · 1 first-authorSoftware engineering, systems software and programming languages · 1 · 1 first-author · 1 since 2021
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 |
Concurrent programming · 77% Operating systems · 23% |
Topics — the 2 heaviest of 2, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Concurrent programming
concurrency bug detection |
0.7 | 1 | 2023 | OFence: Pairing Barriers to Find Concurrency Bugs in the Linux Kernel · EuroSys 2023 |
Operating systems › kernel
linux kernel |
0.2 | 1 | 2023 | OFence: Pairing Barriers to Find Concurrency Bugs in the Linux Kernel · EuroSys 2023 |
Methods — techniques the papers use, named apart from their topics
static analysis · 0.7barrier pairing · 0.7
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | OFence: Pairing Barriers to Find Concurrency Bugs in the Linux KernelabstractKnowing which functions may execute concurrently is key to finding concurrency-related bugs. Existing tools infer the possibility of concurrency using dynamic analysis or by pairing functions that use the same locks. Code that relies on more relaxed concurrency controls is, by and large, out of the reach of existing concurrency-related bug-tracking tools. Baptiste Lepers, Josselin Giet, Willy Zwaenepoel, Julia Lawall |
EuroSys | 2 |
| 2023 | A Product of Shape and Sequence Abstractions
Josselin Giet, Félix Ridoux, Xavier Rival |
SAS | 1 |
| 2019 | Towards Zero Alarms in Sound Static Analysis of Finite State Machines
Josselin Giet, Laurent Mauborgne, Daniel Kästner, Christian Ferdinand |
SAFECOMP | 1 |