Benjamin Pierce is a Professor in the Department of Computer Science at the University of Pennsylvania. In this interview we talk about his research, how his many influential books came about, and what he sees as the “programming languages” way of viewing things.
Xavier Leroy is a senior scientist at INRIA and leader of the Gallium team on the design, formalization, and implementation of programming languages and systems. We talk about creating OCaml, the relationship between programming and research, and the CompCert verified C compiler.
Stephanie Weirich is a Professor in the Department of Computer Science at the University of Pennsylvania. We talk about her programming practice, her work on language features for Haskell, and what it's been like working on language design in a language with industry users.
Nikhil Swamy is a Senior Researcher in the RiSE group at Microsoft Research Redmond. We talk about his work on using dependent types for writing verifiably secure programs, including the origins and evolution of the F* programming language.
David Walker is a Professor in Princeton’s Computer Science Department. We talk about his influential work on typed assembly and PADS/ML, a data description language, as well as the skeptical initial community response to typed assembly.
Danel Ahman is a Postdoctoral Researcher at the Prosecco team with Cătălin Hriţcu in INRIA Paris. He is interested in dependent types, computational effects, and the design, semantics, and applications of programming languages that bring these two exciting research areas together. Interview coming soon.
Matthias Feilleisen (Northeastern) developed the reduction-based (aka evaluation context) variant of operational semantics, worked on the full abstraction problem for PCF, and co-created Racket with Matthew Flatt and PLT. In addition to his research, he also launched well-known K-12 outreach projects and authored numerous educational books. Interview coming soon.