| Year |
Student |
Thesis | Supervisors | Programme | Content |
|---|
| 2022‑2023 | Kling, A. (Alano) | Automatically Deriving Sorting Algorithms in tUPL | Rietveld, dr. K.F.D., Wijshoff, prof.dr. H.A.G. | Inf | |
| 2022 | Minakova, S. (Svetlana) | System-level Design For Efficient Execution of CNNs at the Edge | Stefanov, dr. T.P., Wijshoff, prof.dr. H.A.G. | PhD | |
| 2021‑2022 | Blom, M. | AMOOSE: A Domain Specific Language for the Astrophysical Multipurpose ... | Rietveld, dr. K.F.D., Wijshoff, prof.dr. H.A.G. | CS | |
| 2020 | Niknam, S. (Sobhan) | Generalized Strictly Periodic Scheduling Analysis, Resource Optimizati... | Stefanov, dr. T.P., Wijshoff, prof.dr. H.A.G. | PhD | |
| 2018‑2019 | Huybers, Richard | A Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimiza... | Laarman, dr. A.W., Wijshoff, prof.dr. H.A.G. | CS | |
| 2018‑2019 | Zwaan, Dennis van der | A Data Structure Optimizing Compiler for tUPL | Rietveld, dr. K.F.D., Wijshoff, prof.dr. H.A.G. | CS | |
| 2016‑2017 | Hommelberg, A.G.M. (Anne) | Using the Forelem Framework to Express and Optimize K-means Clustering | Wijshoff, prof.dr. H.A.G., Rietveld, dr. K.F.D. | CS | |
| 2016‑2017 | Strien, B.E. (Bart) van | Deriving Highly Efficient Implementations of Parallel PageRank | Wijshoff, prof.dr. H.A.G., Rietveld, dr. K.F.D. | CS | |
| 2016‑2017 | Verweij, G.J.W. (Geerten) | Comparison of the Effectiveness of Shared Memory Optimizations for Ste... | Rietveld, dr. K.F.D., Wijshoff, prof.dr. H.A.G. | Inf | |
| 2016‑2017 | Zandvliet, J.J.M. (Jos) | Vectorized Sparse Matrix Kernels using Hybrid Data Layouts | Rietveld, dr. K.F.D., Wijshoff, prof.dr. H.A.G. | Inf | |
| 2016‑2017 | Jansen, B.A. (Bernardus) | The state of Bufferbloat in the Netherlands | Wijshoff, prof.dr. H.A.G., Rietveld, dr. K.F.D. | Inf | |
| 2016‑2017 | Khalass, N. (Nouri) | Metaprogramming in Modern Programming Languages | Wijshoff, prof.dr. H.A.G., Rietveld, dr. K.F.D. | Inf | |
| 2016‑2017 | Peters, L.J. (Bert) | Utilizing a Tuple-Based Optimization Framework for Graph Algorithms | Wijshoff, prof.dr. H.A.G., Rietveld, dr. K.F.D. | Inf | |
| 2015‑2016 | Nibbeling, J. (Joost) | Implementation of A Parallel Back Substitution Solver on GPUs | Rietveld, dr. K.F.D., Wijshoff, prof.dr. H.A.G. | Inf | |
| 2014‑2015 | Veenman, C. (Christian) | A Framework for Cross-Platform Dynamically Loaded Libraries | Rietveld, dr. K.F.D., Wijshoff, prof.dr. H.A.G. | Inf | |
| 2014 | Rietveld, K.F.D. (Kristian) | A Versatile Tuple-Based Optimization Framework | Wijshoff, prof.dr. H.A.G. | PhD | |
| 2013‑2014 | Zwet, R. (Rick) van der | Enhancing Relation Discovery in Unmarked Spatial Temporal Data using V... | Wijshoff, prof.dr. H.A.G., Bakker, dr. E.M. | CS | |
| 2013‑2014 | Luik, L. (Lars) van | Implementing I/O Infrastructure Improvements for S.M.A.C.K. | Wijshoff, prof.dr. H.A.G., Rietveld, dr. K.F.D. | Inf | |
| 2013 | Holm, C.W.M. (Mattias) | Optimizing Pointer Linked Data Structures | Wijshoff, prof.dr. H.A.G. | PhD | |
| 2013 | Dal, G. (Giso) | On GPU Fourier Transformations | Wijshoff, prof.dr. H.A.G., Rietveld, dr. K.F.D. | CS | |
| 2012‑2013 | Treurniet, F. (Florian) | The Leiden Zipper: A Bridging Architecture | Wijshoff, prof.dr. H.A.G., Rietveld, dr. K.F.D. | Inf | |
| 2012 | Minh, T.N. (Tran) | Workload Modeling and Performance Evaluation in Parallel Systems | Wijshoff, prof.dr. H.A.G., Wolters, dr. A.A. | PhD | |
| 2012 | Van Thieu, V. (Vu) | Opportunities for Performance Optimization of Applications through Cod... | Wijshoff, prof.dr. H.A.G., Wolters, dr. A.A. | PhD | |
| 2012 | Drunen, M. (Matthijs) van | Porting S.M.A.C.K. to the x86 Architecture | Wijshoff, prof.dr. H.A.G., M. Holm, Rietveld, dr. K.F.D. | Inf | |
| 2011 | Cheng, X. (Xiwen) | High Density Multi-Cell Wireless Networks | Wijshoff, prof.dr. H.A.G. | Inf | |
| 2010 | Spek, H.L.A. (Harmen) van der | Transparent Restructuring of Pointer-Linked Data | Wijshoff, prof.dr. H.A.G., Bakker, dr. E.M. | PhD | |
| 2009 | Rohling, J.H.T. (Jos) | Network Properties of the Mammalian Circadian Clock | Wijshoff, prof.dr. H.A.G., prof.dr. J.H. Meijer, Wolters, dr. A.A. | PhD | |
| 2009 | Kaziliunas, A. | DISCUS: A Grade Management System | Wijshoff, prof.dr. H.A.G., Lew, prof.dr. M.S.K. | CS | |
| 2009 | Rietveld, K.F.R. (Kristian) | An Implementation of Intelligent Disk Block Replication in Minix | Wijshoff, prof.dr. H.A.G., Deutz, dr. A.H. | CS | |
| 2008 | Cristea, M.L. (Mihai-Lucian) | Parallel and Distributed Processing in High Speed Traffic Monitoring | Wijshoff, prof.dr. H.A.G., Bos | PhD | |
| 2008 | Li, H. (Hui) | Workload Characterization, Modeling, and Prediction in Grid Computing | Wijshoff, prof.dr. H.A.G., Wolters, dr. A.A. | PhD | |
| 2008 | Gast, E. (Erik) AND Gouw, S. (Stijn) de | Hoge Kwaliteit Video op een Lage Bandbreedte Verbinding | Wijshoff, prof.dr. H.A.G. | Inf | |
| 2006 | Berk, V.H. (Vincent) | Process Query Systems: Advanced Technologies for Process Detection and... | Wijshoff, prof.dr. H.A.G., prof.dr. G.V. Cybenko | PhD | |
| 2006 | Haneda, M. (Masayo) | Statistical Compiler Tuning | Wijshoff, prof.dr. H.A.G., Knijnenburg, dr. P.M.W. | PhD | |
| 2006 | Mark, P.J. (Paul) van der | Code Generation for Large Scale Applications | Wijshoff, prof.dr. H.A.G., Wolters, dr. A.A. | PhD | |
| 2006 | Groot, S. (Sven) | Sparse Code Optimization: Automatic Transformation of Linked List Poin... | Wijshoff, prof.dr. H.A.G., Bakker, dr. E.M. | CS | |
| 2006 | Spek, H. (Harmen) van der | Towards an Automatic Derivation of Tarjan's Algorithm for Detecting St... | Wijshoff, prof.dr. H.A.G., Bakker, dr. E.M. | CS | |
| 2006 | Velden, R. (Richard) | Benchmarking Database Distribution by Simulating Load on the Web-tier | Wijshoff, prof.dr. H.A.G. | CS | |
| 2004 | Pinkers, R.P.J. (Rogier) | Analysis of Compiler Optimizations using Orthogonal Arrays | Knijnenburg, dr. P.M.W., Wijshoff, prof.dr. H.A.G. | CS | |
| 2003 | Cheresiz, D. (Dmitry) | Complex Streamed Media Processor Architecture | Wijshoff, prof.dr. H.A.G., prof.dr. S. Vassiliadis, dr. B.H.H. Juurlink | PhD | |
| 2002 | Kisuki, T. (Toru) | Iterative Compilation in Program Organization | Wijshoff, prof.dr. H.A.G., Knijnenburg, dr. P.M.W. | PhD | |
| 2002 | Krul, T.W.J.P. (Timo) | A Scalable Platform for Internet Topology Discovery and Visualization | Wijshoff, prof.dr. H.A.G., Bos | CS | |
| 2001 | Breg, F. (Fabian) | Java for High Performance Computing | Wijshoff, prof.dr. H.A.G., prof.dr. C.D. Polychronopoulos, prof.dr. D.B. Gannon | PhD | |
| 2000 | Sluiter, F.P. (Floris) | A New Branch Prediction Strategy | Wijshoff, prof.dr. H.A.G. | CS | |
| 1998 | Duin, A.C.N. (Arno) van | Parallel Sparse Matrix Computations | Wijshoff, prof.dr. H.A.G., prof.dr. H.A. van der Vorst | PhD | |
| 1998 | Engelen, R.A. (Robert) van | Ctadel: A Generator of Efficient Numerical Codes | Wijshoff, prof.dr. H.A.G., Wolters, dr. A.A. | PhD | |
| 1997 | Juurlink, B.H.H. (Ben) | Computational Models for Parallel Computers | Wijshoff, prof.dr. H.A.G. | PhD | |
| 1996 | Bik, A.J.C. (Aart) | Compiler Support for Sparse Matrix Computations | Wijshoff, prof.dr. H.A.G. | PhD | |
| 1993 | Hoogland, N.J. (Nick) | Sold State Disk | Wijshoff, prof.dr. H.A.G. | CS | |
