Cforall | people

Peter Buhr
Concurrency, visualization and debugging, polymorphism, persistence.
Martin Karsten
Software systems and networking.

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

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.

Colby Parsons, Spring 2020.: Relation Between Barging Avoidance and Prevention
Lynn Tran, Fall 2018.: GNU Debugger support for μC++ and C∀

Fangren Yu,

People