Maarten Vandercammen

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 10

Top Topics

Static Analysis

Top Venues

Comput. Lang. Syst. Struct.

Publications

Maarten Vandercammen, Laurent Christophe, Dario Di Nucci, Wolfgang De Meuter, Coen De Roover
Prioritising Server Bugs via Inter-process Concolic Testing. Art Sci. Eng. Program. 5 (2) (2021)
Maarten Vandercammen, Laurent Christophe, Dario Di Nucci, Wolfgang De Meuter, Coen De Roover
Prioritising Server Bugs via Inter-process Concolic Testing. CoRR (2020)
Maarten Vandercammen, Laurent Christophe, Wolfgang De Meuter, Coen De Roover
Concolic Testing of Full-Stack JavaScript Applications. BENEVOL (2018)
Maarten Vandercammen, Stefan Marr, Coen De Roover
A flexible framework for studying trace-based just-in-time compilation. Comput. Lang. Syst. Struct. 51 (2018)
Noah Van Es, Maarten Vandercammen, Coen De Roover
Incrementalizing Abstract Interpretation. BENEVOL (2017)
Maarten Vandercammen, Coen De Roover
Employing Run-time Static Analysis to Improve Concolic Execution. BENEVOL (2017)
Quentin Stiévenart, Maarten Vandercammen, Wolfgang De Meuter, Coen De Roover
Scala-AM: A Modular Static Analysis Framework. SCAM (2016)
Maarten Vandercammen, Coen De Roover
Improving trace-based JIT optimisation using whole-program information. VMIL@SPLASH (2016)
Maarten Vandercammen, Jens Nicolay, Stefan Marr, Joeri De Koster, Theo D'Hondt, Coen De Roover
A formal foundation for trace-based JIT compilers. WODA@SPLASH (2015)
Maarten Vandercammen, Quentin Stiévenart, Wolfgang De Meuter, Coen De Roover
STRAF: A Scala Framework for Experiments in Trace-Based JIT Compilation. GTTSE (2015)