1. 2019
  2. Effect-driven Flow Analysis

    Nicolay, J., Stiévenart, Q., De Meuter, W. & De Roover, C., 13 Jan 2019, Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Proceedings. Piskac, R. & Enea, C. (eds.). Springer, p. 247-274 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11388 LNCS).

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

  3. A General Method for Rendering Static Analyses for Diverse Concurrency Models Modular

    Stiévenart, Q., Nicolay, J., De Meuter, W. & De Roover, C., 1 Jan 2019, In : Journal of Systems and Software. 147, p. 17-45 29 p.

    Research output: Contribution to journalArticleResearchpeer-review

  4. Garbage-free Abstract Interpretation through Abstract Reference Counting

    Van Es, N., Stiévenart, Q. & De Roover, C., 2019, Proceedings of the 33rd European Conference on Object-Oriented Programming (ECOOP 2019). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 134. 34 p.

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

  5. Garbage-free Abstract Interpretation through Abstract Reference Counting (Poster)

    Van Es, N., Stiévenart, Q. & De Roover, C., 2019.

    Research output: Unpublished contribution to conferencePosterResearch

  6. 2018
  7. Scalable Designs for Abstract Interpretation of Concurrent Programs: Application to Actors and Shared-Memory Multi-Threading

    Stiévenart, Q., Jul 2018, In : Journal of Functional Programming. 28, e17, p. 22-23 2 p.

    Research output: Contribution to journalMeeting abstract (Journal)Research

  8. 2017
  9. Modular Static Analysis of Actor Programs

    Stiévenart, Q., Nicolay, J., De Roover, C. & De Meuter, W., 5 Dec 2017. 5 p.

    Research output: Unpublished contribution to conferenceUnpublished abstractResearch

  10. Purity analysis for JavaScript through abstract interpretation

    Nicolay, J., Stiévenart, Q., De Meuter, W. & De Roover, C., Dec 2017, In : Journal of Software: Evolution and Process. 29, 12, 34 p., e1889.

    Research output: Contribution to journalArticleResearchpeer-review

  11. Implementing a Performant Scheme Interpreter for the Web in asm.js

    Van Es, N., Stiévenart, Q., Nicolay, J., D'Hondt, T. & De Roover, C., Sep 2017, In : Computer Languages, Systems and Structures. 49, p. 62-81 20 p.

    Research output: Contribution to journalArticleResearchpeer-review

  12. 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

Previous 1 2 Next

ID: 189564