Staff

Mitch Wand
Joined Northeastern, 1985
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.

Will Clinger

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.

Matthias Felleisen
Matthias Felleisen
Trustee Professor
matthias@ccs.neu.edu
http://ccs.neu.edu/home/matthias
Joined Northeastern, 2001
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.

Olin Shivers
Joined Northeastern, 2006
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.

Amal Ahmed
Amal Ahmed
Associate Professor
amal@ccs.neu.edu
http://ccs.neu.edu/home/amal
Joined Northeastern, 2011
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.

Stephen Chang
Stephen Chang
Post-doctoral researcher
stchang@ccs.neu.edu
http://ccs.neu.edu/home/stchang
Joined Northeastern, 2014
PhD, Northeastern University, 2014
MS, Harvard University, 2008
BSE, Princeton University, 2001

I'm interested in the design of practical programming languages.

Ben Lerner
Ben Lerner
Lecturer
blerner@ccs.neu.edu
Joined Northeastern, 2014
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.

Jan Vitek
Joined Northeastern, 2014
Joined Purdue, 1999
PhD, University of Geneva, 1999
MSc, University of Victoria, 1995

I work on the design and implementation of programming languages. I led the implementation of the first real-time Java virtual machine to be flight-tested. With Noble and Potter, I proposed what became known as Ownership Types. I tried to understand JavaScript by dynamic analysis and am now looking at supporting scalable data analysis in R.

Frank Tip
Joined Northeastern, 2016
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.

Saba Alimadadi
Saba Alimadadi
Post-doctoral researcher

http://www.ece.ubc.ca/~saba/
Joined Northeastern, 2017
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.

Jason Hemann
Jason Hemann
Clinical Lecturer
jhemann@ccis.neu.edu
http://hemann.pl
Joined Northeastern, 2018
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.

Students

Jonathan Schuster
Jonathan Schuster
Advisor: Olin Shivers
schuster@ccs.neu.edu
http://ccs.neu.edu/home/schuster
Joined 2011

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.

Justin Slepak
Justin Slepak
Advisor: Olin Shivers
jrslepak@ccs.neu.edu
http://ccs.neu.edu/home/jrslepak
Joined 2011

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.

William J. Bowman
William J. Bowman
Advisor: Amal Ahmed
wjb@williamjbowman.com
https://www.williamjbowman.com
Joined 2012

I want to make programs easier to design, read, and write. I currently work on verifying compilers for advanced languages, and sometimes dabble in meta-programming.

Leif Andersen
Leif Andersen
Advisor: Matthias Felleisen
leif@ccs.neu.edu
http://ccs.neu.edu/home/leif
Joined 2014

I study programming languages in PLT at Northeastern University. I study compilers, domain specific languages for writing compilers, and performance tools.

Andrew Cobb
Andrew Cobb
Advisor: Olin Shivers
andrew.cobb@gmail.com
Joined 2014

Ben Greenman
Ben Greenman
Advisor: Matthias Felleisen
types@ccs.neu.edu
http://ccs.neu.edu/home/types
Joined 2014

I like constructions. My current goal is to lower the huge run-time cost of gradual typing. I believe that safely mixing languages is the way of the future.

Max New
Max New
Advisor: Amal Ahmed
maxnew@ccs.neu.edu
http://maxsnew.github.io
Joined 2014

I like reasonable programming languages.

Sam Caldwell
Sam Caldwell
Advisor: Matthias Felleisen
samc@ccs.neu.edu
http://ccs.neu.edu/home/samc
Joined 2015

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.

Benjamin Chung
Benjamin Chung
Advisor: Jan Vitek
bchung@ccs.neu.edu
http://benchung.github.io
Joined 2015

I usually work on types, currently focusing on gradual type systems.

Olivier Flückiger
Olivier Flückiger
Advisor: Jan Vitek
o@o1o.ch
http://www.o1o.ch/about
Joined 2015

My passion lies in language implementation — creating the tools and techniques required to get from powerful abstractions to efficient execution.

Daniel Patterson
Daniel Patterson
Advisor: Amal Ahmed
dbp@ccs.neu.edu
https://dbp.io
Joined 2016

I'm interested in language and type system interoperability — in particular, languages with very different type systems interacting easily and safely.

Ming-Ho Yee
Ming-Ho Yee
Advisor: Jan Vitek
mhyee@ccs.neu.edu
http://mhyee.com/
Joined 2016

I'm interested in programming language design and implementation, as well as static program analysis.

Aviral Goel
Aviral Goel
Advisor: Jan Vitek
goel.av@husky.neu.edu
http://aviral.io/
Joined 2017

Currently, I am working on static program analysis. I am interested in all aspects of programming languages — syntax, semantics, type-systems, and compilers.

Aaron Weiss
Aaron Weiss
Advisor: Amal Ahmed
weiss@ccs.neu.edu
https://aaronweiss.us/
Joined 2017

I'm interested in type systems and verification. I want to help build a world where the critical software that runs our lives is provably safe.

Celeste Hollenbeck
Celeste Hollenbeck
Advisor: Jan Vitek
hollenbeck.c@husky.neu.edu
http://celestehollenbeck.com
Joined 2017

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.

Michael Ballantyne
Michael Ballantyne
Advisor: Matthias Felleisen
michael.ballantyne@gmail.com
http://mballantyne.net
Joined 2017

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.

Di Zhong
Di Zhong
Advisor: Frank Tip
dizhong@ccs.neu.edu
Joined 2017

At the moment I'm working on program analysis. I like type systems and compilers.

Hyeyoung Shin
Hyeyoung Shin
Advisor: Amal Ahmed and Matthias Felleisen
shin.hy@husky.neu.edu
Joined 2017

I am working on safe interaction between strict and lazy languages, using linking types.

Artem Pelenitsyn
Artem Pelenitsyn
Advisor: Jan Vitek
a.pelenitsyn@gmail.com
http://mmcs.sfedu.ru/~ulysses
Joined 2018

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.

Julia Belyakova
Julia Belyakova
Advisor: Jan Vitek
julbinb@gmail.com
http://julbinb.github.io/
Joined Northeastern, 2018
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.

Alexi Turcotte
Alexi Turcotte
Advisor: Jan Vitek
alexi@ccs.neu.edu
Joined 2018

I like reasoning about programs and implementing languages. Programming makes me happy. Programming about programming makes me happier.

Ellen Arteca
Ellen Arteca
Advisor: Frank Tip
ellen@ccs.neu.edu
Joined 2018

My previous work was in gradual typing; now I'm starting a project looking at program analysis for asynchronous JavaScript.

PRL Alumni and Former Members

Former Associates (Research Scientists, Post-Docs)

© Copyright Programming Research Laboratory 2015-2016 | made by Catchexception s.r.o. | source on GitHub

top