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. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page
Demo Data from EDBT 2026 / reviewers in the wild / expert

Thibault Suzanne

dblp:184/9932 · DBLP profile ↗
← Back
3ranked-venue papers
2as first author
1since 2021 · last 2024
0009-0003-2517-0057ORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 3 · 2 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 analysis · 100%

Topics — the 3 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Program analysis › static analysis › modular analysis
compositional static analysis		 0.812024
Enhancing Compositional Static Analysis with Dynamic Analysis · ASE 2024
Program analysis
static analysis		 0.812024
Enhancing Compositional Static Analysis with Dynamic Analysis · ASE 2024
Program analysis
dynamic analysis		 0.212024
Enhancing Compositional Static Analysis with Dynamic Analysis · ASE 2024

Methods — techniques the papers use, named apart from their topics

static analysis · 0.8dynamic analysis · 0.8
YearPublicationVenuePosition
2024 Enhancing Compositional Static Analysis with Dynamic Analysis
abstract
In this paper we introduce a novel method for improving static analysis of real code by using dynamic analysis. We have implemented our technique to enhance the Infer static analyzer [6] for Erlang by supplementing its analysis with data obtained by FAUSTA [24] dynamic analysis. We present the technical details of the algorithm combining static and dynamic analysis and a case study on its evaluation on WhatsApp's Erlang code to detect software defects. Results show an increase in detected bugs in 76% of the runs when data from dynamic analysis is used. In particular, on average, data provided by dynamic analysis for 1 function enables static analysis of 2.1 additional functions. Moreover, dynamic data enabled analysis of a property not verifiable using static analysis alone.
Dino Distefano, Matteo Marescotti, Cons T. Åhs, Sopot Cela, Gabriela Cunha Sampaio, Radu Grigore, Ákos Hajdu, Timotej Kapus, Ke Mao, Thibault Suzanne
 ASE10
2018 Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models
Thibault Suzanne, Antoine Miné
 APLAS1
2016 From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models
Thibault Suzanne, Antoine Miné
 SAS1