1. 2017
  2. Modular Static Analysis of Actor Programs

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

    Research output: ResearchUnpublished abstract

  3. First-class Reactive Programs for CPS: Work in Progress

    De Troyer, C., Nicolay, J. & De Meuter, W. 13 Sep 2017

    Research output: ResearchUnpublished paper

  4. 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: Research - peer-reviewArticle

  5. Purity analysis for JavaScript through abstract interpretation

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

    Research output: Research - peer-reviewArticle

  6. Abstractions for Distributed Event-Driven Applications: Position Paper

    De Troyer, C., Nicolay, J., De Meuter, W. & Scholliers, C. 4 Apr 2017 Programming '17: Companion to the first International Conference on the Art, Science and Engineering of Programming . Sartor, J., D'Hondt, T. & De Meuter, W. (eds.). 1 ed. New York, NY, USA: ACM, Vol. 1, 2 p. 18

    Research output: ResearchMeeting abstract (Book)

  7. 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: ResearchConference paper

  8. Mailbox Abstractions for Static Analysis of Actor Programs

    Stiévenart, Q., Nicolay, J., De Meuter, W. & De Roover, C. 2017 Proceedings of the 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: ResearchConference paper

  9. 2016
Previous 1 2 3 Next

ID: 37551