POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Tue 16 Jan 2024 16:30 - 17:00 at Haslett Room - History of PEPM Chair(s): Fritz Henglein

Forty years ago development started on Mix, a partial evaluator designed specifically for the purpose of self-application.
The effort, led by Neil D. Jones at the University of Copenhagen, eventually demonstrated that
non-trivial compilers could be generated automatically by applying a partial evaluator to itself.
The possibility, in theory, of such self-application had been known for more than a decade,
but remained unrealized by the start of 1984.
We describe the genesis of Mix, including the research environment, the challenges, and the main insights that led to success.
We emphasize the critical role played by program annotation as a pre-processing step,
later automated in the form of binding-time analysis.

Tue 16 Jan

Displayed time zone: London change

16:00 - 18:30
History of PEPMPEPM at Haslett Room
Chair(s): Fritz Henglein Department of Computer Science, University of Copenhagen (DIKU) and Deon Digital
16:00
30m
Talk
In memoriam Neil Deaton Jones
PEPM
Fritz Henglein Department of Computer Science, University of Copenhagen (DIKU) and Deon Digital
DOI
16:30
30m
Talk
The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution)
PEPM
Peter Sestoft IT University of Copenhagen, Harald Sondergaard The University of Melbourne
DOI
17:00
30m
Talk
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)
PEPM
Alberto Pettorossi University of Rome Tor Vergata; IASI-CNR, Maurizio Proietti IASI-CNR, Fabio Fioravanti University of Chieti-Pescara, Emanuele De Angelis IASI-CNR
DOI
17:30
30m
Talk
Incremental Computation: What Is the Essence? (Invited Contribution)Remote
PEPM
Y. Annie Liu Stony Brook University
DOI
18:00
30m
Meeting
Informal discussion on history and future of PEPM
PEPM