@article{Regehr:2005:ESO:1113830.1113833,
 author = {Regehr, John and Reid, Alastair and Webb, Kirk},
 title = {Eliminating stack overflow by abstract interpretation},
 journal = {ACM Trans. Embed. Comput. Syst.},
 issue_date = {November 2005},
 volume = {4},
 number = {4},
 month = nov,
 year = {2005},
 issn = {1539-9087},
 pages = {751--778},
 numpages = {28},
 url = {http://doi.acm.org/10.1145/1113830.1113833},
 doi = {10.1145/1113830.1113833},
 acmid = {1113833},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Microcontroller, abstract interpretation, call stack, context sensitive, dataflow analysis, interrupt-driven, sensor network},
}