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

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

  4. Temporal safety for stack allocated memory on capability machines

    Tsampas, S., Devriese, D. & Piessens, F., Jun 2019, 32nd IEEE Computer Security Foundations Symposium. IEEE, (IEEE Computer Security Foundations Symposium (CSF)).

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

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

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

  7. GuardiaML: Machine Learning-Assisted Dynamic Information Flow Control

    Scull Pupo, A. L., Nicolay, J., Efthymiadis, K., Nowe, A., De Roover, C. & Gonzalez Boix, E., 15 Mar 2019, Proceedings of the 26th International Conference on Software Analysis, Evolution, and Reengineering (SANER 2019). Shihab, E., Lo, D. & Wang, X. (eds.). IEEE, p. 624-628 5 p. 8667979. (SANER 2019 - Proceedings of the 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering).

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

  8. Mining Scala Framework Extensions for Recommendation Patterns

    Pacheco, Y., De Bleser, J., Molderez, T. C., Di Nucci, D., De Meuter, W. & De Roover, C., 15 Mar 2019, Proceedings of the 26th International Conference on Software Analysis, Evolution, and Reengineering (SANER 2019). Shihab, E., Lo, D. & Wang, X. (eds.). IEEE, p. 514-523 10 p. 8668019. (SANER 2019 - Proceedings of the 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering).

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

  9. Crystal Gazer: Profile-Driven Write-Rationing Garbage Collection for Hybrid Memories

    Akram, S., Sartor, J., McKinley, K. S. & Eeckhout, L., Mar 2019, In : Journal Proceedings of the ACM on Measurement and Analysis of Computing Systems - SIGMETRICS. 3, 1, p. 1-27 27 p., 9.

    Research output: Contribution to journalArticleResearchpeer-review

  10. Querying distilled code changes to extract executable transformations

    Stevens, R., Molderez, T. C. & De Roover, C., 15 Feb 2019, In : Empirical Software Engineering. 24, 1, p. 491-535 45 p.

    Research output: Contribution to journalArticleResearchpeer-review

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

ID: 25292