An LLP (q, k) Parser Generator (ARRAY 2024) - PLDI 2024

Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

Who

William Due, Troels Henriksen

Track

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

When

Tue 25 Jun 2024 11:05 - 11:30 at Stockholm - Theory

Abstract

An implementation of an $LLP(q,k)$ parser generator is presented. Such a parser generator is able to generate parsers suitable for data parallelism. This generator is utilized to create a JSON parser, the performance of which is measured and compared against existing JSON parsers.

File attachments

Extended Abstract (array24-paper3.pdf)	363KiB

William Due

DIKU, University of Copenhagen

Troels Henriksen

University of Copenhagen

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

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

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