< Terug naar vorige pagina
Onderzoeker
Quentin Stiévenart
- Trefwoorden:Informatica
- Disciplines:Programmeertalen en -technologieën, Theoretische informatica niet elders geclassificeerd, Parallel programmeren, Taalontwerp, -constructies en -eigenschappen, Coderingstools en -technieken, testen en debuggen, Software engineering
Affiliaties
- Software Languages Lab (Onderzoeksgroep)
Lid
Vanaf8 dec 2015 → Heden - Informatica en Toegepaste Informatica (Departement)
Lid
Vanaf1 okt 2021 → 30 sep 2022 - Informatica en Toegepaste Informatica (Departement)
Lid
Vanaf8 apr 2019 → 14 dec 2022 - Faculteit van de Wetenschappen (Faculteit)
Lid
Vanaf7 aug 2015 → 25 mei 2018 - Informatica en Toegepaste Informatica (Departement)
Lid
Vanaf1 aug 2014 → 20 okt 2022
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 23
- Change Pattern Detection for Optimising Incremental Static Analysis(2023)Series: Proceedings - 2023 IEEE 23rd International Working Conference on Source Code Analysis and Manipulation, SCAM 2023
Auteurs: Cindy Wauters, Jens Van der Plas, Quentin Pierre Stiévenart, Coen De Roover
Pagina's: 49-60Aantal pagina's: 12 - An empirical evaluation of quasi-static executable slices(2023)
Auteurs: Quentin Pierre Stiévenart, Dave Binkley, Coen De Roover
- Result Invalidation for Incremental Modular Analyses(2023)Series: Lecture Notes in Computer ScienceVolume: 13881
Auteurs: Jens Van der Plas, Quentin Stiévenart, Coen De Roover
Pagina's: 296-319Aantal pagina's: 24 - Security Risks of Porting C Programs to WebAssembly(2022)Series: Proceedings of the ACM Symposium on Applied Computing
Auteurs: Quentin Stiévenart, Coen De Roover, Mohammad Ghafari
Pagina's: 1713-1722Aantal pagina's: 10 - Summary-Based Compositional Analysis for Soft Contract Verification(2022)Edition: 22Series: Proceedings - 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation, SCAM 2022
Auteurs: Bram Vandenbogaerde, Quentin Stiévenart, Coen De Roover
Pagina's: 186-196Aantal pagina's: 11 - QSES: Quasi-Static Executable Slicing(2021)
Auteurs: Quentin 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 Stiévenart, Noah Van Es, Jens Van der Plas, Coen De Roover
- The Security Risk of Lacking Compiler Protection in WebAssembly(2021)Series: IEEE International Conference on Software Quality, Reliability and Security, QRS
Auteurs: Quentin Stiévenart, Coen De Roover, Mohammad Ghafari
Pagina's: 132-139Aantal pagina's: 8 - Fuzzing channel-based concurrency runtimes using types and effects(2020)
Auteurs: Quentin Stiévenart, Magnus Madsen
Pagina's: 1-27 - Compositional Information Flow Analysis for WebAssembly Programs(2020)Series: Proceedings - 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020
Auteurs: Quentin Stiévenart, Coen De Roover
Pagina's: 13-24Aantal pagina's: 12
Gelinkte datasets
1 - 1 van 1