ECOOP 2022
Mon 6 June - Thu 7 July 2022 Berlin, Germany
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

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.

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 TypeDistinguished Artifact AwardArtifacts Evaluated - ReusableDistinguished Paper AwardArtifacts Evaluated - FunctionalECOOP 2022
Research Papers
Daniel 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 JavaArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 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)Artifacts Evaluated - FunctionalVCOOP 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 JavaArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 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 TypesArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Research Papers
Nicolas Lagaillardie Imperial College London, Rumyana Neykova Brunel University London, Nobuko Yoshida Imperial College London