Date: July 27–31, 2015
Place: University of Utah, Salt Lake City
is a lightweight, embedded DSL for modeling programming
languages, their reduction semantics, and their type systems. It comes with
an IDE and a toolbox for exploring, testing, debugging, and type-setting
language models. The PLT research group has successfully used Redex to
model and analyze a wide spectrum of published models.
The summer school will introduce students to the underlying theory of
reduction semantics, programming in the Redex language, and using its
tool suite effectively. The course is intended for PhD students and
researchers in programming languages. Enrollment is limited to 25
While the workshop itself is free, attendees must pay for travel, room, and
board. We expect room and board to be around $500, assuming an arrival in
the evening of Sunday July 26 and leaving Friday July 31 or August 1.
Partial financial support for PhD students is available.
- Matthias Felleisen, Robert Bruce Findler, Matthew Flatt.
Engineering with PLT Redex. MIT Press, 2012.
- Casey Klein, John Clements, Christos Dimoulas, Carl Eastlund,
Matthias Felleisen, Matthew Flatt, Jay McCarthy, Jon Rafkind, Sam
Tobin-Hochstadt, Robert Bruce Findler.
Your Research: On the Effectiveness of Lightweight Mechanization. POPL 2012.