Introducing HOPL 2017

:: HOPL, by Ben Greenman

This semester at Northeastern, Matthias Felleisen is organizing the History of Programming Languages seminar. Look for posts tagged HOPL for updates from the lectures.

Once every 6 to 8 years (i.e., once every batch of Ph.D. students?), Matthias Felleisen teaches History of Programming Languages. Nominally, the course is a seminar. But unlike a typical seminar course, weekly topics are not the technical details from a handful of papers. Rather:

The primary goal is to understand (some of) the discipline as it exists today and how some of its major themes evolved.

The secondary goal is to develop basic skills for understanding and describing research themes. Every student will learn to study a theme via a series of papers, prepare an annotated bibliography, and present the key steps in the evolution of the theme.

Themes is the operative word. To set the tone, this semester started with “themes that NUPRL faculty members have developed over the many decades of their careers.”

  • Matthias, Full Abstraction: From PCF to SPCF
  • Jan Vitek, From Encapsulation to Ownership
  • Will Clinger, Garbage Collection vs. Manual Allocation
  • Olin Shivers, Higher-order Flow Analysis
  • Amal Ahmed, Logical Relations: Stepping Beyond Toy Languages
  • Matthias, Programming Languages and Calculi
  • Jan-Willem van de Meent, Rescoring Strategies for Probabilistic Programs
  • (upcoming) Mitch Wand, Analysis-Based Program Transformation
  • (upcoming) Frank Tip, Refactoring

At this point in the course, we are just starting with the student presentations. As these presentations happen, we plan to push updates to this blog. All presentation materials are in the course repository:

Speakers’ notes and annotated bibliographies are in top-level folders in the repo. Discussion summaries and “unofficial” notes are in the top-level lecture_notes/ folder.

The list of upcoming presentations is online (along with the papers each presentation is based on):

Blogs posts for each talk should appear 2 weeks after the talk happens.


Links to past editions of HOPL: