Module Generation without Regret (PEPM 2020) - POPL 2020

Write a Blog >>

Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States

Who

Yuhi Sato, Yukiyoshi Kameyama, Takahisa Watanabe

Track

Time Zone

The program is currently displayed in (GMT-06:00) Saskatchewan, Central America.

Use conference time zone: (GMT-06:00) Saskatchewan, Central AmericaSelect 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

Mon 20 Jan 2020 11:45 - 12:10 at Frontenac - Sessions 1 & 2 Chair(s): Ohad Kammar, Walid Taha

DOI

https://doi.org/10.1145/3372884.3373160

Yuhi Sato

University of Tsukuba

Yukiyoshi Kameyama

University of Tsukuba, Japan

Japan

Takahisa Watanabe

University of Tsukuba, Japan

Time Zone

The program is currently displayed in (GMT-06:00) Saskatchewan, Central America.

Use conference time zone: (GMT-06:00) Saskatchewan, Central AmericaSelect 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

Mon 20 Jan
Displayed time zone: Saskatchewan, Central America change

	10:30 - 12:30	Sessions 1 & 2PEPM at Frontenac Chair(s): Ohad Kammar University of Edinburgh, Walid Taha

	10:30 35m Talk		Dependently-Typed Multi-Stage Programming Revisited (invited talk) PEPM Atsushi Igarashi Kyoto University, Japan
	11:05 25m Research paper		High-Fidelity Metaprogramming with Separator Syntax Trees PEPM Rodin Aarssen CWI, Netherlands, Tijs van der Storm CWI & University of Groningen, Netherlands DOI
	11:30 15m Break		Mini Break 1 PEPM
	11:45 25m Research paper		Module Generation without Regret PEPM Yuhi Sato University of Tsukuba, Yukiyoshi Kameyama University of Tsukuba, Japan, Takahisa Watanabe University of Tsukuba, Japan DOI
	12:10 20m Short-paper		GOOL: A Generic Object-Oriented Language PEPM Jacques Carette McMaster University, Brooks MacLachlan McMaster University, Spencer Smith McMaster University, Computing and Software Department DOI Pre-print File Attached