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