Quentin Stiévenart

Registered user since Sun 30 Oct 2016

Name: Quentin Stiévenart

Country: Belgium

Affiliation: Vrije Universiteit Brussel, Belgium

Personal website: https://soft.vub.ac.be/~qstieven

Research interests: abstract interpretation, concurrency, static analysis

Contributions

ECOOP 2021Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Artifact Evaluation Co-Chair in Organizing Committee
ECOOP 2020Committee Member in Artifact Evaluation Committee within the Artifacts-track
SPLASH 2020Author of Fuzzing Channel-based Concurrency Runtimes Using Types and Effects within the OOPSLA-track
ICFP 2020Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
SPLASH 2019Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
VMCAI 2019Author of Effect-driven Flow Analysis within the VMCAI 2019-track
ECOOP 2019Author of Garbage-free Abstract Interpretation through Abstract Reference Counting within the Research Papers-track
Author of Garbage-free Abstract Interpretation through Abstract Reference Counting within the Artifacts-track
Author of Garbage-free Abstract Interpretation through Abstract Reference Counting within the Posters-track
ICFP 2019Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
SPLASH 2018Committee Member in Artifact Evaluation Committee within the Artifacts-track
ELS 2017Author of Static Taint Analysis of Event-driven Scheme Programs within the ELS 2017-track
Scala 2016Author of Building a Modular Static Analysis Framework in Scala (Tool Paper) within the Scala-track
SPLASH 2017Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
ECOOP 2017Author of Mailbox Abstractions for Static Analysis of Actor Programs within the ECOOP Research Papers-track