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


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


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∀


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


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