Past Students

Masters

  1. Ruohuang Zheng (graduated 2020)
  2. Amr Elhelw (graduated 2021)
  3. Louis Jenkins (graduated 2022)

Undergraduates

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