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