Daedalus: Safer Document Parsing (PLDI 2024 - PLDI Research Papers)

Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

Who

Iavor Diatchki, Mike Dodds, Harrison Goldstein, Bill Harris, David Holland, Benoit Razet, Cole Schlesinger, Simon Winwood

Track

PLDI 2024 PLDI Research Papers

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

Wed 26 Jun 2024 10:40 - 11:00 at Sweden - Parsing and Compiling and Transforming Chair(s): Stephen Kell

DOI

https://doi.org/10.1145/3656410

Iavor Diatchki

Galois, Inc.

Mike Dodds

Galois, Inc.

Harrison Goldstein

University of Pennsylvania

United States

Bill Harris

Galois

David Holland

Galois

Benoit Razet

Galois, Inc

Cole Schlesinger

Galois

Simon Winwood

Galois

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

Wed 26 Jun
Displayed time zone: Windhoek change

10:40 - 12:20	Parsing and Compiling and Transforming PLDI Research Papers at Sweden Chair(s): Stephen Kell University of Kent

10:40 20m Talk		Daedalus: Safer Document Parsing PLDI Research Papers Iavor Diatchki Galois, Inc., Mike Dodds Galois, Inc., Harrison Goldstein University of Pennsylvania, Bill Harris Galois, David Holland Galois, Benoit Razet Galois, Inc, Cole Schlesinger Galois, Simon Winwood Galois DOI
11:00 20m Talk		SpEQ: Translation of Sparse Codes using Equivalences PLDI Research Papers Avery Laird University of Toronto, Bangtian Liu University of Toronto, Nikolaj Bjørner Microsoft Research, Maryam Mehri Dehnavi University of Toronto DOI Pre-print
11:20 20m Talk		[TOPLAS] Choral: Object-Oriented Choreographic Programming PLDI Research Papers Saverio Giallorenzo Alma Mater Studiorum - Università di Bologna / INRIA, Fabrizio Montesi University of Southern Denmark, Marco Peressotti University of Southern Denmark Link to publication DOI
11:40 20m Talk		Compiling with Abstract Interpretation PLDI Research Papers Dorian Lesbre CEA List, Matthieu Lemerre Université Paris-Saclay - CEA LIST DOI
12:00 20m Talk		Don’t Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation PLDI Research Papers Jaemin Hong KAIST, Sukyoung Ryu KAIST DOI