| 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 | 29 | 2020 |
| Static stack-preserving intra-procedural slicing of webassembly binaries Q Stiévenart, DW Binkley, C De Roover Proceedings of the 44th International Conference on Software Engineering …, 2022 | 14 | 2022 |
| Security risks of porting C programs to webassembly Q Stiévenart, C De Roover, M Ghafari Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, 1713-1722, 2022 | 14 | 2022 |
| 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 | 13 | 2016 |
| 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 | 11 | 2019 |
| 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 | 11 | 2017 |
| The security risk of lacking compiler protection in WebAssembly Q Stiévenart, C De Roover, M Ghafari 2021 IEEE 21st International Conference on Software Quality, Reliability and …, 2021 | 10 | 2021 |
| 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 | 10 | 2020 |
| Effect-driven flow analysis J Nicolay, Q Stiévenart, W De Meuter, C De Roover Verification, Model Checking, and Abstract Interpretation: 20th …, 2019 | 10 | 2019 |
| 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 | 10 | 2015 |
| 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 | 8 | 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 | 8 | 2016 |
| Wassail: a WebAssembly Static Analysis Library Q Stiévenart, C De Roover Fifth International Workshop on Programming Technology for the Future Web, 2021 | 5 | 2021 |
| 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 | 5 | 2020 |
| 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 | 5 | 2019 |
| 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 | 5 | 2017 |
| 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 | 5 | 2016 |
| QSES: Quasi-Static Executable Slices Q Stiévenart, D Binkley, C De Roover 2021 IEEE 21st International Working Conference on Source Code Analysis and …, 2021 | 4 | 2021 |
| 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 | 4 | 2020 |
| Result Invalidation for Incremental Modular Analyses J Van der Plas, Q Stiévenart, C De Roover International Conference on Verification, Model Checking, and Abstract …, 2023 | 2 | 2023 |
Coen De RooverSoftware Languages Lab, Vrije Universiteit BrusselVerified email at vub.be
