Jens Nicolay

Registered user since Thu 15 May 2014

Name:Jens Nicolay
Country:Belgium
Affiliation:Vrije Universiteit Brussel, Belgium

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