Stack Size Analysis for Interrupt-Driven Programs.

Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg

Browse the full SAS paper archive.