1. 2019
  2. 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

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

  4. Omniscient DevOps Analytics

    Tamburri, D., Palomba, F., Di Nucci, D. & Di Giacomo, L., 2019, Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment - 1st International Workshop, DEVOPS 2018, Revised Selected Papers: First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers. Meyer, B., Meyer, B., Mazzara, M. & Bruel, J-M. (eds.). 1 ed. Springer International Publishing, Vol. 11350. p. 48-59 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11350 LNCS).

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

  5. Putting Order in Strong Eventual Consistency

    De Porre, K., Myter, F., De Troyer, C., Scholliers, C., De Meuter, W. & Gonzalez Boix, E., 2019, 19th Intl. Conf. Distributed Applications and Interoperable Systems: 19th IFIP WG 6.1 International Conference. Pereira, J. & Ricci, L. (eds.). Springer, Vol. 11534. p. 36-56 21 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 paperResearch

  6. 2018
  7. Concolic Testing of Full-Stack JavaScript Applications

    Vandercammen, M., Christophe, L., De Meuter, W. & De Roover, C., 11 Dec 2018, Proceedings of the 17th Belgium-Netherlands Software Evolution Workshop. CEUR Workshop Proceedings, Vol. 2361. p. 38-42 5 p. (Proceedings of the 17th Belgium-Netherlands Software Evolution Workshop; vol. 2361, no. 7).

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

  8. Methods and Tools for Focusing and Prioritizing the Testing Effort

    Di Nucci, D., 9 Nov 2018, Proceedings - 2018 IEEE International Conference on Software Maintenance and Evolution, ICSME 2018. IEEE, p. 722-726 5 p. 8530092. (2018 IEEE International Conference on Software Maintenance and Evolution (ICSME)).

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

  9. Untangling Composite Commits Using Program Slicing

    Muylaert, W. & De Roover, C., 9 Nov 2018, Proceedings - 18th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2018. IEEE, p. 193-202 10 p. 8530734

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

  10. StkTokens: Enforcing Well-bracketed Control Flow and Stack Encapsulation using Linear Capabilities - Technical Report with Proofs and Details

    Skorstengaard, L., Devriese, D. & Birkedal, L., 7 Nov 2018, 86 p.

    Research output: Book/ReportOther reportResearch

  11. A DSL for Distributed, Reactive Workflows

    Saey, M., 6 Nov 2018, (Unpublished).

    Research output: Unpublished contribution to conferenceUnpublished abstractResearch

  12. A Mete Rete Interface For Perpetually Online Distributed Rule-Based Systems

    Hubrechts, M., Kambona, K. K., Renaux, T., Van De Water, S., Saey, M. & De Meuter, W., 5 Nov 2018.

    Research output: Unpublished contribution to conferencePosterResearch

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

ID: 25292