https://www.thielescholz.eu/ 2026-04-18T14:56:22+00:00 https://www.thielescholz.eu/ https://www.thielescholz.eu/lib/exe/fetch.php?media=favicon.ico text/html 2021-12-20T16:16:00+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.thielescholz.eu/doku.php?id=bsc:2021:0323_2020_09_11_jordy_aaldering&rev=1640016960&do=diff 2020/09/11 Jordy Aaldering Jordy works on a new semantics for functional array languages that guarantees a certain level of laziness despite building on a strict execution mechanism. Key to this apparent contradiction is a form of offline partial evaluation which is manifested through program re-writes before the actual program evaluation. text/html 2021-12-20T16:16:25+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.thielescholz.eu/doku.php?id=bsc:2021:1220_2021_04_16_thomas_van_harskamp&rev=1640016985&do=diff 2021/04/16 Thomas van Harskamp Thomas works on flat representations for dimension-homogenously-nested multi-dimensional arrays. His particular goal is to investigate the performance trade-offs of different possible flat representations. He finished text/html 2022-09-05T11:38:55+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.thielescholz.eu/doku.php?id=bsc:2021:1220_2021_07_14_patrick_v._buerden&rev=1662377935&do=diff 2021/07/14 Patrick v. Buerden Patrick works on code generation for out-of-core computations on GPUs, i.e., kernels that perform operations on data that are too large to be stored in their entirety on GPU devices. He finished his thesis in May 2022. text/html 2021-12-20T16:04:35+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.thielescholz.eu/doku.php?id=bsc:2021:1220_2021_08_19_michiel_kraan&rev=1640016275&do=diff 2021/08/19 Michiel Kraan Michiel works on a programming interface for arrays of n-bit integers. The key here being a dense storage. As a special case, this covers arrays of dense boolean as 1-bit integers. text/html 2021-12-20T16:07:15+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.thielescholz.eu/doku.php?id=bsc:2021:1220_2021_12_16_adriana_frijo&rev=1640016435&do=diff 2021/12/16 Adriana Frijo Adriana works on code generation for AST serialisation and de-serialisation from xml-based AST descriptions in the context of the Sac compiler project.