1. 2019
  2. Lazy pointer update for low heap compaction pause times

    Béra, C., Miranda, E. & Gonzalez Boix, E., 23 Oct 2019, Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic Languages. marr, S. & Fumero, J. (eds.). DLS 2019 ed. ACM New York, p. 15-27

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

  3. Memory efficient CRDTs in dynamic environments

    Bauwens, J. & Gonzalez Boix, E., 22 Oct 2019, Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages . Athens, Greece: ACM New York, p. 48-57 9 p.

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

  4. Extended Abstract: Reasoning about Effect Parametricity Using Dependent Types

    Ceulemans, J., Nuyts, A. & Devriese, D., 18 Aug 2019. 3 p.

    Research output: Unpublished contribution to conferenceUnpublished abstract

  5. A summary on categorical contextual reasoning

    Tsampas, S., Nuyts, A., Devriese, D. & Piessens, F., 19 Jul 2019.

    Research output: Unpublished contribution to conferenceUnpublished paper

  6. SoCRATES - Scala Radar for Test Smells

    De Bleser, J., Di Nucci, D. & De Roover, C., 17 Jul 2019, Scala 2019 - Proceedings of the 10th ACM SIGPLAN International Symposium on Scala, Part of ECOOP 2019. ACM, p. 22-26 5 p. (Scala 2019 - Proceedings of the 10th ACM SIGPLAN International Symposium on Scala, Part of ECOOP 2019).

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

  7. Linear Capabilities for Fully Abstract Compilation of Separation-logic-verified Code

    Van Strydonck, T., Piessens, F. & Devriese, D., 1 Jul 2019, In : Proc. ACM Program. Lang.. 3, ICFP, p. 84:1-84:29

    Research output: Contribution to journalArticle

  8. Dependable Atomicity in Type Theory

    Nuyts, A. & Devriese, D., 14 Jun 2019.

    Research output: Unpublished contribution to conferenceUnpublished paper

  9. Menkar: Towards a Multimode Presheaf Proof Assistant

    Nuyts, A. & Devriese, D., 13 Jun 2019.

    Research output: Unpublished contribution to conferenceUnpublished paper

  10. Composable Actor Behaviour

    Van den Vonder, S., De Koster, J. & De Meuter, W., 6 Jun 2019, Distributed Applications and Interoperable Systems. Pereira, J. & Ricci, L. (eds.). Springer Cham, p. 57-73 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11534 LNCS).

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

  11. Temporal safety for stack allocated memory on capability machines

    Tsampas, S., Devriese, D. & Piessens, F., Jun 2019, 32nd IEEE Computer Security Foundations Symposium. IEEE, p. 243-255 (IEEE Computer Security Foundations Symposium (CSF)).

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

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

ID: 25292