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)


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


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.


  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)zbMATHGoogle 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