论文信息 - Euler: A System for Numerical Optimization of Programs - 字舞流文

Euler: A System for Numerical Optimization of Programs

We give a tutorial introduction to Euler, a system for solving difficult optimization problems involving programs.

Swarat Chaudhuri | Armando Solar-Lezama

[1] Swarat Chaudhuri,et al. Smooth interpretation , 2010, PLDI '10.

[2] John A. Nelder,et al. A Simplex Method for Function Minimization , 1965, Comput. J..

[3] Armando Solar-Lezama,et al. Programming by sketching for bit-streaming programs , 2005, PLDI '05.

[4] Swarat Chaudhuri,et al. Smoothing a Program Soundly and Robustly , 2011, CAV.