1. 2018
  2. Concolic Testing of Full-Stack JavaScript Applications

    Vandercammen, M., Christophe, L., De Meuter, W. & De Roover, C., 11 Dec 2018, Proceedings of the 17th Belgium-Netherlands Software Evolution Workshop. CEUR Workshop Proceedings, Vol. 2361. p. 38-42 5 p. (Proceedings of the 17th Belgium-Netherlands Software Evolution Workshop; vol. 2361, no. 7).

    Research output: Chapter in Book/Report/Conference proceedingMeeting abstract (Book)Research

  3. Incrementalizing Abstract Interpretation

    Van Es, N., Vandercammen, M. & De Roover, C., 11 Jan 2018, Proceedings of the 16th edition of the BElgian-NEtherlands software eVOLution symposium. Demeyer, S., Parsai, A., Laghari, G. & van Bladel, B. (eds.). CEUR Workshop Proceedings, Vol. 2047. p. 31-35 5 p.

    Research output: Chapter in Book/Report/Conference proceedingMeeting abstract (Book)Research

  4. A flexible framework for studying trace-based just-in-time compilation

    Vandercammen, M., Marr, S. & De Roover, C., 1 Jan 2018, In : Computer Languages, Systems and Structures. 51, p. 22-47 26 p.

    Research output: Contribution to journalArticleResearchpeer-review

  5. 2017
  6. Employing Run-time Static Analysis to Improve Concolic Execution

    Vandercammen, M. & De Roover, C., 5 Dec 2017, BElgian-NEtherlands Software eVOLution Symposium. CEUR Workshop Proceedings, Vol. 2047. p. 26-29 4 p. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingMeeting abstract (Book)Research

  7. STRAF: A Scala Framework for Experiments in Trace-Based JIT Compilation

    Vandercammen, M., Stiévenart, Q., De Meuter, W. & De Roover, C., 29 Jun 2017, Grand Timely Topics in Software Engineering - International Summer School GTTSE 2015, Tutorial Lectures. Cunha, J., Zaytsev, V., Lammel, R., Saraiva, J. & Fernandes, J. P. (eds.). p. 223-234 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10223 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingMeeting abstract (Book)Research

  8. 2016
  9. Improving Trace-Based JIT Optimisation Using Whole-Program Information

    Vandercammen, M. & De Roover, C., 31 Oct 2016, Proceedings of the Virtual Machines and Intermediate Languages Workshop 2016 (VMIL'16). ACM, p. 16-23 8 p.

    Research output: Chapter in Book/Report/Conference proceedingMeeting abstract (Book)Research

  10. Improving Trace-Based JIT Optimisation Using Whole-Program Information

    Vandercammen, M. & De Roover, C., 31 Oct 2016, (Unpublished).

    Research output: Unpublished contribution to conferencePosterResearch

  11. Scala-AM: A Modular Static Analysis Framework

    Stiévenart, Q., Vandercammen, M., De Meuter, W. & De Roover, C., 2016, 16th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2016. p. 85-90 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

  12. 2015
  13. A Formal Foundation for Trace-Based JIT Compilation

    Vandercammen, M., Nicolay, J. & De Roover, C., 28 Oct 2015, (Unpublished).

    Research output: Unpublished contribution to conferencePosterResearch

  14. A formal foundation for trace-based JIT compilers

    Vandercammen, M., Nicolay, J., Marr, S., De Koster, J. J-M., D'Hondt, T. & De Roover, C., 26 Oct 2015, Proceedings of the 13th International Workshop on Dynamic Analysis (WODA). New York, NY, USA: ACM, p. 25-30 6 p.

    Research output: Chapter in Book/Report/Conference proceedingMeeting abstract (Book)Research

ID: 30358