Der Compilergenerator Coco/R H Mössenböck, A Wöss, M Löberbauer na, 2003 | 53 | 2003 |
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 | 11 | 2016 |
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 | 4 | 2015 |
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 | 1 | 2016 |
The Essence of Meta-Tracing JIT Compilers M Vandercammen | 1 | 2015 |
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 | | |