Showing 2018Show all
2 papers · 1 filter
cs.PL2018
Synthesizing Symmetric Lenses
Anders Miltner, Solomon Maina, Kathleen Fisher +3
Lenses are programs that can be run both "front to back" and "back to front," allowing updates to either their source or their target data to be transferred in both directions. Len…
cs.AI2018
Program Synthesis Through Reinforcement Learning Guided Tree Search
Riley Simmons-Edler, Anders Miltner, Sebastian Seung
Program Synthesis is the task of generating a program from a provided specification. Traditionally, this has been treated as a search problem by the programming languages (PL) comm…