Smoothing a program soundly and robustly

We study the foundations of smooth interpretation, a recently-proposed program approximation scheme that facilitates the use of local numerical search techniques (e.g., gradient descent) in program analysis and synthesis. While the popular techniques for local optimization works well only on relativ...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron: Chaudhuri, Swarat, Solar-Lezama, Armando
Awduron Eraill: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Fformat: Erthygl
Iaith:en_US
Cyhoeddwyd: Springer Berlin / Heidelberg 2012
Mynediad Ar-lein:http://hdl.handle.net/1721.1/73901
https://orcid.org/0000-0001-7604-8252