| Detecting function purity in JavaScript J Nicolay, C Noguera, C De Roover, W De Meuter 2015 IEEE 15th International Working Conference on Source Code Analysis and …, 2015 | 16 | 2015 |
| 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 | 7 | 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 | 6 | 2016 |
| 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 | 6 | 2015 |
| Determining dynamic coupling in JavaScript using object type inference J Nicolay, C Noguera, C De Roover, W De Meuter 2013 IEEE 13th International Working Conference on Source Code Analysis and …, 2013 | 6 | 2013 |
| Automatic parallelization of side-effecting higher-order scheme programs J Nicolay, C De Roover, W De Meuter, V Jonckers 2011 IEEE 11th International Working Conference on Source Code Analysis and …, 2011 | 6 | 2011 |
| 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 |
| Effect-driven flow analysis J Nicolay, Q Stiévenart, W De Meuter, C De Roover International Conference on Verification, Model Checking, and Abstract …, 2019 | 4 | 2019 |
| 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 | 4 | 2019 |
| 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 | 4 | 2017 |
| Static detection of user-specified security vulnerabilities in client-side JavaScript J Nicolay, V Spruyt, C De Roover Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis …, 2016 | 4 | 2016 |
| A formal foundation for trace-based JIT compilers M Vandercammen, J Nicolay, S Marr, J De Koster, T D'Hondt, ... Proceedings of the 13th International Workshop on Dynamic Analysis, 25-30, 2015 | 4 | 2015 |
| Building IoT Systems Using Distributed First-Class Reactive Programming C De Troyer, J Nicolay, W De Meuter 2018 IEEE International Conference on Cloud Computing Technology and Science …, 2018 | 3 | 2018 |
| GUARDIA: specification and enforcement of javascript security policies without VM modifications ALS Pupo, J Nicolay, EG Boix Proceedings of the 15th International Conference on Managed Languages …, 2018 | 3 | 2018 |
| Static Taint Analysis of Event-driven Scheme Programs. J De Bleser, Q Stiévenart, J Nicolay, C De Roover ELS, 80-87, 2017 | 2 | 2017 |
| Modularity and conventions for maintainable concurrent language implementations: A review of our experiences and practices S Marr, J Nicolay, T Van Cutsem, T D'Hondt Proceedings of the 2012 workshop on Modularity in Systems Software, 21-26, 2012 | 2 | 2012 |
| Practical Information Flow Control for Web Applications ALS Pupo, L Christophe, J Nicolay, C De Roover, EG Boix International Conference on Runtime Verification, 372-388, 2018 | 1 | 2018 |
| First-class reactive programs for CPS C De Troyer, J Nicolay, W De Meuter Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and …, 2017 | 1 | 2017 |
| 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 | 1 | 2017 |
| Mailbox Abstractions for Static Analysis of Actor Programs (Artifact). Q Stiévenart, J Nicolay, W De Meuter, C De Roover DARTS 3 (2), 11:1-11:2, 2017 | 1 | 2017 |
Coen De RooverSoftware Languages Lab, Vrije Universiteit BrusselVerified email at vub.ac.be
