SMT Solver-based Compiler Optimization Verification
put your abstract here
Sorin Lerner
, University of California, San Diego, USA
put your bio here