关注
Maarten Vandercammen
Maarten Vandercammen
Vrije Universiteit Brussel
在 vub.be 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
132016
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
52015
Prioritising Server Side Reachability via Inter-process Concolic Testing
M Vandercammen, L Christophe, D Di Nucci, W De Meuter, C De Roover
arXiv preprint arXiv:2010.16303, 2020
22020
Inter-process Concolic Testing of Full-stack JavaScript Web Applications
M Vandercammen
PhD thesis, Vrije Universiteit Brussel, 2023
12023
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
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
Employing Run-time Static Analysis to Improve Concolic Execution.
M Vandercammen, C De Roover
BENEVOL, 26-29, 2017
2017
Incrementalizing Abstract Interpretation.
N Van Es, M Vandercammen, C De Roover
BENEVOL, 31-35, 2017
2017
STRAF: A Scala Framework for Experiments in Trace-Based JIT Compilation
M Vandercammen, Q Stiévenart, W De Meuter, C De Roover
Grand Timely Topics in Software Engineering: International Summer School …, 2017
2017
A Formal Foundation for Trace-Based JIT Compilation
M Vandercammen, J Nicolay, C De Roover
SPLASH 2015, 2015
2015
State Merging for Concolic Testing of Event-Driven Applications
M Vandercammen, C De Roover
Available at SSRN 4713823, 0
系统目前无法执行此操作,请稍后再试。
文章 1–13