The Dolorem Pattern: Growing a Language through Compile-Time Function Execution (ECOOP 2023 - Research Papers) - ECOOP 2023

Mon 17 - Fri 21 July 2023 Seattle (University of Washington campus), Washington, United States

co-located with ECOOP and ISSTA 2023

Who

Simon Henniger, Nada Amin

Track

ECOOP 2023 Research Papers

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Thu 20 Jul 2023 16:30 - 16:45 at Habib Classroom (Gates G01) - ECOOP 6: Design Chair(s): Shigeru Chiba

Abstract

Programming languages are often designed as static, monolithic units. As a result, they are inflexible. We show a new mechanism of programming language design that allows to define low-overhead, yet more flexible languages: by using compile-time function execution and metaprogramming, we implement a language mostly in itself. Our approach is usable for creating feature-rich, yet low-overhead system programming languages. We illustrate it on two systems, one that lowers to C and one that lowers to LLVM.

DOI

https://doi.org/10.4230/LIPIcs.ECOOP.2023.41

Simon Henniger

Technical University of Munich

Nada Amin

Harvard University

United States

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Thu 20 Jul
Displayed time zone: Pacific Time (US & Canada) change

	15:30 - 17:00	ECOOP 6: DesignResearch Papers at Habib Classroom (Gates G01) Chair(s): Shigeru Chiba The University of Tokyo

	15:30 15m Talk		On the Rise of Modern Software Documentation Research Papers Marco Raglianti Software Institute - USI, Lugano, Csaba Nagy Software Institute - USI, Lugano, Roberto Minelli Software Institute - USI, Lugano, Bin Lin Radboud University, Michele Lanza Software Institute - USI, Lugano DOI
	15:45 15m Talk		Rust for Morello: Always-on Memory Safety, Even in Unsafe Code Research Papers Sarah Harris University of Kent, Simon Cooksey University of Kent, Michael Vollmer University of Kent, Mark Batty University of Kent DOI
	16:00 15m Talk		Modular Abstract Definitional Interpreters for WebAssembly Research Papers Katharina Brandl JGU Mainz, Sebastian Erdweg JGU Mainz, Sven Keidel TU Darmstadt, Germany, Nils Hansen JGU Mainz DOI Pre-print
	16:15 15m Talk		Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution Research Papers Ugnius Rumsevicius University of Illinois - Chicago, Siddhanth Venkateshwaran University of Illinois - Chicago, Ellen Kidane University of Illinois - Chicago, Luís Pina University of Illinois at Chicago DOI Pre-print
	16:30 15m Talk		The Dolorem Pattern: Growing a Language through Compile-Time Function Execution Research Papers Simon Henniger Technical University of Munich, Nada Amin Harvard University DOI
	16:45 15m Talk		Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints Research Papers Jonathan Lindegaard Starup Aarhus University, Magnus Madsen Aarhus University, Ondřej Lhoták University of Waterloo DOI