Syntactic Code Search with Sequence-to-Tree Matching (PLDI 2024 - PLDI Research Papers)

Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

Who

Gabriel Matute, Wode Ni, Titus Barik, Alvin Cheung, Sarah E. Chasins

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

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

DOI

https://doi.org/10.1145/3656460

Gabriel Matute

UC Berkeley

United States

Wode Ni

Columbia University

Titus Barik

Apple

United States

Alvin Cheung

University of California at Berkeley

United States

Sarah E. Chasins

University of California at Berkeley

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

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
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