Maarten Vandercammen
Maarten Vandercammen
Vrije Universiteit Brussel
Geverifieerd e-mailadres voor vub.be - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Der Compilergenerator Coco/R
H Mössenböck, A Wöss, M Löberbauer
na, 2003
532003
Scala-am: A modular static analysis framework
Q Stiévenart, M Vandercammen, W De Meuter, C De Roover
2016 IEEE 16th International Working Conference on Source Code Analysis and …, 2016
112016
A formal foundation for trace-based JIT compilers
M Vandercammen, J Nicolay, S Marr, J De Koster, T D'Hondt, ...
Proceedings of the 13th International Workshop on Dynamic Analysis, 25-30, 2015
42015
Improving trace-based jit optimisation using whole-program information
M Vandercammen, C De Roover
Proceedings of the 8th International Workshop on Virtual Machines and …, 2016
12016
The Essence of Meta-Tracing JIT Compilers
M Vandercammen
12015
Prioritising Server Bugs via Inter-process Concolic Testing
M Vandercammen, L Christophe, D Di Nucci, W De Meuter, C De Roover
arXiv preprint arXiv:2010.16303, 2020
2020
Concolic Testing of Full-Stack JavaScript Applications.
M Vandercammen, L Christophe, W De Meuter, C De Roover
BENEVOL, 38-42, 2018
2018
A flexible framework for studying trace-based just-in-time compilation
M Vandercammen, S Marr, C De Roover
Computer Languages, Systems & Structures 51, 22-47, 2018
2018
Incrementalizing Abstract Interpretation.
N Van Es, M Vandercammen, C De Roover
BENEVOL, 31-35, 2017
2017
Employing Run-time Static Analysis to Improve Concolic Execution.
M Vandercammen, C De Roover
BENEVOL, 26-29, 2017
2017
STRAF: A Scala Framework for Experiments in Trace-Based JIT Compilation
M Vandercammen, Q Stiévenart, W De Meuter, C De Roover
International Summer School on Generative and Transformational Techniques in …, 2015
2015
Prioritising Server Side Reachability via Inter-process Concolic Testing
M Vandercammen, L Christophe, D Di Nucci, W De
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–12