@article{Chatterjee:2004:SSA:1709463.1709555,
    Address = {Duluth, MN, USA},
    Author = {Chatterjee, Krishnendu and Ma, Di and Majumdar, Rupak and Zhao, Tian and Henzinger, Thomas A. and Palsberg, Jens},
    File = {StackBoundednessInInterruptPrograms (0) - a - a - s.pdf},
    ISSN = {0890-5401},
    Journal = {Inf. Comput.},
    Keywords = {Interrupt programs, Program analysis, Stack bounds},
    Month = {November},
    Number = {2},
    Pages = {144--174},
    Publisher = {Academic Press, Inc.},
    Title = {Stack Size Analysis for Interrupt-driven Programs},
    URL = {http://dx.doi.org/10.1016/j.ic.2004.06.001},
    Volume = {194},
    Year = {2004},
    acmid = {1709555},
    bdsk-url-1 = {http://dx.doi.org/10.1016/j.ic.2004.06.001},
    date-added = {2017-07-15 09:47:16 +0000},
    date-modified = {2017-07-15 09:47:16 +0000},
    file-2 = {stack\_size\_analysis\_for\_interrupt-driven\_programs (0) - a - a - s.pdf},
    file-3 = {sas03 (0) - a - a - s.pdf},
    issue_date = {November, 2004},
    numpages = {31},
    doi = {10.1016/j.ic.2004.06.001}
}

@article{Chatterjee:2004:SSA:1709463.1709555, Address = {Duluth, MN, USA}, Author = {Chatterjee, Krishnendu and Ma, Di and Majumdar, Rupak and Zhao, Tian and Henzinger, Thomas A. and Palsberg, Jens}, File = {StackBoundednessInInterruptPrograms (0) - a - a - s.pdf}, ISSN = {0890-5401}, Journal = {Inf. Comput.}, Keywords = {Interrupt programs, Program analysis, Stack bounds}, Month = {November}, Number = {2}, Pages = {144--174}, Publisher = {Academic Press, Inc.}, Title = {Stack Size Analysis for Interrupt-driven Programs}, URL = {http://dx.doi.org/10.1016/j.ic.2004.06.001}, Volume = {194}, Year = {2004}, acmid = {1709555}, bdsk-url-1 = {http://dx.doi.org/10.1016/j.ic.2004.06.001}, date-added = {2017-07-15 09:47:16 +0000}, date-modified = {2017-07-15 09:47:16 +0000}, file-2 = {stack_size_analysis_for_interrupt-driven_programs (0) - a - a - s.pdf}, file-3 = {sas03 (0) - a - a - s.pdf}, issue_date = {November, 2004}, numpages = {31}, doi = {10.1016/j.ic.2004.06.001} }