Research output per year
Research output per year
-
Monarch: A Modular Framework for Abstract Definitional Interpreters in Haskell
Vandenbogaerde, B., Verbelen, S., Van Es, N. & De Roover, C., 6 Oct 2025, Static Analysis - 32nd International Symposium, SAS 2025, Proceedings. Oh, H. & Sui, Y. (eds.). Springer, p. 357-385 29 p. (Lecture Notes in Computer Science; vol. 16100 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Open Access -
Abstract Slicing for Static Program Analysis
Verbelen, S., Vandenbogaerde, B., Van der Plas, J., Van Es, N. & De Roover, C., 9 Sept 2024, (Unpublished).Research output: Unpublished contribution to conference › Poster
File8 Downloads (Pure) -
Abstract Slicing To Improve The Speed Of Static Program Analysis
Verbelen, S., Vandenbogaerde, B., Van der Plas, J., Van Es, N. & De Roover, C., 2024, BENEVOL24: The 23rd Belgium-Netherlands Software Evolution Workshop. 23 ed. CEUR Workshop Proceedings, Vol. 3941. p. 134-145 12 p. (CEUR Workshop Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Meeting abstract (Book)
Open AccessFile38 Downloads (Pure) -
FERRARI: FailurE RepRoduction through automatic test cAse generation and stack tRace analysIs
Pontillo, V., Vandercammen, M., Verbelen, S. & De Roover, C., 2024, BENEVOL24: The 23rd Belgium-Netherlands Software Evolution Workshop. 23 ed. CEUR Workshop Proceedings, Vol. 3941. p. 177-189 13 p. (CEUR Workshop Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Meeting abstract (Book)
Open AccessFile24 Downloads (Pure)
Activities
-
3rd Summer School on Security Testing and Verification
Sarah Verbelen (Participant)
9 Sept 2024 → 11 Sept 2024Activity: Participating in or organising an event › Participation in workshop, seminar
-
40th International Conference on Software Maintenance and Evolution (ICSME 2024)
Sarah Verbelen (Participant)
7 Oct 2024 → 11 Oct 2024Activity: Participating in or organising an event › Participation in conference
-
BENEVOL 2024
Sarah Verbelen (Participant)
21 Nov 2024 → 22 Nov 2024Activity: Participating in or organising an event › Participation in workshop, seminar
-
Programming With Micro:bit
Sarah Verbelen (Contributor), Aäron Munsters (Contributor), Jim Bauwens (Contributor) & Elisa Gonzalez Boix (Contributor)
24 Nov 2024Activity: Other › CERL: Community Engaged Research and Learning activities