acm sigbed
|
emsoft
|
participants
Aarti Gupta
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
10.1145/1629335.1629343
https://home.cs.colorado.edu/~srirams/papers/emsoft2009.pdf