Past Students
Masters
- Ruohuang Zheng (graduated 2020)
- Amr Elhelw (graduated 2021)
- Louis Jenkins (graduated 2022)
Undergraduates
- Natalie Kocsis (NSF REU, Sum2023, Spring 2024), Translation Correctness in the Yuzu Compiler [GitHub]
- Jesus Diaz (MMM REU, Sum2023), Evaluating Structure from Motion (SfM) in 3D Printing Quality Control [Report]
- Sophia Cao (MMM REU, Sum2023), Analyzing Videos of 3D Printing from a Depth Camera [Report]
- Paul Ouellette (F2021, S2022), Modern Compiler Implementation in ML, followed by Translation Validation for the QBE Compiler Backend (Senior Honors Thesis) [Github]
- Alexander Bowman (F2021, S2022), GPU Performance Analysis, followed by Atomic Performance Modeling on NVIDIA GPUs (Senior Honors Thesis) [GitHub]
- Pavlo Pastaryev (F2021), Polyhedral Scheduling on Deterministic Processors
- Shoham Shitrit (exploreCSR S2021, F2021), Automated Test Suite Generation [GitHub]
- Duong Phan (exploreCSR S2021), Using Stratified Sampling to Generate Better Tests
- Benjamin Carleton (Sum2020), Executable Models of PTX Elementary Math Functions [GitHub]
- Matthew Murante (Sum2020), eBPF Graal Implementation [GitHub]
- Tianyi Liu (S2020), Virtual Machine Study (Formal Semantics for eBPF in SAIL)
- Liam Heeger (F2019, S2020: with Prof. Ted Pawlicki), Quantum optimization of Quantum Programs, Senior Honors Thesis [GitHub] [Thesis]
- Matthew Boddewyn (F2019, S2020), Polyhedral Compilation (A Yorick to C compiler)
- Avi Saven (F2019, S2020), Program Behaviour Graphs (poster presented at UR Undergraduate Research, April 2020), [GitHub]
- Shanthanu S Rai (Sum2019, F2019), A Hybrid Graph Coloring Algorithm for GPUs [arXiv]
- Rohit M P (Sum2019, F2019), A Hybrid Graph Coloring Algorithm for GPUs [arXiv]
- Youssef Hussein (S2019, Xerox Fellow 2019), Software Performance Debugging
- Lusine Keshishyan (S2019), Parallelisation of Graph Algorithms
- Aaron McClure (F2019), Web UI For a Statistics Platform
- Erik Azzarano (MMM REU, Sum2018), A Framework for Developing Music-Generated Games
- Adriena Cribb (MMM REU, Sum2018), Applying Recurrent Variational Autoencoders to Musical Style Transfer
- Princeton Ferro (F2017, F2018), GPU accelerated BLAS [GitHub]
- Hunter Johnston (F2017, S2018), Compiling Graph Computations