Joined Indiana University, 1973
PhD, MIT, 1973
BS, 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
Joined Harvard University, 2004
PhD Princeton University, 2004
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, 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
Joined Samsung Research America, 2014
Joined University of Waterloo, 2012
Joined IBM T.J. Watson Research Center, 1995
PhD University of Amsterdam, 1995
My research is in the areas of Programming Languages and Software Engineering and is focused on the use of program analysis in tools that help increase programmer productivity and software quality. Specific topics that I've worked on in recent years include tools for detecting and localizing bugs, refactoring, test generation, and optimization.
PhD, University of British Columbia, 2017
I received my PhD in software engineering from University of British Columbia, Canada. My research has been focused on facilitating program comprehension through semi-automated techniques that improve developers’ performance in understanding program behaviour. Currently I am working on analysis of asynchrony in modern web applications.
PhD, Indiana University, 2018
My research interests include functional and logic programming. I focus on embeddings and extensions to support logic programming in numerous host languages and transforming functional programs to relational ones. The microKanren model has inspired scores of implementations (more than 120), in over 40 host languages, in just five years. My other interests concern novel uses of logic programming and symbolic constraint systems and typesafe embeddings of logic languages.
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 after spending several years studying in Upper Michigan. My current work focuses on array-oriented languages as an expressive way to write data-parallel numeric processing code.
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.
I am combining machine learning and programming languages to improve inlining decisions in compilers. My other interests in computer science include technical communication and reproducibility of research.
I find delight in programming languages that allow extension of their notation, syntactic forms, type systems, runtime behaviors, and development environments. My research aims to build the foundations needed to bring these extensibility features into widespread use.
Advisor: Frank Tip
At the moment I'm working on program analysis. I like type systems and compilers.
Advisor: Amal Ahmed and Matthias Felleisen
I am working on safe interaction between strict and lazy languages, using linking types.
I am interested in typed functional programming and corresponding languages, mostly Haskell, type and effect systems, mathematics of program construction. Lately, I was working on a principled approach to the Julia programming language.
Joined Czech Technical University in Prague, 2017
Joined Southern Federal University, 2014
MS, Southern Federal University, 2014
BS, Southern Federal University, 2012
My primary research interests are programming languages and type theory. I am also fond of theorem proving, generic programming, object-oriented and functional programming, software engineering, programming by contracts, software testing. Currently I work on formalizing subtyping for the Julia programming language.
Advisor: Jan Vitek
I like reasoning about programs and implementing languages. Programming makes me happy. Programming about programming makes me happier.
PRL Alumni and Former Members
- Dino Oliva 1992 (dissertation)
- Ian Holland 1992 (dissertation) (First Swampscott Church)
- Cun Xiao 1994 (dissertation) (Oracle)
- Ignacio Silva-Lepe 1994 (dissertation) (IBM Research, Yorktown)
- Paul Bergstein 1994 (dissertation) (UMass, Dartmouth)
- Paul Steckler 1994 (dissertation) (Galois Connections)
- Walter Hürsch 1995 (dissertation) (BlueCare AG)
- David Gladstein 1996 (dissertation)
- Linda Seiter 1996 (dissertation) (John Carrol University)
- Crista Lopes 1997 (dissertation) (UC Irvine)
- 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)
- Doug Orleans 2005 (dissertation) (Gensym)
- 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)
- David Fisher 2010 (dissertation)
- 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) (Google)
- Aaron J. Turon 2013 (dissertation) (Mozilla Research)
- Ahmed Abdelmeged 2014 (dissertation)
- James T. Perconti 2014
- Dionna Amalie Glaze 2015 (dissertation) (Google)
- Erik Silkensen 2015
- Phillip Mates 2015 (Dimagi)
- Vincent St-Amour 2015 (dissertation) Advisor: Matthias, now at Northwestern University
- Asumu Takikawa 2016 (dissertation) (Igalia)
- Paul Stansifer 2016 (dissertation)
- Tony Garnock-Jones 2017 (dissertation)
- Kevin Clancy 2018 (Carnegie Mellon University)
Former Associates (Research Scientists, Post-Docs)
- Mario Latendresse 1999 (SRI International)
- Matthew Flatt 1999 (University of Utah)
- Shriram Krishnamurthi 2001 (Brown University)
- Robby Findler 2002 (Northwestern University)
- Kenichi Asai 2004 (Ochanomizu University)
- Riccardo Pucella 2004 (Olin College)
- Eli Barzilay 2005
- David van Horn 2009 (University of Maryland)