1. 2019
  2. StkTokens: Enforcing Well-Bracketed Control Flow and Stack Encapsulation Using Linear Capabilities

    Skorstengaard, L., Devriese, D. & Birkedal, L., Jan 2019, In : Proceedings of the ACM on Programming Languages. 3, POPL, p. 1-28 28 p., 19.

    Research output: Contribution to journalArticleResearchpeer-review

  3. A Language-Parametric Modular Framework for Mining Idiomatic Code Patterns

    Pham, H. S., Nijssen, S., Mens, K., Di Nucci, D., Molderez, T. C., De Roover, C., Fabry, J. & Zaytsev, V., 2019, Seminar on Advanced Techniques & Tools for Software Evolution. Vol. 1. 6 p.

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

  4. Assessing Diffusion and Perception of Test Smells in Scala Projects

    De Bleser, J., Di Nucci, D. & De Roover, C., 2019, Proceedings of the 16th International Conference on Mining Software Repositories. IEEE, Piscataway, NJ, USA, p. 457-467 11 p.

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

  5. Distributed Reactive Programming for Reactive Distributed Systems

    Myter, F., De Meuter, W. & Scholliers, C., 2019, In : The Art, Science, and Engineering of Programming. 3, 3, p. 1-52 52 p., 5.

    Research output: Contribution to journalArticleResearchpeer-review

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

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

  8. How to Do Proofs: Practically Proving Properties About Effectful Programs39; Results (Functional Pearl)

    Jacobs, K., Nuyts, A. & Devriese, D., 2019, Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development. New York, NY, USA: ACM, p. 1-13 13 p. (TyDe 2019).

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

  9. Marlon - A Domain-Specific Language for Multi-Agent Reinforcement Learning on Networks

    Molderez, T. C., Oeyen, B., De Roover, C. & De Meuter, W., 2019, 34th ACM/SIGAPP Symposium On Applied Computing. p. 1322-1329 8 p. (Proceedings of the ACM Symposium on Applied Computing; vol. Part F147772).

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

  10. Modular Effects in Haskell Through Effect Polymorphism and Explicit Dictionary Applications: A New Approach and the \μVeriFast Verifier As a Case Study

    Devriese, D., 2019, Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell. New York, NY, USA: ACM, p. 1-14 14 p. (Haskell 2019).

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

Previous 1 2 3 4 5 6 7 8 ...48 Next

ID: 25292