1. 2020
  2. Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model

    Van den Vonder, S., Renaux, T., Oeyen, B., De Koster, J. & De Meuter, W., 6 Nov 2020, In : Leibniz international proceedings in informatics. 166, p. 1-29 29 p., 19.

    Research output: Contribution to journalArticle

  3. Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model (Artifact)

    Van den Vonder, S., Renaux, T., Oeyen, B., De Koster, J. & De Meuter, W., 6 Nov 2020, In : Dagstuhl Artifacts Series (DARTS). 6, 2, p. 1-4 4 p., 7.

    Research output: Contribution to journalArticle

  4. A Large Empirical Assessment of the Role of Data Balancing in Machine-Learning-based Code Smell Detection

    De Roover, C., Nov 2020, In : Journal of Systems and Software. 169, 17 p., 110693.

    Research output: Contribution to journalArticle

  5. On the Semantic Expressiveness of Recursive Types

    Patrignani, M., Martin, E. M. & Devriese, D., 21 Oct 2020, 153 p.

    Research output: Book/ReportOther report

  6. Abstract Congruence Criteria for Weak Bisimilarity

    Tsampas, S., Williams, C., Devriese, D. & Piessens, F., 15 Oct 2020, arXiv. 22 p.

    Research output: Book/ReportOther report

  7. Prioritising Server Side Reachability via Inter-process Concolic Testing

    Vandercammen, M., Christophe, L., Di Nucci, D., De Meuter, W. & De Roover, C., 1 Oct 2020, In : The Art, Science, and Engineering of Programming. 5, 2, 36 p.

    Research output: Contribution to journalArticle

  8. A Delta-Debugging Approach to Assessing the Resilience of Actor Programs through Run-time Test Perturbations

    De Bleser, J., Di Nucci, D. & De Roover, C., Oct 2020, Proceedings of the IEEE/ACM 1st International Conference on Automation of Software Test (AST2020). 11 p.

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

  9. From Causality to Stability: Understanding and Reducing Meta-Data in CRDTs

    Bauwens, J. & Gonzalez Boix, E., Oct 2020, Proceedings of the 17th International Conference on Managed Programming Languages and Runtimes (MPLR ’20). ACM, p. 1-12 12 p. (Proceedings of the 17th International Conference on Managed Programming Languages and Runtimes (MPLR ’20)).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  10. A Parallel Worklist Algorithm for Modular Analyses

    Van Es, N., Stiévenart, Q., Van der Plas, J. & De Roover, C., 27 Sep 2020, Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2020). IEEE, p. 1-12

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

  11. Compositional Information Flow Analysis for WebAssembly Programs

    Stiévenart, Q. & De Roover, C., 27 Sep 2020, 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020, September 27-28, 2020. IEEE, p. 13-24 12 p.

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

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

ID: 25292