Quentin Stiévenart
Title
Cited by
Cited by
Year
SCALA-AM: A Modular Static Analysis Framework
Q Stiévenart, M Vandercammen, W De Meuter, C De Roover
Proceedings of the 16th IEEE International Working Conference on Source Code …, 2016
112016
Mailbox abstractions for static analysis of actor programs
Q Stiévenart, J Nicolay, W De Meuter, C De Roover
31st European Conference on Object-Oriented Programming (ECOOP 2017), 2017
9*2017
A performant scheme interpreter in asm. js
N Van Es, J Nicolay, Q Stievenart, T D'Hondt, C De Roover
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 1944-1951, 2016
62016
Detecting concurrency bugs in higher-order programs through abstract interpretation
Q Stievenart, J Nicolay, W De Meuter, C De Roover
Proceedings of the 17th International Symposium on Principles and Practice …, 2015
62015
Building a modular static analysis framework in Scala (tool paper)
Q Stiévenart, J Nicolay, W De Meuter, C De Roover
Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala, 105-109, 2016
52016
Effect-Driven Flow Analysis
J Nicolay, Q Stiévenart, W De Meuter, C De Roover
International Conference on Verification, Model Checking, and Abstract …, 2019
42019
A general method for rendering static analyses for diverse concurrency models modular
Q Stiévenart, J Nicolay, W De Meuter, C De Roover
Journal of Systems and Software 147, 17-45, 2019
42019
Purity analysis for JavaScript through abstract interpretation
J Nicolay, Q Stiévenart, W De Meuter, C De Roover
Journal of Software: Evolution and Process 29 (12), e1889, 2017
42017
MAF: A Framework for Modular Static Analysis of Higher-Order Languages
N Van Es, J Van der Plas, Q Stiévenart, C De Roover
2020 IEEE 20th International Working Conference on Source Code Analysis and …, 2020
22020
Garbage-Free Abstract Interpretation Through Abstract Reference Counting
N Van Es, Q Stiévenart, C De Roover
33rd European Conference on Object-Oriented Programming (ECOOP 2019), 2019
22019
Static taint analysis of event-driven scheme programs
J De Bleser, Q Stiévenart, J Nicolay, C De Roover
10th European Lisp Symposium, ELS 2017, April 3-4, 2017, Brussels, Belgium …, 2017
22017
Static analysis of concurrent constructs in higherorder programs
Q Stievenart
Master's thesis, Université Libre de Bruxelles, Belgium, 2014
22014
A parallel worklist algorithm for modular analyses
N Van Es, Q Stiévenart, J Van der Plas, C De Roover
2020 IEEE 20th International Working Conference on Source Code Analysis and …, 2020
12020
Implementing a performant scheme interpreter for the web in asm. js
N Van Es, Q Stievenart, J Nicolay, T D’Hondt, C De Roover
Computer Languages, Systems & Structures 49, 62-81, 2017
12017
Fuzzing channel-based concurrency runtimes using types and effects
Q Stiévenart, M Madsen
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-27, 2020
2020
Incremental Flow Analysis through Computational Dependency Reification
J Van der Plas, Q Stiévenart, N Van Es, C De Roover
2020 IEEE 20th International Working Conference on Source Code Analysis and …, 2020
2020
Compositional Information Flow Analysis for WebAssembly Programs
Q Stiévenart, C De Roover
2020 IEEE 20th International Working Conference on Source Code Analysis and …, 2020
2020
STRAF: A Scala Framework for Experiments in Trace-Based JIT Compilation
M Vandercammen, Q Stiévenart, W De Meuter, C De Roover
International Summer School on Generative and Transformational Techniques in …, 2015
2015
Poster: Static Analysis of Concurrent Higher-Order Programs
Q Stievenart, J Nicolay, W De Meuter, C De Roover
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015
2015
Adventures in Analyzing Full Javascript Programs
Q Stievenart, J Nicolay, C De Roover, W De Meuter
2014
The system can't perform the operation now. Try again later.
Articles 1–20