An empirical study of optimizations in YOGI.

Aditya V. Nori, Sriram K. Rajamani

Browse the full ICSE paper archive.