Personal profile
Link to Utrecht University staff page
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
-
SDG 3 Good Health and Well-being
Fingerprint
Dive into the research topics where Gabriele Keller is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Publication network from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Scheduling Task and Data Parallelism in Array Languages with Work Assisting
de Wolff, I. G., van Balen, D. & Keller, G. K., 2026, Euro-Par 2025: Parallel Processing - 31st European Conference on Parallel and Distributed Processing, 2025, Proceedings. Nagel, W. E., Goehringer, D. & Diniz, P. C. (eds.). Springer Science and Business Media Deutschland GmbH, p. 38-52 15 p. (Lecture Notes in Computer Science; vol. 15900 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
-
A Layered Certifying Compiler Architecture
Krijnen, J. O. G., Swierstra, W., Chakravarty, M., Dral, J. & Keller, G., 9 Oct 2025, FUNARCH 2025 - Proceedings of the 3rd ACM SIGPLAN International Workshop on Functional Software Architecture, Co-located with ICFP/SPLASH 2025. Young, J. & Rizkallah, C. (eds.). Association for Computing Machinery, p. 1-20 20 p. (FUNARCH 2025 - Proceedings of the 3rd ACM SIGPLAN International Workshop on Functional Software Architecture, Co-located with ICFP/SPLASH 2025).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile -
Automated Game Testing With Online Search Agent and Model Construction, a Study
Shirzadehhajimahmood, S., Prasetya, I. S. W. B., Prandi, D., Dignum, F., Dastani, M. & Keller, G., Mar 2025, In: Software Testing Verification and Reliability. 35, 2, 23 p., e70002.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile -
Comparing Parallel Functional Array Languages: Programming and Performance
van Balen, D., De Matteis, T., Grelck, C., Henriksen, T., Hsu, A. W., Keller, G., Koopman, T., McDonell, T. L., Oancea, C., Scholz, S.-B., Šinkarovs, A., Smeding, T., Trinder, P., de Wolff, I. G. & Ziogas, A. N., 13 May 2025, arXiv, 74 p.Research output: Working paper › Preprint › Academic
File -
A Fast Wait-Free Solution to Read-Reclaim Races in Reference Counting
de Wolff, I. G., Anderson, D., Keller, G. K. & Seletskiy, A., 26 Aug 2024, Euro-Par 2024: Parallel Processing - 30th European Conference on Parallel and Distributed Processing, Proceedings. Carretero, J., Garcia-Blas, J., Shende, S., Brandic, I., Olcoz, K. & Schreiber, M. (eds.). Springer, p. 103-118 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14803 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile
Activities
- 1 Membership of committee
-
Programming Language Design and Implementation (Event)
Keller, G. (Chair)
2018 → 2019Activity: Membership › Membership of committee › Academic