EDBT 2026 Demo / reviewers in the wild / expert
François Pessaux
dblp:51/1728
· DBLP profile ↗
4ranked-venue papers
1as first author
1since 2021 · last 2026
0000-0002-4219-3854ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 3 · 1 first-authorArtificial intelligence and machine learning · 1 · 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
2 papers |
Program analysis · 72% Programming languages and type systems · 28% |
Topics — the 6 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program analysis › flow analysis
exception analysis |
0.1 | 2 | 2000 | Type-based analysis of uncaught exceptions · ACM Trans. Program. Lang. Syst. 2000 Type-Based Analysis of Uncaught Exceptions · POPL 1999 |
Programming languages and type systems › computational effects
effect systems |
0.0 | 1 | 2000 | Type-based analysis of uncaught exceptions · ACM Trans. Program. Lang. Syst. 2000 |
Program analysis › control flow analysis
exception flow analysis |
0.0 | 1 | 2000 | Type-based analysis of uncaught exceptions · ACM Trans. Program. Lang. Syst. 2000 |
Program analysis
type-based analysis |
0.0 | 1 | 2000 | Type-based analysis of uncaught exceptions · ACM Trans. Program. Lang. Syst. 2000 |
Program analysis
static analysis |
0.0 | 1 | 1999 | Type-Based Analysis of Uncaught Exceptions · POPL 1999 |
Programming languages and type systems
type inference |
0.0 | 1 | 1999 | Type-Based Analysis of Uncaught Exceptions · POPL 1999 |
Methods — techniques the papers use, named apart from their topics
row types · 0.1unification-based type inference · 0.0effect systems · 0.0control flow analysis · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | A Rocq Prover STL Formalization with Transformations for Mission Planning
Danil Berrah, François Pessaux, Alexandre Chapoutot |
J. Autom. Reason. | 2 |
| 2012 | ML Dependency Analysis for Assessors
Philippe Ayrault, Vincent Benayoun, Catherine Dubois, François Pessaux |
SEFM | 4 |
| 2000 | Type-based analysis of uncaught exceptionsabstractThis article presents a program analysis to estimate uncaught exceptions in ML programs. This analysis relies on unification-based type inference in a nonstandard type system, using rows to approximate both the flow of escaping exceptions (a la effect systems) and the flow of result values (a la control-flow analyses). The resulting analysis is efficient and precise; in particular, arguments carried by exceptions are accurately handled. Xavier Leroy, François Pessaux |
ACM Trans. Program. Lang. Syst. | 2 |
| 1999 | Type-Based Analysis of Uncaught ExceptionsabstractThis paper presents a program analysis to estimate uncaught exceptions in ML programs. This analysis relies on unification-based type inference in a non-standard type system, using rows to approximate both the flow of escaping exceptions (a la effect systems) and the flow of result values (a la control-flow analyses). The resulting analysis is efficient and precise; in particular, arguments carried by exceptions are accurately handled. François Pessaux, Xavier Leroy |
POPL | 1 |