Quentin Stiévenart

Registered user since Sun 30 Oct 2016

Name:Quentin Stiévenart
Country:Belgium
Affiliation:Vrije Universiteit Brussel
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