Thu 27 Jun 2024 11:20 - 11:40 at Sweden - Grammars and Code and Formalisms Chair(s): Nadia Polikarpova
Thu 27 JunDisplayed time zone: Windhoek change
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 20mTalk | 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 20mTalk | PL4XGL: A Programming Language Approach to Explainable Graph Learning PLDI Research Papers DOI | ||
11:20 20mTalk | 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 20mTalk | V-Star: Learning Visibly Pushdown Grammars from Program Inputs PLDI Research Papers DOI | ||
12:00 20mTalk | 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 | ||