Jens Nicolay

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 27

Top Topics

Web Applications

Information Flow

Static Analysis

Top Venues

Art Sci. Eng. Program.

Publications

Bjarno Oeyen, Jens Nicolay, Wolfgang De Meuter
A Virtual Machine for Higher-Order Reactors. Programming (2024)
Jef Jacobs, Jens Nicolay, Wolfgang De Meuter
VariMod: A Structured Approach to Variability in 3D Modelling. SPLC (A) (2023)
Angel Luis Scull Pupo, Jens Nicolay, Elisa Gonzalez Boix
Brigadier: A Datalog-based IAST framework for Node.js Applications. SANER (2023)
Jens Van der Plas, Jens Nicolay, Wolfgang De Meuter, Coen De Roover
MODINF: Exploiting Reified Computational Dependencies for Information Flow Analysis. ENASE (2023)
Louise Van Verre, Humberto Rodríguez-Avila, Jens Nicolay, Wolfgang De Meuter
FLOREnce: A Hybrid Logic-Functional Reactive Programming Language. REBLS@SPLASH (2022)
Christophe De Troyer, Jens Nicolay, Wolfgang De Meuter
The Art of the Meta Stream Protocol: Torrents of Streams. Art Sci. Eng. Program. 6 (1) (2022)
Angel Luis Scull Pupo, Jens Nicolay, Elisa Gonzalez Boix
Deriving Static Security Testing from Runtime Security Protection for Web Applications. Art Sci. Eng. Program. 6 (1) (2022)
Aäron Munsters, Angel Luis Scull Pupo, Jens Nicolay
COAST: A Conflict-free Replicated Abstract Syntax Tree. ICSOFT (2022)
Angel Luis Scull Pupo, Jens Nicolay, Elisa Gonzalez Boix
Deriving Static Security Testing from Runtime Security Protection for Web Applications. CoRR (2021)
Christophe De Troyer, Jens Nicolay, Wolfgang De Meuter
The Art of the Meta Stream Protocol: Torrents of Streams. CoRR (2021)
Jef Jacobs, Jens Nicolay, Christophe De Troyer, Wolfgang De Meuter
PrintTalk: a constraint-based imperative DSL for 3D printing. DSM@SPLASH (2021)
Jens Nicolay, Quentin Stiévenart, Wolfgang De Meuter, Coen De Roover
Effect-Driven Flow Analysis. VMCAI (2019)
Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover
A general method for rendering static analyses for diverse concurrency models modular. J. Syst. Softw. 147 (2019)
Angel Luis Scull Pupo, Jens Nicolay, Kyriakos Efthymiadis, Ann Nowé, Coen De Roover, Elisa Gonzalez Boix
GUARDIAML: Machine Learning-Assisted Dynamic Information Flow Control. SANER (2019)
Angel Luis Scull Pupo, Jens Nicolay, Elisa Gonzalez Boix
GUARDIA: specification and enforcement of javascript security policies without VM modifications. ManLang (2018)
Christophe De Troyer, Jens Nicolay, Wolfgang De Meuter
Building IoT Systems Using Distributed First-Class Reactive Programming. CloudCom (2018)
Angel Luis Scull Pupo, Laurent Christophe, Jens Nicolay, Coen De Roover, Elisa Gonzalez Boix
Practical Information Flow Control for Web Applications. RV (2018)
Noah Van Es, Quentin Stiévenart, Jens Nicolay, Theo D'Hondt, Coen De Roover
Implementing a performant scheme interpreter for the web in asm.js. Comput. Lang. Syst. Struct. 49 (2017)
Jonas De Bleser, Quentin Stiévenart, Jens Nicolay, Coen De Roover
Static Taint Analysis of Event-driven Scheme Programs. ELS (2017)
Christophe De Troyer, Jens Nicolay, Wolfgang De Meuter
First-class reactive programs for CPS. REBLS@SPLASH (2017)
Christophe De Troyer, Jens Nicolay, Wolfgang De Meuter, Christophe Scholliers
Abstractions for Distributed Event-Driven Applications: Position Paper. Programming (2017)
Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover
Mailbox Abstractions for Static Analysis of Actor Programs (Artifact). Dagstuhl Artifacts Ser. 3 (2) (2017)
Jens Nicolay, Quentin Stiévenart, Wolfgang De Meuter, Coen De Roover
Purity analysis for JavaScript through abstract interpretation. J. Softw. Evol. Process. 29 (12) (2017)
Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover
Mailbox Abstractions for Static Analysis of Actor Programs. ECOOP (2017)
Jens Nicolay, Valentijn Spruyt, Coen De Roover
Static Detection of User-specified Security Vulnerabilities in Client-side JavaScript. PLAS@CCS (2016)
Noah Van Es, Jens Nicolay, Quentin Stiévenart, Theo D'Hondt, Coen De Roover
A performant scheme interpreter in asm.js. SAC (2016)
Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover
Building a modular static analysis framework in Scala (tool paper). SCALA@SPLASH (2016)
Maarten Vandercammen, Jens Nicolay, Stefan Marr, Joeri De Koster, Theo D'Hondt, Coen De Roover
A formal foundation for trace-based JIT compilers. WODA@SPLASH (2015)
Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover
Poster: Static Analysis of Concurrent Higher-Order Programs. ICSE (2) (2015)
Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover
Detecting concurrency bugs in higher-order programs through abstract interpretation. PPDP (2015)
Jens Nicolay, Carlos Noguera, Coen De Roover, Wolfgang De Meuter
Detecting function purity in JavaScript. SCAM (2015)
Jens Nicolay, Carlos Noguera, Coen De Roover, Wolfgang De Meuter
Determining dynamic coupling in JavaScript using object type inference. SCAM (2013)
Jens Nicolay
Tearing down the multicore barrier for web applications. AOSD (Companion) (2012)
Stefan Marr, Jens Nicolay, Tom Van Cutsem, Theo D'Hondt
Modularity and conventions for maintainable concurrent language implementations: a review of our experiences and practices. MISS@AOSD (2012)
Jens Nicolay, Coen De Roover, Wolfgang De Meuter, Viviane Jonckers
Automatic Parallelization of Side-Effecting Higher-Order Scheme Programs. SCAM (2011)