A Lightweight Polyglot Code Transformation Language (PLDI 2024 - PLDI Research Papers)

Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

Who

Ameya Ketkar, Daniel Ramos, Lazaro Clapp, Raj Barik, Murali Krishna Ramanathan

Track

PLDI 2024 PLDI Research Papers

This program is tentative and subject to change.

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 11:20 - 11:40 at Sweden - Parsing and Compiling and Transforming

Link to Preprint

https://danieltrt.github.io/papers/pldi24.pdf

DOI

https://doi.org/10.1145/3656429

Ameya Ketkar

Gitar

United States

Daniel Ramos

Carnegie Mellon University, and INESC-ID

Lazaro Clapp

Gitar

Raj Barik

Gitar Co.

United States

Murali Krishna Ramanathan

AWS AI Labs

United States

This program is tentative and subject to change.

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

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		A Lightweight Polyglot Code Transformation Language PLDI Research Papers Ameya Ketkar Gitar, Daniel Ramos Carnegie Mellon University, and INESC-ID, Lazaro Clapp Gitar, Raj Barik Gitar Co., Murali Krishna Ramanathan AWS AI Labs DOI Pre-print
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