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.
Post-doc University of Utah, 2011
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.
Joined INRIA Lille, 2013
PhD, University of Nice Sophia-Antipolis, 2013
Coming from software engineering and domain-specific modeling. I’m interested in various aspects of programming languages in particular in static and dynamic program analysis. Most recently I have been working on dynamic tracing in R.
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, EPFL, 2015
I work on the intersection of programming languages and distributed systems. I am a member of the Scala team, and have worked on Scala's concurrency libraries including Scala's futures and promises library, and compile-time support for distributed programs. Much of my work is focused on transferring research results into practical use. Before joining Northeastern, I co-founded and served as the executive director of a new center at EPFL for research, education, and open source development surrounding the Scala programming language, called the Scala Center.
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.
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)
- Chista 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)
- 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) (LogicBlox)
- 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)