< Terug naar vorige pagina
Onderzoeker
Quentin Stiévenart
- Trefwoorden:Informatica
- Disciplines:Theoretische informatica niet elders geclassificeerd, Coderingstools en -technieken, testen en debuggen, Taalontwerp, -constructies en -eigenschappen, Parallel programmeren, Software engineering, Programmeertalen en -technologieën
Affiliaties
- Informatica en Toegepaste Informatica (Departement)
Lid
Vanaf1 okt 2021 → 30 sep 2022 - Informatica en Toegepaste Informatica (Departement)
Lid
Vanaf8 apr 2019 → 14 dec 2022 - Software Languages Lab (Onderzoeksgroep)
Lid
Vanaf8 dec 2015 → Heden - Faculteit van de Wetenschappen (Faculteit)
Lid
Vanaf7 aug 2015 → 25 mei 2018 - Informatica en Toegepaste Informatica (Departement)
Lid
Vanaf1 aug 2014 → 8 jan 2023
Projecten
1 - 1 of 1
- Modulaire statische analyse voor de zachte verificatie van contracten in gedistribueerde actor programma'sVanaf1 nov 2021 → HedenFinanciering: FWO mandaten
Publicaties
1 - 10 van 24
- Developers Struggle with Authentication in Blazor WebAssembly389(2022)
Auteurs: Pascal Marc André, Quentin Pierre Stiévenart, Mohammad Ghafari
Pagina's: 389-393 - RacketLogger: Logging and Visualising Changes in DrRacket(2022)
Auteurs: Turgut Reis Kursun, Jens Van der Plas, Quentin Pierre Stiévenart, Coen De Roover
Aantal pagina's: 8 - Static Stack-Preserving Intra-Procedural Slicing of WebAssembly Binaries(2022)Series: Proceedings - International Conference on Software Engineering
Auteurs: Quentin Pierre Stiévenart, Dave Binkley, Coen De Roover
Pagina's: 2031-2042Aantal pagina's: 12 - Security Risks of Porting C Programs to WebAssembly(2022)Series: Proceedings of the ACM Symposium on Applied Computing
Auteurs: Quentin Pierre Stiévenart, Coen De Roover, Mohammad Ghafari
Pagina's: 1713-1722Aantal pagina's: 10 - Summary-Based Compositional Analysis for Soft Contract Verification(2022)Edition: 22
Auteurs: Bram Vandenbogaerde, Quentin Pierre Stiévenart, Coen De Roover
Pagina's: 186-196Aantal pagina's: 11 - QSES: Quasi-Static Executable Slicing(2021)
Auteurs: Quentin Pierre Stiévenart, David Binkley, Coen De Roover
Pagina's: 209-213Aantal pagina's: 4 - A Parallel Worklist Algorithm and Its Exploration Heuristics for Static Modular Analyses(2021)
Auteurs: Quentin Pierre Stiévenart, Noah Van Es, Jens Van der Plas, Coen De Roover
- The Security Risk of Lacking Compiler Protection in WebAssembly(2021)Series: 2021 IEEE 21ST INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2021)
Auteurs: Quentin Pierre Stiévenart, Coen De Roover, Mohammad Ghafari
Pagina's: 132-139 - Fuzzing channel-based concurrency runtimes using types and effects(2020)
Auteurs: Quentin Pierre Stiévenart, Magnus Madsen
Pagina's: 1-27 - Incremental Flow Analysis through Computational Dependency Reification(2020)Series: Proceedings - 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020
Auteurs: Jens Van der Plas, Quentin Pierre Stiévenart, Noah Van Es, Coen De Roover
Pagina's: 25-36Aantal pagina's: 12