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). 34 p.

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

  5. 2018
  6. 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

  7. 2017
  8. 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

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

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

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

  12. Mailbox Abstractions for Static Analysis of Actor Programs

    Stiévenart, Q., Nicolay, J., De Meuter, W. & De Roover, C., 1 Jun 2017, 31st European Conference on Object-Oriented Programming, ECOOP 2017. Müller, P. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 74. p. 25:1-25:30 30 p. 25

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

  13. Static Taint Analysis of Event-driven Scheme Programs

    De Bleser, J., Stiévenart, Q., Nicolay, J. & De Roover, C., 4 Apr 2017, Proceedings of the 10th European Lisp Symposium. ACM, p. 80-87 8 p.

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

Previous 1 2 Next

ID: 189564