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

    Research output: Contribution to journalArticle

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

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

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

  5. Leibniz equality is isomorphic to Martin-Lof identity, parametrically

    Abel, A., Cockx, J., Devriese, D., Timany, A. & Wadler, P., 17 Jun 2020, In : Journal of Functional Programming. 30, 14 p., e17.

    Research output: Contribution to journalArticle

  6. Uninitialized Capabilities

    Huyghebaert, S., Strydonck, T. V., Keuchel, S. & Devriese, D., 2 Jun 2020, 8 p.

    Research output: Book/ReportOther reportResearch

  7. CScript: A Distributed Programming Language for Building Mixed-Consistency Applications

    De Porre, K., Myter, F., Scholliers, C. & Gonzalez Boix, E., 30 May 2020, In : Journal of Parallel and Distributed Computing. 144, p. 109-123 15 p.

    Research output: Contribution to journalSpecial issue

  8. 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., 29 May 2020, (Accepted/In press) In : Dagstuhl Artifacts Series (DARTS). 6, 2

    Research output: Contribution to journalArticle

  9. CapablePtrs: Securely Compiling Partial Programs using the Pointers-as-Capabilities Principle

    El-Korashy, A., Tsampas, S., Patrignani, M., Devriese, D., Garg, D. & Piessens, F., 12 May 2020, 19 p.

    Research output: Book/ReportOther reportResearch

  10. Two Decades of Live Coding and Debugging of Virtual Machines Through Simulation

    Ingalls, D., Miranda, E., Béra, C. & Gonzalez Boix, E., 8 May 2020, In : Software: Practice and Experience. 50, 9, p. 1629-1650 21 p., SPE2841.

    Research output: Contribution to journalArticle

  11. Flec: a versatile programming framework for eventually consistent systems

    Bauwens, J. & Gonzalez Boix, E., 27 Apr 2020, PaPoC '20: Proceedings of the 7th Workshop on Principles and Practice of Consistency for Distributed Data. 4 p.

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

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

ID: 25292