PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Fri 28 Jun 2024 10:40 - 11:00 at Finland / Norway - Synthesis

Fri 28 Jun

Displayed time zone: Windhoek change

10:40 - 12:20
10:40
20m
Talk
From Batch to Stream: Automatic Generation of Online Algorithms
PLDI Research Papers
Ziteng Wang University of Texas at Austin, Shankara Pailoor University of Texas at Austin, Aaryan Prakash University of Texas at Austin, Yuepeng Wang Simon Fraser University, Işıl Dillig University of Texas at Austin
DOI
11:00
20m
Talk
[TOPLAS] Decomposition-Based Synthesis for Applying D&C-Like Algorithmic Paradigms
PLDI Research Papers
Ruyi Ji Peking University, Yuwei Zhao Peking University, Yingfei Xiong Peking University, Di Wang Peking University, Lu Zhang Peking University, Zhenjiang Hu Peking University
11:20
20m
Talk
Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis
PLDI Research Papers
Ruyi Ji Peking University, Yuwei Zhao Peking University, Nadia Polikarpova University of California at San Diego, Yingfei Xiong Peking University, Zhenjiang Hu Peking University
DOI
11:40
20m
Talk
Recursive Program Synthesis using ParamorphismsRemote
PLDI Research Papers
Qiantan Hong Stanford University, Alex Aiken Stanford University
DOI
12:00
20m
Talk
Reward-Guided Synthesis of Intelligent Agents with Control StructuresRemote
PLDI Research Papers
Guofeng Cui Rutgers University, Yuning Wang Rutgers University, Wenjie Qiu Rutgers University, He Zhu Rutgers University, USA
DOI