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 journalArticle

  3. A Generic Replicated Data Type for Strong Eventual Consistency

    De Porre, K., Myter, F., De Troyer, C., Scholliers, C., De Meuter, W. & Gonzalez Boix, E., 2019, Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data . 3 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

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

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

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

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

  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 paper

  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 paper

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

ID: 25292