EULER: a system for numerical optimization of programs

Authors:
Swarat Chaudhuri;Armando Solar-Lezama
Affiliations:
Rice University;CSAIL, MIT, Cambridge, MA
Venue:
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
Year:
2012

Citing 3
Cited 1

Programming by sketching for bit-streaming programs

Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Smooth interpretation

PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
Smoothing a program soundly and robustly

CAV'11 Proceedings of the 23rd international conference on Computer aided verification

Bridging boolean and quantitative synthesis using smoothed proof search

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

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