Παρακολούθηση
Quentin Stiévenart
Quentin Stiévenart
Université du Québec à Montréal
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα uqam.ca - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
462020
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
292022
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
262022
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
182021
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
172020
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
132017
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
132016
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
122019
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
122015
Effect-driven flow analysis
J Nicolay, Q Stiévenart, W De Meuter, C De Roover
Verification, Model Checking, and Abstract Interpretation: 20th …, 2019
112019
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
112017
Wassail: a WebAssembly Static Analysis Library
Q Stiévenart, C De Roover
Fifth International Workshop on Programming Technology for the Future Web, 2021
82021
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
82019
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
82016
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
72021
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
62020
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
52023
Developers Struggle with Authentication in Blazor WebAssembly
PM André, Q Stiévenart, M Ghafari
2022 IEEE International Conference on Software Maintenance and Evolution …, 2022
52022
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
52020
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
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20