Jens Nicolay@SOFT

Contact

Vrije Universiteit Brussel
10F736 Campus Etterbeek
jens.nicolay@vub.ac.be
@eljenso

Research

Reasoning over side effects and purity in higher-order imperative programs using abstract interpretation.

Papers

Conference papers

  1. A Performant Scheme Interpreter in asm.js
    Noah Van Es, Jens Nicolay, Quentin Stievenart, Theo D'Hondt, Coen De Roover.
    Proceedings of the 31st ACM/SIGAPP Symposium on Applied Computing (SAC 2016), Pisa, Italy, April 2016.
  2. Detecting Function Purity in JavaScript (Best Paper Award)
    Jens Nicolay, Carlos Noguera, Coen De Roover, Wolfgang De Meuter.
    Proceedings of the 15th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2015), Bremen, DE, September 2015.
  3. Detecting Concurrency Bugs in Higher-Order Programs through Abstract Interpretation
    Quentin Stievenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover.
    Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015), Sienna, IT, July 2015.
  4. Determining Coupling in JavaScript Using Object Type Inference
    Jens Nicolay, Carlos Noguera, Coen De Roover, Wolfgang De Meuter.
    Proceedings of the 13th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2013), Eindhoven, NL, September 2013.
  5. Automatic Parallelization of Side-Effecting Higher-Order Scheme Programs.
    Jens Nicolay, Coen De Roover, Wolfgang De Meuter, Viviane Jonckers.
    Proceedings of the 11th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2011), Williamsburg (VA), USA, September 2011.

Workshop papers

  1. Declaratively Specifying Security Policies For Web Applications
    Angel Luis Scull Pupo, Jens Nicolay, Elisa Gonzalez Boix.
    Workshop on Meta-Programming Techniques and Reflection (META 2016), Amsterdam, The Netherlands, October 2016.
  2. Static Detection of User-specified Security Vulnerabilities in Client-side JavaScript
    Jens Nicolay, Valentijn Spruyt, Coen De Roover.
    To appear in proceedings of the 11th ACM Workshop on Programming Languages and Analysis for Security (PLAS 2016), Vienna, Austria, October 2016.
  3. A Formal Foundation for Trace-Based JIT Compilers
    Maarten Vandercammen, Jens Nicolay, Stefan Marr, Joeri De Koster, Theo D'Hondt, Coen De Roover.
    Proceedings of the 3th International Workshop on Dynamic Analysis (WODA 2015), Pittsburgh (PA), US, October 2015.
  4. Modularity and Conventions for Maintainable Concurrent Language Implementations: A Review of Our Experiences and Practices
    Stefan Marr, Jens Nicolay, Tom Van Cutsem, Theo D'Hondt.
    Proceedings of the 2nd Workshop on Modularity In Systems Software (MISS 2012), Potsdam, Germany, April 2012.

Activities

Teaching