| emsoft | participants

Gogul Balakrishnan

EMSOFT 2009: 9th ACM & IEEE International Conference on Embedded Software

Refining the Control Structure of Loops using Static Analysis

Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, and Aarti Gupta