AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming (ARRAY 2024)

Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

Who

Robert Schenck, Nikolaj Hey Hinnerskov, Troels Henriksen, Magnus Madsen, Martin Elsman

Track

ARRAY 2024

Time Zone

The program is currently displayed in (GMT+02:00) Windhoek.

Use conference time zone: (GMT+02:00) WindhoekSelect 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

Tue 25 Jun 2024 10:40 - 11:05 at Stockholm - Theory

Abstract

Dynamically typed array languages such as Python, APL, and Matlab lift scalar operations to arrays and replicate scalars to fit applications.

In this talk, we present a mechanism for automatically inferring map and replicate operations in a statically-typed language with higher-order functions and parametric polymorphism, in a way that resembles the programming experience of a dynamically-typed language while preserving the static typing guarantees.

Our type system is an extension of classic Hindley-Milner and makes use of integer linear programming in order to find the minimum number of operations needed to elaborate to a well-typed program.

File attachments

Extended Abstract (array24-paper13.pdf)	341KiB

Robert Schenck

DIKU, University of Copenhagen

Denmark

Nikolaj Hey Hinnerskov

DIKU, University of Copenhagen

Troels Henriksen

University of Copenhagen

Denmark

Magnus Madsen

Aarhus University

Denmark

Martin Elsman

University of Copenhagen, Denmark

Denmark

Time Zone

The program is currently displayed in (GMT+02:00) Windhoek.

Use conference time zone: (GMT+02:00) WindhoekSelect 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

Tue 25 Jun
Displayed time zone: Windhoek change

10:40 - 12:20	TheoryARRAY at Stockholm

10:40 25m Talk		AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming ARRAY Robert Schenck DIKU, University of Copenhagen, Nikolaj Hey Hinnerskov DIKU, University of Copenhagen, Troels Henriksen University of Copenhagen, Magnus Madsen Aarhus University, Martin Elsman University of Copenhagen, Denmark File Attached
11:05 25m Talk		An LLP (q, k) Parser Generator ARRAY William Due DIKU, University of Copenhagen, Troels Henriksen University of Copenhagen File Attached
11:30 25m Talk		Mechanical Proofs in an Array-Combinator Language ARRAY Nikolaj Hey Hinnerskov DIKU, University of Copenhagen, Robert Schenck DIKU, University of Copenhagen, Cosmin Oancea University of Copenhagen, Denmark File Attached
11:55 25m Talk		Translating Concepts of the Futhark Programming Language into an Extended Pi-Calculus ARRAY Chris Oliver Paulsen Department of Computer Science, Aalborg University, Lars Jensen , Julian Teule Department of Computer Science, Aalborg University, Hans Hüttel Department of Computer Science, Aalborg University File Attached