1. 2018
  2. Harnessing Community Knowledge in Heterogeneous Rule Engines

    Kambona, K. K., Renaux, T. & De Meuter, W., 2018, In : Lecture Notes in Business Information Processing. 322, p. 132-160 29 p.

    Research output: Contribution to journalArticleResearchpeer-review

  3. Parallel and Distributed Web Programming with Actors

    Myter, F., Scholliers, C. & De Meuter, W., 2018, In : Lecture Notes in Computer Science. 10789, p. 3-31 29 p.

    Research output: Contribution to journalSpecial issueResearch

  4. Parametricity versus the Universal Type

    Devriese, D., Patrignani, M. & Piessens, F., 2018, In : Proc. ACM Program. Lang.. 2, POPL, p. 1-23 23 p.

    Research output: Contribution to journalArticleResearchpeer-review

  5. Reasoning about a machine with local capabilities: Provably safe stack and return pointer management

    Skorstengaard, L., Devriese, D. & Birkedal, L., 2018, Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. Springer Verlag, Vol. 10801 LNCS. p. 475-501 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10801 LNCS).

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

  6. Reentrancy & Scoping in Rule Engines for Cloud-based Applications

    Kambona, K., 2018, ASP / VUBPRESS.

    Research output: ThesisPhD thesisResearch

  7. Two Decades of Smalltalk VM Development: Live VM development through Simulation Tools

    Miranda, E., Bera, C., Gonzalez Boix, E. & Ingalls, D., 2018, (Accepted/In press) Two Decades of Smalltalk VM Development: Live VM development through Simulation Tools.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contributionResearch

  8. 2017
  9. Employing Run-time Static Analysis to Improve Concolic Execution

    Vandercammen, M. & De Roover, C., 5 Dec 2017, BElgian-NEtherlands Software eVOLution Symposium. CEUR Workshop Proceedings, Vol. 2047. p. 26-29 4 p. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingMeeting abstract (Book)Research

  10. Modular Static Analysis of Actor Programs

    Stiévenart, Q., Nicolay, J., De Roover, C. & De Meuter, W., 5 Dec 2017. 5 p.

    Research output: Unpublished contribution to conferenceUnpublished abstractResearch

  11. Untangling Source Code Changes Using Program Slicing

    Muylaert, W. & De Roover, C., 5 Dec 2017, p. 36-38. 3 p.

    Research output: Unpublished contribution to conferenceUnpublished abstractResearch

  12. Search-based Tier Assignment for Optimising Offline Availability in Multi-tier Web Applications

    Philips, L., De Koster, J., De Meuter, W. & De Roover, C., 1 Dec 2017, In : The Art, Science, and Engineering of Programming. 2, 2, 29 p., 3.

    Research output: Contribution to journalArticleResearchpeer-review

Previous 1...6 7 8 9 10 11 12 13 ...48 Next

ID: 25292