# People

**Source**: https://cforall.uwaterloo.ca/people
**Parent**: https://cforall.uwaterloo.ca/~cforall/

We are exploring both theoretical and applied areas of programming
languages, from type systems and static analysis to virtual machines
and concurrency.

- [Professors](#professors)
- [Research Assistants](#RA)
- [Ph.D.](#phd)
- [Masters](#masters)
- [Alumni](#)

  [Ph.D.](#phdalumni)
  [Masters](#mastersalumni)
  [Essay](#essayalumni)
  [USRA](#usraalumni)
  [URA](#uraalumni)

## Professors

- Concurrency, visualization and debugging, polymorphism, persistence.
- Software systems and networking.

## Ph.D. Students

- **Fangren Yu**

  **Advisor:** Peter Buhr\
  C∀ type resolver.

## Masters Students

- **Michael Brooks**

  **Advisor:** Peter Buhr\
  C∀ arrays and containers.
- **Alvin Zhang**

  **Advisor:** Peter Buhr\
  C∀ modules/packages

## Alumni

### Ph.D.

Thierry Delisle, 2022.
:   Thesis title: [The C∀ Scheduler](https://uwspace.uwaterloo.ca/handle/10012/18941).

Aaron Moss, 2019.
:   Thesis title: [C∀ Type System Implementation](https://uwspace.uwaterloo.ca/handle/10012/14584).

Saman Barghi, 2018.
:   Thesis title: [Improving the Performance of User-level Runtime Systems for Concurrent Applications](https://uwspace.uwaterloo.ca/handle/10012/13935).

Glen Ditchfield, 1992
:   Thesis title: [Contextual Polymorphism](http://plg.uwaterloo.ca/theses/DitchfieldThesis.pdf)

### Masters

Fangren Yu 2025
:   Thesis title: [Type Resolution in C∀](https://uwspace.uwaterloo.ca/items/cfa5dda6-10c2-4409-bfc3-04b22b70d0b2).

Jiada Liang, 2024
:   Thesis title: [Enumerated Types in C∀](https://uwspace.uwaterloo.ca/items/f709d3c2-6f68-4e07-ad8e-dfe1b62db667).

Colby Parsons, 2023
:   Thesis title: [High Level Concurrency in C∀](https://uwspace.uwaterloo.ca/handle/10012/19932).

Peter Cai, 2023
:   Thesis title: [Kernel- vs. User-Level Networking: A Ballad of Interrupts and How to Mitigate Them](https://uwspace.uwaterloo.ca/handle/10012/19598).

Bryant Curto, 2023
:   Thesis title: [Improving Data Locality in Applications through Execution Delegation](https://uwspace.uwaterloo.ca/handle/10012/19037).

Mubeen Zulfiqar, 2022
:   Thesis title: [High-Performance Concurrent Memory Allocation](https://uwspace.uwaterloo.ca/handle/10012/18329).

Andrew James Beach, 2021
:   Thesis title: [Exception Handling in C∀](https://uwspace.uwaterloo.ca/handle/10012/17617).

Navid Khan, 2020.
:   Thesis title: [React++: A Lightweight Actor Framework in C++](https://uwspace.uwaterloo.ca/handle/10012/16389).

Daniel Gerald Caccamo, 2019.
:   Thesis title: [GoA: Actors with Locally Managed Memory for Go](https://uwspace.uwaterloo.ca/handle/10012/14430).

Thierry Delisle, 2018.
:   Thesis title: [Concurrency in C∀](https://uwspace.uwaterloo.ca/handle/10012/12888).

Rob Schluntz, 2017.
:   Thesis title: [Resource Management and Tuples in C∀](https://uwspace.uwaterloo.ca/handle/10012/11830).

Rodolfo Gabriel Esteves, 2004.
:   Thesis title: [Cforall, a Study in Evolutionary Design in Programming Languages](http://plg.uwaterloo.ca/theses/EstevesThesis.pdf).

Richard Bilson, 2003
:   Thesis title: [Implementing Overloading and Polymorphism in Cforall](http://plg.uwaterloo.ca/theses/BilsonThesis.pdf)

David W. Till, 1989
:   Thesis title: Tuples In Imperative Programming Languages.

### Essay

Colby Parsons, Spring 2020.
:   Relation Between Barging Avoidance and Prevention

Lynn Tran, Fall 2018.
:   [GNU Debugger support for μC++ and C∀](https://cforall.uwaterloo.ca/doc/Lynn_Tran_Essay.pdf)

### USRA/URF/COOP

Henry Xue, Spring 2021.
:   ARM Exception port, update passes for new AST

Colby Parsons, Fall 2020.
:   Unified Interface for Concurrent Locking

Fangren Yu,
:   - **Fall 2020**, [Optimization of C∀ Compiler with Case Studies.](https://cforall.uwaterloo.ca/doc/Fangren_Yu_Report_F20.pdf)
    - **Spring 2020**, [cfa-cc Developer's Reference,](https://cforall.uwaterloo.ca/doc/Fangren_Yu_Report_S20.pdf)

Peiran Hong, Spring 2020.
:   User-Level Threading in Apache

Andrew Beach, Spring 2017.
:   Exception handling, Virtuals, Line numbering

### URA

Jacob Prud'homme, Spring 2021.
:   Generalized Configuration File Manager

Peiran Hong, Fall 2020.
:   Futures

Yingjie Chen, Winter 2020.
:   Printing int128 values

Tony Li, Winter 2020.
:   New Actor Features

Dmitry Kobets, Fall 2019.
:   Vector Type

Jafer Haider, Fall 2019.
:   Atomic Intrinsic

Lynn Tran, Winter 2019.
:   Advanced For-Loop Control

Jiachen Zhang, Fall 2018.
:   GNU Debugger support

Sunjay Varma, Fall 2017, Winter 2018.
:   String Type

Alan Kennedy, Fall 2017, Winter 2018.
:   ARM Context Switch