1. 2020
  2. A Categorical Approach to Secure Compilation

    Tsampas, S., Nuyts, A., Devriese, D. & Piessens, F., 2020, Categorical Methods in Computer Science. Springer, p. 155-179 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12094 LNCS).

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

  3. A debugging approach for live Big Data applications

    Marra, M., Polito, G. & Gonzalez Boix, E., 2020, In : Science of Computer Programming. 194, 32 p., 102460.

    Research output: Contribution to journalArticle

  4. A Reusable & Reconfigurable Citizen Observatory Platform

    Kambona, K., Zaman, J. & De Meuter, W., 2020, (Accepted/In press) In : Future Generation Computer Systems.

    Research output: Contribution to journalArticle

  5. Automatic library categorization

    Velazquez Rodriguez, C. E. & De Roover, C., 2020. 2 p.

    Research output: Unpublished contribution to conferenceUnpublished abstract

  6. Deciding Robustness for Lower SQL Isolation Levels

    Ketsman, B., Koch, C., Neven, F. & Vandevoort, B., 2020, Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. ACM, p. 315-330

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

  7. Framework-Aware Debugging with Stack Tailoring

    Marra, M., Polito, G. & Gonzalez Boix, E., 2020, (Accepted/In press) Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages (DLS '20). ACM, 14 p.

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

  8. MUTAMA: An Automated Multi-label Tagging Approach for Software Libraries on Maven

    Velazquez Rodriguez, C. E. & De Roover, C., 2020, Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM2020). IEEE, p. 243-247 5 p.

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

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

  11. 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, Proceedings of the 22nd International Conference on Discovery Science (DS2019). DS2019: 22nd International Conference on Discovery Science, 10 p.

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

  12. Asynchronous snapshots of actor systems for latency-sensitive applications

    Aumayr, D., Marr, S., Gonzalez Boix, E. & Mossenbock, H., 23 Oct 2019, Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes. Hosking, A. L. & Finocchi, I. (eds.). MPLR 2019 ed. ACM New York, p. 157-171

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

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

ID: 25292