1. 2020
  2. Two Decades of Live Coding and Debugging of Virtual Machines Through Simulation

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

    Research output: Contribution to journalArticle

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

  4. Uninitialized Capabilities

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

    Research output: Book/ReportOther report

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

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

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

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

  9. 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) In : Leibniz international proceedings in informatics. 166

    Research output: Contribution to journalArticle

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

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

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

ID: 25292