Team
- Peter Achten
- Bernard van Gastel
- Niek Janssen
- Thomas Koopman
- Mart Lubbers
- Benedikt Rips
- Sven-Bodo Scholz
- Victor Zudilin
Publications
2025
VQhull: a Fast Planar Quickhull
@article{koopman2025vqhull,
author={Koopman, Thomas
and Aaldering, Jordy
and van Gastel, Bernard
and Scholz, Sven-Bodo},
title={VQhull: A Fast Planar Quickhull},
journal={arXiv},
eprint={2510.09417},
year=2025,
doi={10.48550/arXiv.2510.09417}
} Energy-Aware Dynamic Adaptation of Runtime Systems
@inproceedings{aaldering2025energy,
author={Aaldering, Jordy
and van Gastel, Bernard
and Scholz, Sven-Bodo},
title={Energy-Aware Dynamic Adaptation of Runtime Systems},
booktitle={Proceedings of the 26th International Symposium on Trends in Functional Programming},
publisher={Springer Nature},
series={TFP '25},
location={Oxford, UK},
year=2025,
month=jan,
pages={435--458},
numpages={24},
isbn={978-3-031-99751-8},
doi={10.1007/978-3-031-99751-8_19}
} Flattening Combinations of Arrays and Records
@inproceedings{huijben2025flattening,
author={Huijben, Reg
and Aaldering, Jordy
and Achten, Peter
and Scholz, Sven-Bodo},
title={Flattening Combinations of Arrays and Records},
booktitle={Proceedings of the 25th International Symposium on Trends in Functional Programming},
editor={Chang, Stephen and Hemann, Jason},
publisher={Springer Nature},
series={TFP '24},
location={South Orange, NJ, USA},
year=2025,
month=jan,
articleno=10,
pages={220--240},
numpages=21,
isbn={978-3-031-74558-4},
doi={10.1007/978-3-031-74558-4_10}
} 2024
Type Patterns: Pattern Matching on Shape-Carrying Array Types
@inproceedings{aaldering2024type,
author={Aaldering, Jordy
and Scholz, Sven-Bodo
and van Gastel, Bernard},
title={Type Patterns: Pattern Matching on Shape-Carrying Array Types},
booktitle={Proceedings of the 35th International Symposium on Implementation of Functional Languages},
publisher={ACM},
address={New York, NY, USA},
series={IFL '23},
location={Braga, Portugal},
year=2024,
month=jun,
articleno=11,
numpages=14,
isbn={9798400716317},
doi={10.1145/3652561.3652572}
} 2021
A new semantics for array programming languages; how to introduce some laziness without being lazy
@mastersthesis{aaldering2021semantics,
author={Aaldering, Jordy
and Scholz, Sven-Bodo
and Koopman, Pieter},
title={A new semantics for array programming languages; how to introduce some laziness without being lazy},
type={Bachelor's thesis},
school={Radboud University},
address={Nijmegen, Netherlands},
year=2021,
month=mar,
url={https://www.cs.ru.nl/bachelors-theses/2021/Jordy_Aaldering___1004292___A_new_semantics_for_array_programming_languages_-_how_to_introduce_some_laziness_without_being_lazy.pdf}
}