-
Effect-Driven Flow Analysis
Jens Nicolay and
Quentin Sti'evenart and
Wolfgang De Meuter and
Coen De Roover
Proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings
«bib»
-
GUARDIAML: Machine Learning-Assisted Dynamic Information Flow Control
Angel Luis Scull Pupo and
Jens Nicolay and
Kyriakos Efthymiadis and
Ann Now'e and
Coen De Roover and
Elisa Gonzalez Boix
26th IEEE International Conference on Software Analysis, Evolution
and Reengineering, SANER 2019, Hangzhou, China, February 24-27,
2019
«bib»
-
Building IoT Systems Using Distributed First-Class Reactive Programming
Christophe De Troyer and
Jens Nicolay and
Wolfgang De Meuter
2018 IEEE International Conference on Cloud Computing Technology
and Science, CloudCom 2018, Nicosia, Cyprus, December 10-13, 2018
«bib»
-
GUARDIA: specification and enforcement of javascript security policies
without VM modifications
Angel Luis Scull Pupo and
Jens Nicolay and
Elisa Gonzalez Boix
Proceedings of the 15th International Conference on Managed Languages
\& Runtimes, ManLang 2018, Linz, Austria, September 12-14, 2018
«bib»
-
Practical Information Flow Control for Web Applications
Angel Luis Scull Pupo and
Laurent Christophe and
Jens Nicolay and
Coen De Roover and
Elisa Gonzalez Boix
Runtime Verification - 18th International Conference, RV 2018, Limassol,
Cyprus, November 10-13, 2018, Proceedings
«bib»
-
Mailbox Abstractions for Static Analysis of Actor Programs
Quentin Sti'evenart and
Jens Nicolay and
Wolfgang De Meuter and
Coen De Roover
31st European Conference on Object-Oriented Programming, ECOOP 2017,
June 19-23, 2017, Barcelona, Spain
«bib»
-
Static Taint Analysis of Event-driven Scheme Programs
Jonas De Bleser and
Quentin Sti'evenart and
Jens Nicolay and
Coen De Roover
Proceedings of the 10th European Lisp Symposium (ELS 2017), Brussels,
Belgium, April 3-4, 2017
«bib»
-
First-class reactive programs for CPS
Christophe De Troyer and
Jens Nicolay and
Wolfgang De Meuter
Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive
and Event-Based Languages and Systems, Vancouver, BC, Canada, October
23, 2017
«bib»
-
Abstractions for Distributed Event-Driven Applications: Position Paper
Christophe De Troyer and
Jens Nicolay and
Wolfgang De Meuter and
Christophe Scholliers
Companion to the first International Conference on the Art, Science
and Engineering of Programming, Programming 2017, Brussels, Belgium,
April 3-6, 2017
«bib»
-
Static Detection of User-specified Security Vulnerabilities in Client-side
JavaScript
Jens Nicolay and
Valentijn Spruyt and
Coen De Roover
Proceedings of the 2016 ACM Workshop on Programming Languages and
Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24,
2016
«bib»
-
A performant scheme interpreter in asm.js
Noah Van Es and
Jens Nicolay and
Quentin Sti'evenart and
Theo D'Hondt and
Coen De Roover
Proceedings of the 31st Annual ACM Symposium on Applied Computing,
Pisa, Italy, April 4-8, 2016
«bib»
-
Building a modular static analysis framework in Scala (tool paper)
Quentin Sti'evenart and
Jens Nicolay and
Wolfgang De Meuter and
Coen De Roover
Proceedings of the 7th ACM SIGPLAN Symposium on Scala, SCALA@SPLASH
2016, Amsterdam, Netherlands, October 30 - November 4, 2016
«bib»
-
Poster: Static Analysis of Concurrent Higher-Order Programs
Quentin Sti'evenart and
Jens Nicolay and
Wolfgang De Meuter and
Coen De Roover
37th IEEE/ACM International Conference on Software Engineering,
ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2
«bib»
-
A formal foundation for trace-based JIT compilers
Maarten Vandercammen and
Jens Nicolay and
Stefan Marr and
Joeri De Koster and
Theo D'Hondt and
Coen De Roover
Proceedings of the 13th International Workshop on Dynamic Analysis,
WODA@SPLASH 2015, Pittsburgh, PA, USA, October 26, 2015
«bib»
-
Detecting concurrency bugs in higher-order programs through abstract
interpretation
Quentin Sti'evenart and
Jens Nicolay and
Wolfgang De Meuter and
Coen De Roover
Proceedings of the 17th International Symposium on Principles and
Practice of Declarative Programming, Siena, Italy, July 14-16, 2015
«bib»
-
Detecting function purity in JavaScript
Jens Nicolay and
Carlos Noguera and
Coen De Roover and
Wolfgang De Meuter
15th IEEE International Working Conference on Source Code Analysis
and Manipulation, SCAM 2015, Bremen, Germany, September 27-28, 2015
«bib»
-
Determining dynamic coupling in JavaScript using object type inference
Jens Nicolay and
Carlos Noguera and
Coen De Roover and
Wolfgang De Meuter
13th IEEE International Working Conference on Source Code Analysis
and Manipulation, SCAM 2013, Eindhoven, Netherlands, September 22-23,
2013
«bib»
-
Tearing down the multicore barrier for web applications
Jens Nicolay
Companion Volume of the 11th International Conference on Aspect-oriented
Software Development, AOSD 2012, Potsdam, Germany, March 25-30,
2012
«bib»
-
Automatic Parallelization of Side-Effecting Higher-Order Scheme Programs
Jens Nicolay and
Coen De Roover and
Wolfgang De Meuter and
Viviane Jonckers
11th IEEE Working Conference on Source Code Analysis and Manipulation,
SCAM 2011, Williamsburg, VA, USA, September 25-26, 2011
«bib»