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

  3. Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs

    Torres Lopez, C., Gurdeep Singh, R., Marr, S., Gonzalez Boix, E. & Scholliers, C., 2019.

    Research output: Unpublished contribution to conferencePoster

  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)

  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 paper

  6. Squirrel: An Extensible Distributed Key-Value Store


    De Porre, K. & Gonzalez Boix, E., 2019.

    Research output: Unpublished contribution to conferencePoster

  7. Squirrel: an extensible distributed key-value store

    De Porre, K. & Gonzalez Boix, E., 2019, Proceedings of the 4th ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection. 10 p.

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

  8. 2018
  9. 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)

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

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

Previous 12 3 4 5 6 7 8 9 ...50 Next

ID: 25292