Quentin Stiévenart

Registered user since Sun 30 Oct 2016

Name: Quentin Stiévenart

Country: Belgium

Affiliation: Vrije Universiteit Brussel

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

Research interests: abstract interpretation, concurrency, static analysis

Contributions

ECOOP 2021 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Artifact Evaluation Co-Chair in Organizing Committee
SLE 2020 Committee Member in Artifact Evaluation Committee within the SLE-track
ECOOP 2020 Committee Member in Artifact Evaluation Committee within the Artifacts-track
SPLASH 2020 Author of Fuzzing Channel-Based Concurrency Runtimes using Types and Effects within the OOPSLA-track
ICFP 2020 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
SPLASH 2019 Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
VMCAI 2019 Author of Effect-driven Flow Analysis within the VMCAI 2019-track
ECOOP 2019 Author 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 2019 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
SPLASH 2018 Committee Member in Artifact Evaluation Committee within the Artifacts-track
ELS 2017 Author of Static Taint Analysis of Event-driven Scheme Programs within the ELS 2017-track
Scala 2016 Author of Building a Modular Static Analysis Framework in Scala (Tool Paper) within the Scala-track
SPLASH 2017 Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
ECOOP 2017 Author of Mailbox Abstractions for Static Analysis of Actor Programs within the ECOOP Research Papers-track