Multi-Stage Programming with Generative and Analytical Macros (GPCE 2021 - - 20th International Conference on Generative Programming: Concepts & Experiences)

Who

Nicolas Stucki, Jonathan Immanuel Brachthäuser, Martin Odersky

Track

GPCE 2021

Time Zone

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

Use conference time zone: (GMT-05:00) Central 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

Save

When

Mon 18 Oct 2021 09:30 - 09:45 at Zurich C - SLE/GPCE Session 5 Chair(s): Eelco Visser
Mon 18 Oct 2021 17:30 - 17:45 at Zurich C - SLE/GPCE Session 5 Chair(s): Paddy Krishnan

Abstract

In metaprogramming, code generation and code analysis are complementary. Traditionally, principled metaprogramming extensions for programming languages, like MetaML and BER MetaOCaml, offer strong foundations for code generation but lack equivalent support for code analysis. Similarly, existing macro systems are biased towards the code generation aspect.

In this work, we present a calculus for macros featuring both code generation and code analysis. The calculus directly models separate compilation of macros, internalizing a commonly neglected aspect of macros. The system ensures that the generated code is well-typed and hygienic.

We implement our system in Scala 3, provide a formalization, and prove its soundness.

Nicolas Stucki

EPFL, Switzerland

Switzerland

Jonathan Immanuel Brachthäuser

EPFL

Switzerland

Martin Odersky

EPFL

Switzerland

Time Zone

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

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

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

Time Band

Display full programSpecify a time band

Save

Session Program

Mon 18 Oct
Displayed time zone: Central Time (US & Canada) change

09:00 - 10:20	SLE/GPCE Session 5SLE / GPCE at Zurich C +8h Chair(s): Eelco Visser Delft University of Technology

09:00 15m Talk		Type-safe generation of modules in applicative and generative stylesVirtual GPCE Yuhi Sato University of Tsukuba, Yukiyoshi Kameyama University of Tsukuba
09:15 15m Talk		HACCLE: Metaprogramming for Secure Multi-Party ComputationVirtual GPCE Yuyan Bao Purdue University, Kirshanthan Sundararajah Purdue University, Raghav Malik Purdue University, Qianchuan Ye Purdue University, Christopher Wagner Purdue University, Nouraldin Jaber Purdue University, Fei Wang Purdue University, Mohammad Hassan Ameri Purdue university, Donghang Lu Purdue University, Alexander Seto Purdue University, Benjamin Delaware Purdue University, Roopsha Samanta Purdue University, Aniket Kate Purdue University, Christina Garman Purdue University, Jeremiah Blocki Purdue University, Pierre-David Letourneau Reservoir Labs, Benoit Meister Reservoir Labs, Jonathan Springer Reservoir Labs, Tiark Rompf Purdue University, Milind Kulkarni Purdue University
09:30 15m Talk		Multi-Stage Programming with Generative and Analytical MacrosVirtualGPCE Best Paper Award GPCE Nicolas Stucki EPFL, Switzerland, Jonathan Immanuel Brachthäuser EPFL, Martin Odersky EPFL
09:45 15m Talk		Metaprogramming with CombinatorsVirtual GPCE Mahshid Shahmohammadian Drexel University, Geoffrey Mainland Drexel University
10:00 20m Live Q&A		Discussion, Questions and Answers SLE

17:00 - 18:20	SLE/GPCE Session 5GPCE / SLE at Zurich C Chair(s): Paddy Krishnan Oracle Labs, Australia

17:00 15m Talk		Type-safe generation of modules in applicative and generative stylesVirtual GPCE Yuhi Sato University of Tsukuba, Yukiyoshi Kameyama University of Tsukuba
17:15 15m Talk		HACCLE: Metaprogramming for Secure Multi-Party ComputationVirtual GPCE Yuyan Bao Purdue University, Kirshanthan Sundararajah Purdue University, Raghav Malik Purdue University, Qianchuan Ye Purdue University, Christopher Wagner Purdue University, Nouraldin Jaber Purdue University, Fei Wang Purdue University, Mohammad Hassan Ameri Purdue university, Donghang Lu Purdue University, Alexander Seto Purdue University, Benjamin Delaware Purdue University, Roopsha Samanta Purdue University, Aniket Kate Purdue University, Christina Garman Purdue University, Jeremiah Blocki Purdue University, Pierre-David Letourneau Reservoir Labs, Benoit Meister Reservoir Labs, Jonathan Springer Reservoir Labs, Tiark Rompf Purdue University, Milind Kulkarni Purdue University
17:30 15m Talk		Multi-Stage Programming with Generative and Analytical MacrosVirtualGPCE Best Paper Award GPCE Nicolas Stucki EPFL, Switzerland, Jonathan Immanuel Brachthäuser EPFL, Martin Odersky EPFL
17:45 15m Talk		Metaprogramming with CombinatorsVirtual GPCE Mahshid Shahmohammadian Drexel University, Geoffrey Mainland Drexel University
18:00 20m Live Q&A		Discussion, Questions and Answers SLE