Refining the control structure of loops using static analysis.

Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta

Browse the full EMSOFT paper archive.