Quentin Stiévenart

Software Languages Lab
Academisch personeel, Informatica en Toegepaste Informatica

1050
Belgium
Pleinlaan 2
1050 Brussels
Belgium

Bron: Scopus
Berekend op basis van aantal in Pure opgeslagen publicaties en citaties van Scopus

Onderzoeksresultaten per jaar

Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Vingerafdruk

Verdiep u in de onderzoeksgebieden waarop Quentin Stiévenart actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.

12 Soortgelijke profielen

1 Afgelopen

OZR3300: Solide, Schaalbare, en Precieze Abstracte Interpretatie van Diverse Concurrentiemodellen en Modelcombinaties
Stiévenart, Q. & De Roover, C.
1/10/18 → 30/09/19
Project: Fundamenteel

37 Citaties
4 h-Index
12 Conference paper
4 Poster
4 Article
2 Unpublished abstract
Meer

Wassail: a WebAssembly Static Analysis Library
Stiévenart, Q. & De Roover, C., 22 mrt 2021.
Onderzoeksoutput: Unpublished abstract

Open Access
A Parallel Worklist Algorithm for Modular Analyses
Van Es, N., Stiévenart, Q., Van der Plas, J. & De Roover, C., 27 sep 2020, Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2020). IEEE, blz. 1-12 12 blz. 9252039. (Proceedings - 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020).
Onderzoeksoutput: Conference paper
1 Citaat (Scopus)
Compositional Information Flow Analysis for WebAssembly Programs
Stiévenart, Q. & De Roover, C., 27 sep 2020, 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020, September 27-28, 2020. IEEE, blz. 13-24 12 blz. 9252076. (Proceedings - 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020).
Onderzoeksoutput: Conference paper
Fuzzing channel-based concurrency runtimes using types and effects
Stiévenart, Q. & Madsen, M., 13 nov 2020, In : Proceedings of the ACM on Programming Languages. 4, OOPSLA, blz. 1-27 27 blz., 186.
Onderzoeksoutput: Article

Open Access
Bestand
9 Downloads (Pure)
Incremental Flow Analysis through Computational Dependency Reification
Van der Plas, J., Stiévenart, Q., Van Es, N. & De Roover, C., 27 sep 2020, Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2020). IEEE, blz. 25-36 12 blz. 9252058. (Proceedings - 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020).
Onderzoeksoutput: Conference paper

2 Participation in conference
1 Talk or presentation at a workshop/seminar

PPDP'15
Quentin Stiévenart (Participant)
2015
Activiteit: Participation in conference
ICSE 2015
Quentin Stiévenart (Participant)
2015
Activiteit: Participation in conference
BENEVOL 2014
Quentin Stiévenart (Speaker)
28 nov 2014
Activiteit: Talk or presentation at a workshop/seminar

Bestand

Incremental Thread-Modular Static Analysis for Concurrent Programs with Futures and Atoms
Auteur: Van Der Plas, J., 2019
Begeleider: De Roover, C. (Promotor) & Stiévenart, Q. (Advisor)
Scriptie/masterproef: Master's Thesis
Scalable Designs for Abstract Interpretation of Concurrent Programs: Application to Actors and Shared-Memory Multi-Threading
Auteur: Stiévenart, Q., 25 mei 2018
Begeleider: De Roover, C. (Promotor) & De Meuter, W. (Promotor)
Scriptie/masterproef: Doctoral Thesis

Bestand