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

  3. A summary on categorical contextual reasoning

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

    Research output: Unpublished contribution to conferenceUnpublished paperResearch

  4. 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 journalArticleResearchpeer-review

  5. Dependable Atomicity in Type Theory

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

    Research output: Unpublished contribution to conferenceUnpublished paperResearch

  6. Menkar: Towards a Multimode Presheaf Proof Assistant

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

    Research output: Unpublished contribution to conferenceUnpublished paperResearch

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

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

  9. Cross-Project Just-in-Time Bug Prediction for Mobile Apps: An Empirical Assessment

    Di Nucci, D., May 2019, in Proceedings of 6th IEEE/ACM International Conference on Mobile Software Engineering and Systems.

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

  10. Towards scalable blockchain analysis

    Bragagnolo, S., Marra, M., Polito, G. & Gonzalez Boix, E., May 2019, Proceedings of the 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain. Wiley / IEEE Press, p. 1-7 7 p.

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

  11. Emulating and Evaluating Hybrid Memory for Managed Languages on NUMA Hardware

    Akram, S., Sartor, J., McKinley, K. S. & Eeckhout, L., 22 Apr 2019, 2019 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS). IEEE, p. 93-105 13 p. 8695664. (Proceedings - 2019 IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS 2019).

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

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

ID: 25292