A Dictionary-Passing Translation of Featherweight Go (APLAS 2021 - Research Papers) - APLAS 2021

Write a Blog >>

Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States

co-located with SPLASH 2021

Who

Martin Sulzmann, Stefan Wehr

Track

APLAS 2021 Research Papers

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

When

Sun 17 Oct 2021 13:50 - 14:05 at Zurich D - Compilation / Transformation Chair(s): Sam Lindley
Sun 17 Oct 2021 21:50 - 22:05 at Zurich D - Compilation / Transformation (mirror) Chair(s): Xin Zhang

Abstract

The Go programming language is an increasingly popular language but some of its features lack a formal investigation. This article explains Go’s resolution mechanism for overloaded methods and its support for structural subtyping by means of translation from Featherweight Go to a simple target language. The translation employs a form of dictionary passing known from type classes in Haskell and preserves the dynamic behavior of Featherweight Go programs.

Martin Sulzmann

Karlsruhe University of Applied Sciences, Germany

Stefan Wehr

Offenburg University of Applied Sciences

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

Session Program

Sun 17 Oct
Displayed time zone: Central Time (US & Canada) change

	13:50 - 15:10	Compilation / TransformationResearch Papers at Zurich D +8h Chair(s): Sam Lindley The University of Edinburgh, UK

	13:50 15m Talk		A Dictionary-Passing Translation of Featherweight GoVirtual Research Papers Martin Sulzmann Karlsruhe University of Applied Sciences, Germany, Stefan Wehr Offenburg University of Applied Sciences
	14:05 15m Talk		A compilation method for dynamic typing in MLVirtual Research Papers Atsushi Ohori Tohoku University, Japan, Katsuhiro Ueno Tohoku University
	14:20 15m Talk		Fully Abstract and Robust Compilation and How to Reconcile the Two, AbstractlyVirtual Research Papers Carmine Abate Max Planck Institute for Security and Privacy, Bochum, Germany, Matteo Busi Università di Pisa - Dipartimento di Informatica, Stelios Tsampas FAU Erlangen-Nuremberg, INF 8
	14:35 15m Talk		Hybrid quantum-classical circuit simplification with the ZX-calculusVirtual Research Papers Agustín Borgna Université de Lorraine, CNRS, Inria, LORIA F 54000 Nancy, France and Université Paris-Saclay, CNRS, Laboratoire Méthodes Formelles, 91405, Orsay, France, Simon Perdrix Université de Lorraine, CNRS, Inria, LORIA F 54000 Nancy, France, Benoit Valiron LRI, CentraleSupelec, Univ. Paris Saclay
	14:50 20m Live Q&A		Q&A and discussionVirtual Research Papers

	21:50 - 23:10	Compilation / Transformation (mirror)Research Papers at Zurich D Chair(s): Xin Zhang Peking University

	21:50 15m Talk		A Dictionary-Passing Translation of Featherweight GoVirtual Research Papers Martin Sulzmann Karlsruhe University of Applied Sciences, Germany, Stefan Wehr Offenburg University of Applied Sciences
	22:05 15m Talk		A compilation method for dynamic typing in MLVirtual Research Papers Atsushi Ohori Tohoku University, Japan, Katsuhiro Ueno Tohoku University
	22:20 15m Talk		Fully Abstract and Robust Compilation and How to Reconcile the Two, AbstractlyVirtual Research Papers Carmine Abate Max Planck Institute for Security and Privacy, Bochum, Germany, Matteo Busi Università di Pisa - Dipartimento di Informatica, Stelios Tsampas FAU Erlangen-Nuremberg, INF 8
	22:35 15m Talk		Hybrid quantum-classical circuit simplification with the ZX-calculusVirtual Research Papers Agustín Borgna Université de Lorraine, CNRS, Inria, LORIA F 54000 Nancy, France and Université Paris-Saclay, CNRS, Laboratoire Méthodes Formelles, 91405, Orsay, France, Simon Perdrix Université de Lorraine, CNRS, Inria, LORIA F 54000 Nancy, France, Benoit Valiron LRI, CentraleSupelec, Univ. Paris Saclay
	22:50 20m Live Q&A		Q&A and discussionVirtual Research Papers