Volgen
Jens Nicolay
Jens Nicolay
Professor and Researcher, Vrije Universiteit Brussel
Geverifieerd e-mailadres voor vub.ac.be
Titel
Geciteerd door
Geciteerd door
Jaar
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
182015
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
152018
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
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
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
112015
Effect-driven flow analysis
J Nicolay, Q Stiévenart, W De Meuter, C De Roover
Verification, Model Checking, and Abstract Interpretation: 20th …, 2019
102019
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
92018
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
92017
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
92013
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
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
82011
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
72016
Practical information flow control for web applications
AL Scull Pupo, L Christophe, J Nicolay, C De Roover, E Gonzalez Boix
Runtime Verification: 18th International Conference, RV 2018, Limassol …, 2018
62018
Static Taint Analysis of Event-driven Scheme Programs.
J De Bleser, Q Stiévenart, J Nicolay, C De Roover
ELS, 80-87, 2017
52017
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
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
52015
Deriving static security testing from runtime security protection for web applications
ALS Pupo, J Nicolay, EG Boix
arXiv preprint arXiv:2107.07300, 2021
32021
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
32017
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
22017
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
22012
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20