Compiling with Abstract Interpretation (PLDI 2024 - PLDI Research Papers) - PLDI 2024

Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

Who

Dorian Lesbre, Matthieu Lemerre

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

When

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

DOI

https://doi.org/10.1145/3656392

Dorian Lesbre

CEA List

France

Matthieu Lemerre

Université Paris-Saclay - CEA LIST

France

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

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