Jens Nicolay -

Registered user since Thu 15 May 2014

Name:Jens Nicolay

Country:Belgium

Affiliation:Vrije Universiteit Brussel

Personal website: https://soft.vub.ac.be/~jnicolay/

Contributions

2024

MoreVMs

Author of A Virtual Machine for Higher-Order Reactors within the MoreVMs'24-track

2022

ProWeb

Committee Member in Program Committee within the ProWeb 2022 (cancelled)-track

REBLS

Author of FLOREnce: A Hybrid Logic-Functional Reactive Programming Language within the Reactive and Event-Based Languages and Systems-track

‹Programming›

2021

DSM

Author of PrintTalk: A Constraint-Based Imperative DSL for 3D Printing within the DSM'21-track

ProWeb

2020

ProWeb

2019

VMCAI

Author of Effect-driven Flow Analysis within the VMCAI 2019-track

2017

REBLS

Author of First-class Reactive Programs for CPS within the REBELS-track

ECOOP

Author of Mailbox Abstractions for Static Analysis of Actor Programs within the ECOOP Research Papers-track

ELS

Author of Static Taint Analysis of Event-driven Scheme Programs within the ELS 2017-track

PASS

Author of Abstractions for Distributed Event-Driven Systems within the PASS 2017-track

2016

META

Author of Declaratively Specifying Security Policies For Web Applications within the Meta 2016-track

Scala

Author of Building a Modular Static Analysis Framework in Scala (Tool Paper) within the Scala-track

Language Modularity à La Mode

Committee Member in Program Committee within the Language Modularity-track

2015

SPLASH

Committee Member in Program Committee within the OOPSLA Artifacts-track

WODA

Author of A Formal Foundation for Trace-Based JIT Compilers within the WODA-track

2014

SPLASH

Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track