PL4XGL: A Programming Language Approach to Explainable Graph Learning (PLDI 2024 - PLDI Research Papers)

Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

Who

Minseok Jeon, Jihyeok Park, Hakjoo Oh

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

Thu 27 Jun 2024 11:00 - 11:20 at Sweden - Grammars and Code and Formalisms Chair(s): Nadia Polikarpova

DOI

https://doi.org/10.1145/3656464

Minseok Jeon

Korea University

South Korea

Jihyeok Park

Korea University

South Korea

Hakjoo Oh

Korea University

South Korea

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

Thu 27 Jun
Displayed time zone: Windhoek change

10:40 - 12:20	Grammars and Code and FormalismsPLDI Research Papers at Sweden Chair(s): Nadia Polikarpova University of California at San Diego

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
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 (Gary) 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 Pre-print