1. 2020
  2. A debugging approach for live Big Data applications

    Marra, M., Polito, G. & Gonzalez Boix, E., Mar 2020, (Accepted/In press) In : Science of Computer Programming. 32 p.

    Research output: Contribution to journalArticle

  3. Gavial: Programming the web with multi-tier FRP

    Reynders, B., Piessens, F. & Devriese, D., 14 Feb 2020, In : The Art, Science, and Engineering of Programming,. 4, 3, 6.

    Research output: Contribution to journalArticle

  4. A Delta-Debugging Approach to Assessing the Resilience of Actor Programs through Run-time Test Perturbations

    De Bleser, J., Di Nucci, D. & De Roover, C., 2020, (Accepted/In press) Proceedings of the 1st International Conference on Automated Software Testing (AST2020). 11 p.

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

  5. 2019
  6. Reasoning about a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management

    Skorstengaard, L., Devriese, D. & Birkedal, L., 1 Dec 2019, In : ACM Trans. Program. Lang. Syst.. 42, 1, p. 5:1-5:53 53 p., 5.

    Research output: Contribution to journalArticle

  7. Mining Patterns in Source Code using Tree Mining Algorithms

    Pham, H. S., Nijssen, S., Mens, K., Di Nucci, D., Molderez, T. C., De Roover, C., Fabry, J. & Zaytsev, V., 28 Oct 2019, International Conference on Discovery Science. DS2019: 22nd International Conference on Discovery Science, Vol. 1. 10 p.

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

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

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

  10. A summary on categorical contextual reasoning

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

    Research output: Unpublished contribution to conferenceUnpublished paper

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

  12. Dependable Atomicity in Type Theory

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

    Research output: Unpublished contribution to conferenceUnpublished paper

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

ID: 25292