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


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


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∀


Henry Xue, Spring 2021.
ARM Exception port, update passes for new AST
Colby Parsons, Fall 2020.
Unified Interface for Concurrent Locking
Fangren Yu,
Peiran Hong, Spring 2020.
User-Level Threading in Apache
Andrew Beach, Spring 2017.
Exception handling, Virtuals, Line numbering


Jacob Prud'homme, Spring 2021.
Generalized Configuration File Manager
Peiran Hong, Fall 2020.
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