Global Type Inference for Featherweight Generic Java (ECOOP 2022 - Research Papers) - ECOOP 2022

Mon 6 June - Thu 7 July 2022 Berlin, Germany

Who

Andreas Stadelmeier, Martin Plümicke, Peter Thiemann

Track

ECOOP 2022 Research Papers

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

Fri 10 Jun 2022 12:10 - 12:30 at Aurora Borealis 1 - Types Chair(s): Niki Vazou
Thu 7 Jul 2022 15:30 - 16:00 at Zoom - VCOOP 10 Chair(s): Philipp Haller

Abstract

Java’s type system mostly relies on type checking augmented with local type inference to improve programmer convenience. We study global type inference for Featherweight Generic Java (FGJ), a functional Java core language. Given generic class headers and field specifications, our inference algorithm infers all method types if classes do not make use of polymorphic recursion. The algorithm is constraint-based and improves on prior work in several respects. Despite the restricted setting, global type inference for FGJ is NP-complete.

Andreas Stadelmeier

DHBW Stuttgart, Campus Horb, Germany

Martin Plümicke

DHBW Stuttgart, Campus Horb, Germany

Peter Thiemann

University of Freiburg, Germany

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

Fri 10 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	11:00 - 12:30	TypesResearch Papers / Hub Talks / Expert Discussion at Aurora Borealis 1 Chair(s): Niki Vazou IMDEA Software Institute

	11:00 30m Panel		Type systemsExpert Discussion Expert Discussion P: Niki Vazou IMDEA Software Institute, P: Peter Thiemann University of Freiburg, Germany
	11:30 20m Talk		How to Take the Inverse of a TypeECOOP 2022 Research Papers Danielle Marshall University of Kent, UK, Dominic Orchard University of Kent, UK Pre-print
	11:50 20m Talk		Union and intersection contracts are hard, actuallyHub Talk Hub Talks Teodoro Freund University of Buenos Aires, Yann Hamdaoui Tweag, Arnaud Spiwack Tweag Link to publication DOI
	12:10 20m Talk		Global Type Inference for Featherweight Generic JavaVCOOP 2022ECOOP 2022 Research Papers Andreas Stadelmeier DHBW Stuttgart, Campus Horb, Germany, Martin Plümicke DHBW Stuttgart, Campus Horb, Germany, Peter Thiemann University of Freiburg, Germany

Thu 7 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	15:00 - 16:30	VCOOP 10Research Papers at Zoom Chair(s): Philipp Haller KTH

	15:00 30m Talk		API Generation for Multiparty Session Types, Revisited and Revised using Scala 3 (Pearl)VCOOP 2022ECOOP 2022 Research Papers Guillermina Cledou HASLab, INESC TEC; University of Minho, Luc Edixhoven Open University of the Netherlands; CWI, Sung-Shik Jongmans Open University of the Netherlands; CWI, José Proença ISEP P.PORTO & INESC TEC
	15:30 30m Talk		Global Type Inference for Featherweight Generic JavaVCOOP 2022ECOOP 2022 Research Papers Andreas Stadelmeier DHBW Stuttgart, Campus Horb, Germany, Martin Plümicke DHBW Stuttgart, Campus Horb, Germany, Peter Thiemann University of Freiburg, Germany
	16:00 30m Talk		Stay Safe under Panic: Affine Rust Programming with Multiparty Session TypesVCOOP 2022ECOOP 2022 Research Papers Nicolas Lagaillardie Imperial College London, Rumyana Neykova Brunel University London, Nobuko Yoshida Imperial College London