Jens Nicolay -

Registered user since Thu 15 May 2014

Name:Jens Nicolay

Country:Belgium

Affiliation:Vrije Universiteit Brussel, Belgium

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

Contributions

DSM 2021	Author of PrintTalk: a Constraint-based Imperative DSL for 3D Printing within the DSM'21-track
ProWeb21	Author of Tamper-proof security mechanism against liar objects in JavaScript applications within the ProWeb21-track Committee Member in Program Committee within the ProWeb21-track
ProWeb20	Author of Tamper-proof security mechanism against liar objects in JavaScript applications within the ProWeb 2020-track Committee Member in Program Committee within the ProWeb 2020-track
VMCAI 2019	Author of Effect-driven Flow Analysis within the VMCAI 2019-track
REBLS 2017	Author of First-class Reactive Programs for CPS within the REBELS-track
PASS 2017	Author of Abstractions for Distributed Event-Driven Systems within the PASS 2017-track
ELS 2017	Author of Static Taint Analysis of Event-driven Scheme Programs within the ELS 2017-track
META 2016	Author of Declaratively Specifying Security Policies For Web Applications within the Meta 2016-track
Scala 2016	Author of Building a Modular Static Analysis Framework in Scala (Tool Paper) within the Scala-track
LaMOD'16	Committee Member in Program Committee within the Language Modularity-track
ECOOP 2017	Author of Mailbox Abstractions for Static Analysis of Actor Programs within the ECOOP Research Papers-track
WODA 2015	Author of A Formal Foundation for Trace-Based JIT Compilers within the WODA-track
SPLASH 2015	Committee Member in Program Committee within the OOPSLA Artifacts-track
SPLASH 2014	Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track