PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

This program is tentative and subject to change.

Thu 27 Jun 2024 11:20 - 11:40 at Sweden - Grammars and Code and Formalisms

This program is tentative and subject to change.

Thu 27 Jun

Displayed time zone: Windhoek change

10:40 - 12:20
Grammars and Code and FormalismsPLDI Research Papers at Sweden
10:40
20m
Talk
Equivalence by Canonicalization for Synthesis-Backed Refactoring
PLDI Research Papers
Justin Lubin University of California at Berkeley, Jeremy Ferguson University of California-Berkeley, Kevin Ye University of California at Berkeley, Jacob Yim UC Berkeley, Sarah E. Chasins University of California at Berkeley
DOI Pre-print
11:00
20m
Talk
PL4XGL: A Programming Language Approach to Explainable Graph Learning
PLDI Research Papers
Minseok Jeon Korea University, Jihyeok Park Korea University, Hakjoo Oh Korea University
DOI
11:20
20m
Talk
Syntactic Code Search with Sequence-to-Tree Matching
PLDI Research Papers
Gabriel Matute UC Berkeley, Wode Ni Columbia University, Titus Barik Apple, Alvin Cheung University of California at Berkeley, Sarah E. Chasins University of California at Berkeley
DOI
11:40
20m
Talk
V-Star: Learning Visibly Pushdown Grammars from Program Inputs
PLDI Research Papers
Xiaodong Jia Pennsylvania State University, Gang Tan Pennsylvania State University
DOI
12:00
20m
Talk
Hashing Modulo Context-Sensitive Alpha-Equivalence
PLDI Research Papers
Lasse Blaauwbroek Czech Institute for Informatics Robotics and Cybernetics, Miroslav Olšák Institut des Hautes Études Scientifiques, Herman Geuvers Radboud University Nijmegen, Netherlands
DOI