Euler: A System for Numerical Optimization of Programs

  • Swarat Chaudhuri
  • Armando Solar-Lezama
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7358)

Abstract

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

Keywords

Numerical Optimization Function Parallel Uniform Random Sampling Intended Position Parallel Parking 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Chaudhuri, S., Solar-Lezama, A.: Smooth interpretation. In: PLDI, pp. 279–291 (2010)Google Scholar
  2. 2.
    Chaudhuri, S., Solar-Lezama, A.: Smoothing a Program Soundly and Robustly. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 277–292. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  3. 3.
    Nelder, J.A., Mead, R.: A simplex method for function minimization. The Computer Journal 7(4), 308 (1965)MATHGoogle Scholar
  4. 4.
    Solar-Lezama, A., Rabbah, R., Bodík, R., Ebcioğlu, K.: Programming by sketching for bit-streaming programs. In: PLDI, pp. 281–294. ACM (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Swarat Chaudhuri
    • 1
  • Armando Solar-Lezama
    • 2
  1. 1.Rice UniversityUSA
  2. 2.CSAILMITCambridgeUSA

Personalised recommendations