Maarten Vandercammen

Orcid: 0000-0001-7192-5666

According to our database1, Maarten Vandercammen authored at least 9 papers between 2015 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Prioritising Server Bugs via Inter-process Concolic Testing.
Art Sci. Eng. Program., 2021

2018
A flexible framework for studying trace-based just-in-time compilation.
Comput. Lang. Syst. Struct., 2018

Concolic Testing of Full-Stack JavaScript Applications.
Proceedings of the 17th Belgium-Netherlands Software Evolution Workshop, Delft, the Netherlands, December 10th - to, 2018

2017
Employing Run-time Static Analysis to Improve Concolic Execution.
Proceedings of the 16th edition of the BElgian-NEtherlands software eVOLution symposium, 2017

Incrementalizing Abstract Interpretation.
Proceedings of the 16th edition of the BElgian-NEtherlands software eVOLution symposium, 2017

2016
Scala-AM: A Modular Static Analysis Framework.
Proceedings of the 16th IEEE International Working Conference on Source Code Analysis and Manipulation, 2016

Improving trace-based JIT optimisation using whole-program information.
Proceedings of the 8th International Workshop on Virtual Machines and Intermediate Languages, 2016

2015
A formal foundation for trace-based JIT compilers.
Proceedings of the 13th International Workshop on Dynamic Analysis, 2015

STRAF: A Scala Framework for Experiments in Trace-Based JIT Compilation.
Proceedings of the Grand Timely Topics in Software Engineering, 2015


  Loading...