Demo Data from SIGIR 2026 / reviewers in the wild / expert
Quentin Guilmant
dblp:378/1165
· DBLP profile ↗
3ranked-venue papers
3as first author
3since 2021 · last 2026
0009-0004-7097-0595ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 3 · 3 first-author · 3 since 2021Software 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 |
Program verification · 100% |
Topics — the 1 heaviest of 1, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program verification
termination analysis |
0.8 | 1 | 2024 | The 2-Dimensional Constraint Loop Problem Is Decidable · ICALP 2024 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | The Value Problem for Weighted Timed Games with Two Clocks is Undecidable
Quentin Guilmant, Joël Ouaknine, Isa Vialard |
FoSSaCS | 1 |
| 2024 | Inaproximability in Weighted Timed Games
Quentin Guilmant, Joël Ouaknine |
CONCUR | 1 |
| 2024 | The 2-Dimensional Constraint Loop Problem Is DecidableabstractA linear constraint loop is specified by a system of linear inequalities that define the relation between the values of the program variables before and after a single execution of the loop body. In this paper we consider the problem of determining whether such a loop terminates, i.e., whether all maximal executions are finite, regardless of how the loop is initialised and how the non-determinism in the loop body is resolved. We focus on the variant of the termination problem in which the loop variables range over ℝ. Our main result is that the termination problem is decidable over the reals in dimension 2. A more abstract formulation of our main result is that it is decidable whether a binary relation on ℝ² that is given as a conjunction of linear constraints is well-founded. Quentin Guilmant, Engel Lefaucheux, Joël Ouaknine, James Worrell 0001 |
ICALP | 1 |