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
- 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.
Aaron Moss, 2019. : Thesis title: C∀ Type System Implementation.
Saman Barghi, 2018. : Thesis title: Improving the Performance of User-level Runtime Systems for Concurrent Applications.
Glen Ditchfield, 1992 : Thesis title: Contextual Polymorphism
Masters
Fangren Yu 2025 : Thesis title: Type Resolution in C∀.
Jiada Liang, 2024 : Thesis title: Enumerated Types in C∀.
Colby Parsons, 2023 : Thesis title: High Level Concurrency in C∀.
Peter Cai, 2023 : Thesis title: Kernel- vs. User-Level Networking: A Ballad of Interrupts and How to Mitigate Them.
Bryant Curto, 2023 : Thesis title: Improving Data Locality in Applications through Execution Delegation.
Mubeen Zulfiqar, 2022 : Thesis title: High-Performance Concurrent Memory Allocation.
Andrew James Beach, 2021 : Thesis title: Exception Handling in C∀.
Navid Khan, 2020. : Thesis title: React++: A Lightweight Actor Framework in C++.
Daniel Gerald Caccamo, 2019. : Thesis title: GoA: Actors with Locally Managed Memory for Go.
Thierry Delisle, 2018. : Thesis title: Concurrency in C∀.
Rob Schluntz, 2017. : Thesis title: Resource Management and Tuples in C∀.
Rodolfo Gabriel Esteves, 2004. : Thesis title: Cforall, a Study in Evolutionary Design in Programming Languages.
Richard Bilson, 2003 : Thesis title: Implementing Overloading and Polymorphism in Cforall
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∀
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. - Spring 2020, cfa-cc Developer's Reference,
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