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

ProWeb21	Author of Wassail: a WebAssembly Static Analysis Library within the ProWeb21-track
ECOOP 2021	Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track Artifact Evaluation Co-Chair in Organizing Committee
ECOOP and ISSTA 2021	ECOOP Artificat 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