65 citations · 347 across the 17 of their papers we have counts for
3 papers · 1 filter
Just-in-Time Learning for Bottom-Up Enumerative Synthesis
Shraddha Barke, Hila Peleg, Nadia Polikarpova
A key challenge in program synthesis is the astronomical size of the search space the synthesizer has to explore. In response to this challenge, recent work proposed to guide synth…
Liquid Resource Types
Tristan Knoth, Di Wang, Adam Reynolds +2
This article presents liquid resource types, a technique for automatically verifying the resource consumption of functional programs. Existing resource analysis techniques trade au…
Concise Read-Only Specifications for Better Synthesis of Programs with Pointers -- Extended Version
Andreea Costea, Amy Zhu, Nadia Polikarpova +1
In program synthesis there is a well-known trade-off between concise and strong specifications: if a specification is too verbose, it might be harder to write than the program; if…