Joined Indiana University, 1973
PhD, MIT, 1973
SB, MIT, 1969
Over the years, I have worked on a variety of problems associated with semantics of programming languages. Here is a selected list, in roughly reverse chronological order: probabilistic programming languages, binding-safe programming, aspect-oriented programming, analysis-based program transformation, compiler correctness proofs, continuations, macros.
I focus on the design, specification, and implementation of functional and higher-order programming languages. My research interests stem from programming languages’ ability to connect mathematically sophisticated theories of syntax and semantics to economically important details of computer hardware and software. In recent years, I have designed algorithms for garbage collection for Larceny -- a vehicle for experimental research on compiler optimization and garbage collection. Larceny has become one of the leading multiplatform implementations of the Scheme programming language.
Joined Rice, 1987
PhD, Indiana University, 1987
Diplom TH Karlsruhe, 1984
MS University of Arizona, 1981
I explore all aspects of program design and programming language design. My current research involves work on behavioral software contracts, gradual typing of scripting languages, language interoperability, language extensibility, and module systems. I also engage in educational outreach work. For the past 20 years, I have worked with middle schools, high schools, after-school programs, and college faculty on injecting design ideas into mathematics and computer science courses. Such educational interactions often inspire our research, and many research efforts end up improving my educational work.
Joined Georgia Tech, 1999
Joined MIT, 1993
PhD, Carnegie Mellon University, 1991
BS, Yale University, 1983
My principal research interests include the construction of robust, complex software artifacts and the design of tools that assist programmers in this task; the interaction between systems and programming languages, primarily higher-order typed languages; the design and analysis of programming languages; and compilers. Before coming to Northeastern, I was a research scientist at MIT’s Artificial Intelligence Lab, a founder and CTO of the Smartleaf Corporation, and a faculty member at the Georgia Institute of Technology.
Joined Indiana University, 2009
Joined Toyota Technological Institute, 2006
PhD Princeton University, 2004
MS Stanford University 1995
I work on problems involving semantics of programming languages, including advanced type systems for programs that manipulate memory, correct and secure compilation, gradual typing, and language interoperability. My prior work has shown how to scale the logical relations proof method to realistic languages. This technique has been used in numerous contexts, e.g., to prove compiler correctness, to verify concurrent code, to establish guarantees provided by type systems for confidentiality or differential privacy. My present focus is on how to build verified compilers that ensure safe linking of code compiled from different programming languages.
PhD, Northeastern University, 2010
Born in Houston, TX, left, went back to go to Rice University. Interested in PL and compilers. I read during the summer and play table tennis during the winter. I'm still looking for someone up here who has heard of disc golf.
PhD, University of Washington, 2011
I have worked on problems in web programming semantics, including designing and analyzing extensibility mechanisms for browsers, studying the interactions between extensions and each other or with intended browser behavior. With colleagues at Brown, I have been helping to design and implement a language that focuses on the linguistic support needed for introductory-level pedagogy.
Joined Purdue, 1999
PhD, University of Geneva, 1999
MSc, University of Victoria, 1995
PhD, Victoria University of Wellington, 2015
My research interests is in programming languages, specifically type theory, ownership types, and local reasoning for memory management. Most recently, I have been working on formalising object cloning for ownership types.
I'm interested in theoretical aspects of type systems, programming language implementation, general programming language concepts, and even some syntactic aspects. I have a preference for the formalizable aspects, or formalizable approaches to programming language aspects, rather than the often subjective appeal to taste or intuition.
Advisor: Olin Shivers and Matthias Felleisen
Having come from a development background, my research interests lie in making software development easier by improving programming languages and the ecosystems surrounding them. Currently, my research focuses on verifying actor-based programs (such as those written in Erlang or the Akka framework) against behavioral specifications expressed as simple name-passing automata.
I came to Northeastern from Austin, Texas, where I did my undergrad and spent several years working in embedded software. I’m interested in using ideas and tools from programming languages to make the world a better place for everyone that uses computers.
PRL Alumni and Former Members
- Dino Oliva 1992 (dissertation)
- Paul Steckler 1994 (dissertation) (Galois Connections)
- David Gladstein 1996 (dissertation)
- Greg Sullivan 1997 (dissertation) Advisor: Mitch Wand, Employer: BAE Systems
- Igor Siveroni 2001 (dissertation)
- Lars Hansen 2001 (dissertation)
- Paul Graunke 2003 (dissertation) (Galois Connections)
- Galen Williamson 2004
- Johan Ovlinger 2004 (dissertation)
- John Brinckerhoff Clements 2005 (dissertation) (California Polytechnic, San Luis Obispo, CA)
- Philippe Meunier 2006 (dissertation) (Sirindhorn International Institute of Technology, Tahmmasat University)
- Vassilis Koutavas 2008 (dissertation) (Trinity College, Dublin)
- Richard Cobbe 2009 (dissertation) (MathWorks)
- Bryan D. Chadwick 2010 (dissertation) (Broadway Technology)
- Dave Herman 2010 (dissertation) (Mozilla Research)
- Pengcheng Wu 2010 (dissertation)
- Peter Dillinger 2010 (dissertation) (Coverity, Inc.)
- Ryan Culpepper 2010 (dissertation) (Northeastern University)
- Sam Tobin-Hochstadt 2010 (dissertation) Advisor: Matthias, now at Indiana University
- Theo Skotiniotis 2010 (dissertation)
- Felix Klock 2011 (dissertation) (Mozilla Research)
- Carl Eastlund 2012 (dissertation) (Jane Street Group, LLC)
- Christos Dimoulas 2012 (dissertation) (Harvard University)
- Dimitris Vardoulakis 2012 (dissertation) (Google)
- Jesse A. Tov 2012 (dissertation) (Northwestern University)
- Stevie Strickland 2012 (dissertation) (Brown University)
- Aaron J. Turon 2013 (dissertation) (Mozilla Research)
- Ahmed Abdelmeged 2014
- James T. Perconti 2014
- Dionna Amalie Glaze 2015 (dissertation) (LogicBlox)
- Erik Silkensen 2015
- Phillip Mates 2015 (Dimagi)
- Vincent St-Amour 2015 (dissertation) Advisor: Matthias, now at Northwestern University