Jens Nicolay

According to our database, Jens Nicolay authored at least 32 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Brigadier: A Datalog-based IAST framework for Node.js Applications.

Angel Luis Scull Pupo, Jens Nicolay, Elisa Gonzalez Boix

Proceedings of the IEEE International Conference on Software Analysis, 2023

VariMod: A Structured Approach to Variability in 3D Modelling.

Jef Jacobs, Jens Nicolay, Wolfgang De Meuter

Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

MODINF: Exploiting Reified Computational Dependencies for Information Flow Analysis.

Jens Van der Plas, Jens Nicolay, Wolfgang De Meuter, Coen De Roover

Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023

2022

The Art of the Meta Stream Protocol: Torrents of Streams.

Christophe De Troyer, Jens Nicolay, Wolfgang De Meuter

Art Sci. Eng. Program., 2022

Deriving Static Security Testing from Runtime Security Protection for Web Applications.

Angel Luis Scull Pupo, Jens Nicolay, Elisa Gonzalez Boix

Art Sci. Eng. Program., 2022

FLOREnce: A Hybrid Logic-Functional Reactive Programming Language.

Louise Van Verre, Humberto Rodríguez-Avila, Jens Nicolay, Wolfgang De Meuter

Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2022

COAST: A Conflict-free Replicated Abstract Syntax Tree.

Aäron Munsters, Angel Luis Scull Pupo, Jens Nicolay

Proceedings of the 17th International Conference on Software Technologies, 2022

2021

PrintTalk: a constraint-based imperative DSL for 3D printing.

Jef Jacobs, Jens Nicolay, Christophe De Troyer, Wolfgang De Meuter

Proceedings of the DSM 2021: Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling, 2021

2019

A general method for rendering static analyses for diverse concurrency models modular.

Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover

J. Syst. Softw., 2019

GUARDIAML: Machine Learning-Assisted Dynamic Information Flow Control.

Angel Luis Scull Pupo, Jens Nicolay, Kyriakos Efthymiadis, Ann Nowé, Coen De Roover, Elisa Gonzalez Boix

Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

Effect-Driven Flow Analysis.

Jens Nicolay, Quentin Stiévenart, Wolfgang De Meuter, Coen De Roover

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

2018

Practical Information Flow Control for Web Applications.

Angel Luis Scull Pupo, Laurent Christophe, Jens Nicolay, Coen De Roover, Elisa Gonzalez Boix

Proceedings of the Runtime Verification - 18th International Conference, 2018

GUARDIA: specification and enforcement of javascript security policies without VM modifications.

Angel Luis Scull Pupo, Jens Nicolay, Elisa Gonzalez Boix

Proceedings of the 15th International Conference on Managed Languages & Runtimes, 2018

Building IoT Systems Using Distributed First-Class Reactive Programming.

Christophe De Troyer, Jens Nicolay, Wolfgang De Meuter

Proceedings of the 2018 IEEE International Conference on Cloud Computing Technology and Science, 2018

2017

Purity analysis for JavaScript through abstract interpretation.

Jens Nicolay, Quentin Stiévenart, Wolfgang De Meuter, Coen De Roover

J. Softw. Evol. Process., 2017

Mailbox Abstractions for Static Analysis of Actor Programs (Artifact).

Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover

Dagstuhl Artifacts Ser., 2017

Implementing a performant scheme interpreter for the web in asm.js.

Noah Van Es, Quentin Stiévenart, Jens Nicolay, Theo D'Hondt, Coen De Roover

Comput. Lang. Syst. Struct., 2017

Abstractions for Distributed Event-Driven Applications: Position Paper.

Christophe De Troyer, Jens Nicolay, Wolfgang De Meuter, Christophe Scholliers

Proceedings of the Companion to the first International Conference on the Art, 2017

First-class reactive programs for CPS.

Christophe De Troyer, Jens Nicolay, Wolfgang De Meuter

Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2017

Static Taint Analysis of Event-driven Scheme Programs.

Jonas De Bleser, Quentin Stiévenart, Jens Nicolay, Coen De Roover

Proceedings of the 10th European Lisp Symposium (ELS 2017), 2017

Mailbox Abstractions for Static Analysis of Actor Programs.

Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016

Building a modular static analysis framework in Scala (tool paper).

Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover

Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016

A performant scheme interpreter in asm.js.

Noah Van Es, Jens Nicolay, Quentin Stiévenart, Theo D'Hondt, Coen De Roover

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Static Detection of User-specified Security Vulnerabilities in Client-side JavaScript.

Jens Nicolay, Valentijn Spruyt, Coen De Roover

Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, 2016

2015

Detecting function purity in JavaScript.

Jens Nicolay, Carlos Noguera, Coen De Roover, Wolfgang De Meuter

Proceedings of the 15th IEEE International Working Conference on Source Code Analysis and Manipulation, 2015

Detecting concurrency bugs in higher-order programs through abstract interpretation.

Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

A formal foundation for trace-based JIT compilers.

Maarten Vandercammen, Jens Nicolay, Stefan Marr, Joeri De Koster, Theo D'Hondt, Coen De Roover

Proceedings of the 13th International Workshop on Dynamic Analysis, 2015

Poster: Static Analysis of Concurrent Higher-Order Programs.

Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2013

Determining dynamic coupling in JavaScript using object type inference.

Jens Nicolay, Carlos Noguera, Coen De Roover, Wolfgang De Meuter

Proceedings of the 13th IEEE International Working Conference on Source Code Analysis and Manipulation, 2013

2012

Tearing down the multicore barrier for web applications.

Jens Nicolay

Proceedings of the Companion Volume of the 11th International Conference on Aspect-oriented Software Development, 2012

Modularity and conventions for maintainable concurrent language implementations: a review of our experiences and practices.

Stefan Marr, Jens Nicolay, Tom Van Cutsem, Theo D'Hondt

Proceedings of the 2012 Workshop on Modularity in Systems Software, 2012

2011

Automatic Parallelization of Side-Effecting Higher-Order Scheme Programs.

Jens Nicolay, Coen De Roover, Wolfgang De Meuter, Viviane Jonckers

Proceedings of the 11th IEEE Working Conference on Source Code Analysis and Manipulation, 2011