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
11 - 20 van 23
- MAF: A Framework for Modular Static Analysis of Higher-Order Languages(2020)Series: Proceedings - 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020
Auteurs: Noah Van Es, Jens Van der Plas, Quentin Stiévenart, Coen De Roover
Pagina's: 37-42Aantal pagina's: 6 - 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 Stiévenart, Noah Van Es, Coen De Roover
Pagina's: 25-36Aantal pagina's: 12 - A Parallel Worklist Algorithm for Modular Analyses(2020)Series: Proceedings - 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020
Auteurs: Noah Van Es, Quentin Stiévenart, Jens Van der Plas, Coen De Roover
Pagina's: 1-12Aantal pagina's: 12 - Garbage-free Abstract Interpretation through Abstract Reference Counting(2019)Volume: 134
Auteurs: Noah Van Es, Quentin Stiévenart, Coen De Roover
Aantal pagina's: 34 - Effect-driven Flow Analysis(2019)Series: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Auteurs: Jens Nicolay, Quentin Stiévenart, Wolfgang De Meuter, Coen De Roover
Pagina's: 247-274Aantal pagina's: 28 - A General Method for Rendering Static Analyses for Diverse Concurrency Models Modular(2019)
Auteurs: Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover
Pagina's: 17-45 - Purity analysis for JavaScript through abstract interpretation(2017)
Auteurs: Jens Nicolay, Quentin Stiévenart, Wolfgang De Meuter, Coen De Roover
- Implementing a Performant Scheme Interpreter for the Web in asm.js(2017)
Auteurs: Noah Van Es, Quentin Stiévenart, Jens Nicolay, Theo D'Hondt, Coen De Roover
Pagina's: 62-81 - Static Taint Analysis of Event-driven Scheme Programs(2017)
Auteurs: Jonas De Bleser, Quentin Stiévenart, Jens Nicolay, Coen De Roover
Pagina's: 80-87Aantal pagina's: 8 - Scala-AM: A Modular Static Analysis Framework(2016)
Auteurs: Quentin Stiévenart, Maarten Vandercammen, Wolfgang De Meuter, Coen De Roover
Pagina's: 85-90Aantal pagina's: 6
Gelinkte datasets
1 - 1 van 1