[Pl-seminar] 10/29 Seminar: Nada Amin: "Beyond Collapsing Towers: Staging a Relational Interpreter"

[Michelle Thalakottur]

NUPRL Seminar Presents

Nada Amin
Harvard John A. Paulson School of Engineering and Applied Sciences
https://namin.seas.harvard.edu/

1:00PM to 2:00PM
Friday, October 29th, 2021
Room 366 WVH (www.ccs.neu.edu/home/wand/directions.html (http://www.ccs.neu.edu/home/wand/directions.html)) and Zoom (https://northeastern.zoom.us/j/98598689387?pwd=Z0tyT2FFdFVsZGFKbDltMjRhS095Zz09)

Beyond Collapsing Towers: Staging a Relational Interpreter
Abstract:
Staging -- splitting a program into stages, the code generator and the generated code -- can mechanically turn an interpreter into a compiler. Going further, we can collapse a tower of interpreters into a one-pass compiler.
An interpreter written in a relational programming language (miniKanren) for a functional programming language (subset of Racket) can not only evaluate an expression to a value, but also synthesize an expression (or more generally, term) for a hole -- in particular, turning functions into relations.
We adapt staging to the relational setting, turning functions into relations -- and more -- with reduced interpretive overhead, promising a tractable avenue for the synthesis of functional programs.

Bio:
Nada Amin is an Assistant Professor of Computer Science at Harvard SEAS. Previously, she was a University Lecturer in Programming Languages at the University of Cambridge; a member of the team behind the Scala programming language at the Ecole Polytechnique Federale de Lausanne (EPFL), where she pursued her PhD; and a software engineer at Google, on the compiler infrastructure supporting Gmail and other Google Apps. She holds bachelor of science and master of engineering degrees from the Massachusetts Institute of Technology (MIT).
-------------- next part --------------
HTML attachment scrubbed and removed