23/06/2021

Adaptive Restarts for Stochastic Synthesis

Jason R. Koenig, Oded Padon, Alex Aiken

Keywords: stochastic synthesis, restart strategies, superoptimization

Abstract Paper Code Similar Papers

Abstract: We consider the problem of program synthesis from input-output examples via stochastic search. We identify a robust feature of stochastic synthesis: The search often progresses through a series of discrete plateaus. We observe that the distribution of synthesis times is often heavy-tailed and analyze how these distributions arise. Based on these insights, we present an algorithm that speeds up synthesis by an order of magnitude over the naive algorithm currently used in practice. Our experimental results are obtained in part using a new program synthesis benchmark for superoptimization distilled from widely used production code.

The video of this talk cannot be embedded. You can watch it here:
https://slideslive.com/38956296
(Link will open in new window)
 0
 0
 0
 0
  Share    
This is an embedded video. Talk and the respective paper are published at PLDI 2021 virtual conference. If you are one of the authors of the paper and want to manage your upload, see the question "My papertalk has been externally embedded..." in the FAQ section.

Comments

Post Comment
no comments yet
code of conduct: tbd Characters remaining: 140

Similar Papers

 0
 0
 0
 0
 10:26 
 0
 0
 0
 0
 21:19 
 0
 0
 0
 0
 14:58 
 0
 0
 0
 0
 12:19 
 0
 0
 0
 0
 13:31 
 0
 0
 0
 0
 15:40 
 0
 0
 0
 0
 13:40 
 0
 0
 0
 0
 16:48 
 0
 0
 0
 0
 14:10 
 0
 0
 0
 0
 6:03 
 0
 0
 0
 0
 13:38 
 0
 0
 0
 0
 12:14 
 0
 0
 0
 0
 11:36 
 0
 0
 0
 0
 10:07 
 0
 0
 0
 0
 15:26 
 0
 0
 0
 0
 15:09 
 0
 0
 0
 0
 2:46 
 0
 0
 0
 0
 12:39 
 0
 0
 0
 0
 9:12 
 0
 0
 0
 0
 3:22 
 0
 0
 0
 0
 12:57 
 0
 0
 0
 0
 21:04 
 0
 0
 0
 0
 13:48 
 0
 0
 0
 0
 5:05 
 0
 0
 0
 0
 4:57 
 0
 0
 0
 0
 15:21 
 0
 0
 0
 0
 6:51 
 0
 0
 0
 0
 5:13 
 0
 0
 0
 0
 11:03 
 0
 0
 0
 0
 20:15 
 0
 0
 0
 0
 8:30 
 0
 0
 0
 0
 4:32 
 0
 0
 0
 0
 15:41 
 0
 0
 0
 0
 15:36 
 0
 1
 1
 1
 3:24 
 0
 0
 0
 0
 15:02 
 0
 0
 0
 0
 9:58 
 0
 0
 0
 0
 21:09 
 0
 0
 0
 0
 15:12 
 0
 0
 0
 0
 25:24