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., 8 Apr 2020, (Accepted/In press) 34th European Conference on Object-Oriented Programming (ECOOP 2020). Hirschfeld, R. & Pape, T. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (Leibniz international proceedings in informatics; vol. 166).

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

  3. Tamper-proof security mechanism against liar objects in JavaScript applications

    Scull Pupo, A. L., Nicolay, J. & Gonzalez Boix, E., 23 Mar 2020, (Unpublished).

    Research output: Unpublished contribution to conferenceUnpublished abstract

  4. Two Decades of Live Coding and Debugging of VMs Through Simulation

    Ingalls, D., Miranda, E., Béra, C. & Gonzalez Boix, E., 19 Mar 2020, (Accepted/In press) In : Software: Practice and Experience. 21 p., SPE2841.

    Research output: Contribution to journalArticle

  5. Gavial: Programming the web with multi-tier FRP

    Reynders, B., Piessens, F. & Devriese, D., 14 Feb 2020, In : The Art, Science, and Engineering of Programming. 4, 3, 6.

    Research output: Contribution to journalArticle

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

  7. 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., 2020, (Accepted/In press) Proceedings of the 1st International Conference on Automated Software Testing (AST2020). 11 p.

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

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

  9. Automatic library categorization

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

    Research output: Unpublished contribution to conferenceUnpublished abstract

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

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

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

ID: 25292