Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Tue 16 Jun 2020 16:00 - 16:30 at MAPL live stream - Program Synthesis Chair(s): Satish Chandra

Software systems often use specialized combinations of data structures to store and retrieve data. Designing and maintaining custom data structures particularly concurrent ones is time-consuming and error-prone.We let the user declare the required data as a high-level specification of a relation and method interface, and automatically synthesize correct and efficient concurrent data representations. We present provably sound syntactic derivations to synthesize structures that efficiently support the interface.We then synthesize synchronization to support concurrent execution on the structures. Multiple candidate representations may satisfy the same specification and we aim at quantitative selection of the most efficient candidate. Previous works have either used dynamic auto-tuners to execute and measure the performance of the candidates or used static cost functions to estimate their performance. However, repeating the execution for many candidates is time-consuming and a single performance model cannot be an effective predictor of all workloads across all platforms. We present a novel approach to quantitative synthesis that learns the performance model. We developed a synthesis tool called LEQSY that trains an artificial neural network to statically predict the performance of candidate representations. Experimental evaluations demonstrate that. LEQSY can synthesize near-optimum representations.

Tue 16 Jun

Displayed time zone: Pacific Time (US & Canada) change

15:30 - 17:00
Program SynthesisMAPL at MAPL live stream
Chair(s): Satish Chandra Facebook
15:30
30m
Talk
Neurosymbolic Reasoning and the Third Wave of Program Synthesis
MAPL
Armando Solar-Lezama Massachusetts Institute of Technology, USA
16:00
30m
Talk
Learning Quantitative Representation Synthesis
MAPL
Mayur Patil University of California, Riverside, Farzin Houshmand University of California, Riverside, Mohsen Lesani University of California, Riverside
16:30
30m
Talk
Towards Human-Like Program Synthesis
MAPL
Rishabh Singh Google Brain