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.
Note: the overview per supervisor is likely partially incomplete.
73 entries found.
Program | Year | Role | Student | Thesis | Content |
---|---|---|---|---|---|
Master Computer Science | 2024 | second supervisor | Kroes, B. (Brandon) | DAS-BR: a Tool for Heterogeneous and Distributed Blender Renders | |
Master Computer Science | 2024 | second supervisor | Shi, X. (Xudong) | Safe, Fast and Elegant Communication in Rust | |
Master Computer Science | 2024 | first supervisor | Dofferhoff, R. (Rens) | Exhaustive Performance Exploration of Instruction Ordering on OOO-Proc... | |
Master Computer Science | 2024 | first supervisor | Gurbuz, D.O. (Dervis Onur) | Cross-provider Serverless Trigger Benchmarking | |
Master Computer Science | 2024 | first supervisor | Putten, S. van der (Stephan) | Towards a Testbed for Evaluating Microservice Architecture Performance | |
Master Computer Science | 2024 | first supervisor | Sundar, S. (Srishankar) | MLDep: A Testbed for Performance Exploration of Machine Learning Infer... | |
Bachelor Informatica | 2024 | second supervisor | Hofstra, T. (Tobias) | Developing an Auto-Tunable GEMM Kernel that Utilizes Tensor Cores | |
Bachelor Informatica | 2024 | first supervisor | Baron, B.R. (Björn Roy) | Exception Handling Support for the Cranelift Code Generator | |
Bachelor Informatica | 2024 | first supervisor | Jong, T. (Tim) de | Optimizing RISC-V Binaries Using LLVM-based Same-Architecture Binary T... | |
Master Computer Science | 2023 | second supervisor | Horokhovskyi, I. (Ivan) | Jarvis: A cloud-based multi-purpose data quality library - CONFIDENTIA... | |
Master Computer Science | 2023 | first supervisor | Dofferhoff, Rens | Exhaustive Performance Exploration of Instruction Ordering on 000-Proc... | |
Bachelor Bioinformatica | 2023 | second supervisor | Onderwater, J. (Jurian) | High throughput acquisition of zebrafish larvae using VAST | |
Bachelor Informatica | 2023 | second supervisor | Ruigrok, L. (Lars) | Benchmarking Lightweight Cryptography for TLS | |
Bachelor Informatica | 2023 | first supervisor | Kling, A. (Alano) | Automatically Deriving Sorting Algorithms in tUPL | |
Bachelor Informatica | 2023 | first supervisor | Lim, X.N. (Nuan) | Parallel code generation using SIMD on multi-core CPUs | |
Bachelor Informatica | 2023 | first supervisor | Massa, R. (Rajeck) | Implementation and Evaluation of a Detection Tool for Data Hiding Tech... | |
Master Computer Science | 2022 | second supervisor | Hasenoot, J. | The Performance of Distributed Applications: A Traffic Shaping Perspec... | |
Master Computer Science | 2022 | second supervisor | Kleingeld, D. | [GovFS, a scalable control plane using groups of metadata nodes] | |
Master Computer Science | 2022 | second supervisor | Vos, L. | Automatically testing libraries symbolically | |
Master Computer Science | 2022 | first supervisor | Blom, M. | AMOOSE: A Domain Specific Language for the Astrophysical Multipurpose ... | |
Master Computer Science | 2022 | first supervisor | Hertogh, M. | Hypervisor Isolation | |
Bachelor Informatica | 2022 | second supervisor | Holtrop, S. (Sjors) | Linker-Directive Based File System in Userspace: Introducing LDP FUSE | |
Master Computer Science | 2021 | first supervisor | Huijben, Marcel | Parallel Code Generation on the GPU | |
Master Computer Science | 2021 | first supervisor | Voetter, Robin | Parallel Lexing, Parsing and Semantic Analysis on the GPU | |
Bachelor Bioinformatica | 2021 | second supervisor | Boonstra, N.J.L. (Niels) | Is the Linux Completely Fair Scheduler Ready for Serverless Workloads? | |
Bachelor Informatica | 2021 | second supervisor | Sevingil, C. (Cem) | A Comparison of Breadth-First Search Implementations for Real-World Ne... | |
Bachelor Informatica | 2020 | second supervisor | Driessen, W.A.M. (Wampie) | How Example Set Size Influences the Effectiveness of the AFL Fuzzer | |
Bachelor Informatica | 2020 | first supervisor | Doesburg, M. (Max) | Optimization of the Reconstruction of Zebrafish on the LLSC Using the ... | |
Bachelor Informatica | 2020 | first supervisor | IJpelaar, M. (Mariska) | An Initial Exploration of the Importance of Program Instruction Order ... | |
Master Computer Science | 2019 | first supervisor | Zwaan, Dennis van der | A Data Structure Optimizing Compiler for tUPL | |
Bachelor Bioinformatica | 2019 | second supervisor | Boer, W.F.H. (Wilco) de | Evaluation and Improvement of Methods and Models for Segmentation of Z... | |
Bachelor Bioinformatica | 2019 | second supervisor | Dekker, L. (Loes) | Optimization of High-Throughput Zebrash Imaging on a Distributed Comp... | |
Bachelor Informatica | 2019 | second supervisor | Dofferhoff, R.M.J. (Rens) | A Performance Evaluation of Platform-Independent Methods to Search for... | |
Bachelor Informatica | 2019 | second supervisor | Göebel, M.A. (Michael) | Developing and Verifying Methods to Search for Hidden Instructions on ... | |
Bachelor Informatica | 2019 | second supervisor | Hamer, V. (Vincent) den | Hiding in Plain Sight: How Location affects Memory Error Detectability... | |
Bachelor Informatica | 2019 | second supervisor | Jonckheere, L.S. (Luc) de | Efficiently Generating the Mandelbrot and Julia Sets | |
Bachelor Informatica | 2019 | second supervisor | Maan, G.C. (Gijsbert) | Hardware Acceleration of Matrix Multiplication | |
Bachelor Informatica | 2019 | second supervisor | Zande, E.R. (Elgar) van der | Examining out of Bounds Defense Systems' Performance against Independe... | |
Bachelor Informatica | 2019 | first supervisor | Voetter, R.F. (Robin) | Volumetric Ray Tracing with Vulkan | |
Master Computer Science | 2018 | first supervisor | Brinkmann, G.G. | Interactive Visualization of Large Networks on a Tiled Display System | |
Bachelor Bioinformatica | 2018 | second supervisor | Spaink, H.A.J. (Hermes) | Age Classification of Zebrafish Larvae using Machine Learning from HOG... | |
Bachelor Informatica | 2018 | supervisor | Smeding, T.J. (Tom) | Fast Large-Integer Matrix Multiplication [IW] | |
Bachelor Informatica | 2018 | second supervisor | Rijn, V. (Vincent) van | Quantifying Fuzzer Performance on Spatial and Temporal Memory Errors | |
Bachelor Informatica | 2018 | second supervisor | Vos, L. (Levi) | Quantifying the Performance of Fuzzers in the Detection of Security Th... | |
Bachelor Informatica | 2018 | first supervisor | Beinema, E. (Emiel) | Energy Efficiency across Programming Languages Revisited | |
Bachelor Informatica | 2018 | first supervisor | Voogt, M.A. (Mick) | Optimization of Metagenomics Analysis using Distributed Computing on L... | |
Master Computer Science | 2017 | third supervisor | Spierenburg, M.J. (Manuel) | Virtual Machine for Secure Embedded Systems | |
Master Computer Science | 2017 | second supervisor | Hommelberg, A.G.M. (Anne) | Using the Forelem Framework to Express and Optimize K-means Clustering | |
Master Computer Science | 2017 | second supervisor | Strien, B.E. (Bart) van | Deriving Highly Efficient Implementations of Parallel PageRank | |
Master Computer Science | 2017 | second supervisor | Treurniet, F.P. (Florian) | Transposition Driven Scheduling: Back to the Future? A Study on Vector... | |
Bachelor Informatica | 2017 | second supervisor | Bolster, Y. (Yorick) | Automatically finding the best blocking size for matrix multiplication | |
Bachelor Informatica | 2017 | second supervisor | Dekkers, C.H.J. (Cas) | Creating Models of Interaction for a Video Wall | |
Bachelor Informatica | 2017 | second supervisor | Jansen, B.A. (Bernardus) | The state of Bufferbloat in the Netherlands | |
Bachelor Informatica | 2017 | second supervisor | Jonkman, J.L. (Jacob) | Interacting with BigEye: Using Gesture-Based Input Methods to control ... | |
Bachelor Informatica | 2017 | second supervisor | Khalass, N. (Nouri) | Metaprogramming in Modern Programming Languages | |
Bachelor Informatica | 2017 | second supervisor | Meerkerk, R. (Ruben) | Design, Analysis, and Optimization of an Embedded Processor | |
Bachelor Informatica | 2017 | second supervisor | Meeuwsen, J. (Juliette) | Design and Implementation of 3D reconstruction from axial views on the... | |
Bachelor Informatica | 2017 | second supervisor | Peters, L.J. (Bert) | Utilizing a Tuple-Based Optimization Framework for Graph Algorithms | |
Bachelor Informatica | 2017 | second supervisor | Suanet, L. (Lars) | Finding Anomalies in Sequential Data using Local Outlier Factor | |
Bachelor Informatica | 2017 | first supervisor | Verweij, G.J.W. (Geerten) | Comparison of the Effectiveness of Shared Memory Optimizations for Ste... | |
Bachelor Informatica | 2017 | first supervisor | Zandvliet, J.J.M. (Jos) | Vectorized Sparse Matrix Kernels using Hybrid Data Layouts | |
Bachelor Informatica | 2016 | second supervisor | Persoon, R. (Ricardo) | Design and Implementation of Website Backup as a Service | |
Bachelor Informatica | 2016 | first supervisor | Faas, M. (Micky) | Sparse Voxel Mip-Maps: Versatile Lossy Compression of Volumetric Data | |
Bachelor Informatica | 2016 | first supervisor | Nibbeling, J. (Joost) | Implementation of A Parallel Back Substitution Solver on GPUs | |
Bachelor Informatica | 2016 | first supervisor | Zwaan, D. (Dennis) van der | Developing an Integrated Environment for OPT Image Reconstruction | |
Bachelor Informatica | 2015 | second supervisor | Es, D. (David) van | Deploying Phenotype Analysis on LLSC | |
Bachelor Informatica | 2015 | second supervisor | Klaver, S. (Simon) | Analysing Electron Tomography with IMOD on the LLSC | |
Bachelor Informatica | 2015 | first supervisor | Veenman, C. (Christian) | A Framework for Cross-Platform Dynamically Loaded Libraries | |
Bachelor Informatica | 2014 | second supervisor | Luik, L. (Lars) van | Implementing I/O Infrastructure Improvements for S.M.A.C.K. | |
Bachelor Informatica | 2014 | second supervisor | Veen, N. (Neal) van | Deploying Single Particle Analysis on the LLSC | |
Master Computer Science | 2013 | second supervisor | Dal, G. (Giso) | On GPU Fourier Transformations | |
Bachelor Informatica | 2013 | second supervisor | Treurniet, F. (Florian) | The Leiden Zipper: A Bridging Architecture | |
Bachelor Informatica | 2012 | third supervisor | Drunen, M. (Matthijs) van | Porting S.M.A.C.K. to the x86 Architecture |