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

Twitter:https://twitter.com/acieroid

Research interests:abstract interpretation, concurrency, static analysis

Contributions

MSR 2023	Author of Wasmizer: Curating WebAssembly-driven Projects on GitHub within the Technical Papers-track
ICFP 2023	Artifact Evaluation Co-Chair in Organizing Committee Co-chair in Artifact Evaluation Committee within the Artifact Evaluation-track
ECOOP 2023	Committee Member in Artifact Evaluation Committee within the Artifacts-track Committee Member in Extended Review Committee within the Research Papers-track
VMCAI 2023	Author of Result Invalidation for Incremental Modular Analyses within the VMCAI 2023-track
ProWeb 2022	Committee Member in Organizing Committee within the ProWeb 2022 (cancelled)-track
ICFP 2022	Belgium in Evaluators within the Artifact Evaluation-track
ECOOP 2022	Committee Member in Program Committee within the Doctoral Symposium-track Committee Member in Artifact Evaluation Committee within the Artifacts-track Committee Member in Extended Review Committee within the Research Papers-track Session Chair of Program Analysis 2 (part of Research Papers)
PAW 2022	Author of Building Static Analyses for WebAssembly Binaries with Wassail within the PAW 2022-track Committee Member in Program Committee within the PAW 2022-track Committee Member in Organizing Committee within the PAW 2022-track
Scala 2022	Committee Member in Program Committee within the Scala 2022-track
ICSE 2022	Author of Static Stack-Preserving Intra-Procedural Slicing of WebAssembly Binaries within the Technical Track-track
ELS 2022	Author of Research Paper: RacketLogger: Logging and Visualising Changes in DrRacket within the ELS 2022-track
SPLASH 2021	Committee Member in Judges within the Student Research Competition-track Committee Member in Reviewers within the Student Research Competition-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
ProWeb21	Author of Wassail: a WebAssembly Static Analysis Library within the ProWeb21-track
SPLASH 2020	Author of Fuzzing Channel-Based Concurrency Runtimes using Types and Effects within the OOPSLA-track
SLE 2020	Committee Member in Artifact Evaluation Committee within the SLE-track
ECOOP 2020	Committee Member in Artifact Evaluation Committee within the Artifacts-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
ICFP 2019	Committee Member in Artifact Evaluation Committee within the Research Artifacts-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
VMCAI 2019	Author of Effect-driven Flow Analysis within the VMCAI 2019-track
SPLASH 2018	Committee Member in Artifact Evaluation Committee within the Artifacts-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
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