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
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change

mapl-2020-papers
15:30 - 17:00: MAPL - Program Synthesis at MAPL live stream
Chair(s): Satish ChandraFacebook
mapl-2020-papers15:30 - 16:00
Talk
Armando Solar-LezamaMassachusetts Institute of Technology, USA
mapl-2020-papers16:00 - 16:30
Talk
Mayur PatilUniversity of California, Riverside, Farzin HoushmandUniversity of California, Riverside, Mohsen LesaniUniversity of California, Riverside
mapl-2020-papers16:30 - 17:00
Talk
Rishabh SinghGoogle Brain