Fri 28 Jun 2024 11:40 - 12:00 at Finland / Norway - Synthesis
Fri 28 JunDisplayed time zone: Windhoek change
Fri 28 Jun
Displayed time zone: Windhoek change
10:40 - 12:20 | |||
10:40 20mTalk | 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 20mTalk | [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 20mTalk | 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 20mTalk | Recursive Program Synthesis using ParamorphismsRemote PLDI Research Papers DOI | ||
12:00 20mTalk | 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 | ||