Papers
Some representative publications from our group in this area:
- Jordy Aaldering, Sven-Bodo Scholz, Bernard van Gastel: Type Patterns: Pattern Matching on Shape-Carrying Array Types. 2024. In IFL'23: Proceedings of the 35th Symposium on Implementation and Application of Functional Languages: 11:1-11:14.
- Miriam Fahimi, Petter Falk, Jonathan W. Y. Gray, Juliane Jarke, Katharina Kinder-Kurlanda, Evan Light, Ellouise McGeachey, Itzelle Medina Perea, Nikolaus Poechhacker, Lindsay Poirier, Theo Röhle, Tamar Sharon, Marthe Stevens, Bernard van Gastel, Quinn White and Irina Zakharova: In/visibilities in Data Studies: Methods, Tools and Interventions. 2024. In Dialogues in Data Power: Shifting Response-abilities in a Datafied World.
- Roy van der Steen, Bernard van Gastel: The organizational hurdles of structurally reducing the energy consumption of software. 2023. In Proceedings of BENEVOL 2023, 2023.
- Sjoerd Crooijmans, Mart Lubbers, Pieter Koopman. Reducing the Power Consumption of IoT with Task-Oriented Programming. In: Trends in Functional Programming: 23rd International Symposium, TFP 2022, Virtual Event, March 17–18, 2022, Revised Selected Papers.
- Markus Klinik, Bernard van Gastel, Cynthia Kop, Marko van Eekelen. Skylines for Symbolic Energy Consumption Analysis. FMICS 2020: 93-112.
- Pascal van Gastel, Bernard van Gastel, Marko van Eekelen. Detecting energy bugs and hotspots in control software using model checking. Programming 2018: 93-98.
- Bernard van Gastel. Analysing energy consumption of systems controlled by software. Programming 2017: 19:1-19:2.
