Jens Nicolay

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