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


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.


Lynn Tran, Fall 2018.
GNU Debugger support for μC++ and C∀


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


Sunjay Varma, Fall 2017, Winter 2018.
String Type
Alan Kennedy, Fall 2017, Winter 2018.
ARM Context Switch
Jiachen Zhang, Fall 2018.
GNU Debugger support