Automatic Generation of Abstract Transfer Functions
Usit Duongsaa
Master's Thesis. University of Utah, 2006
Deriving Abstract Transfer Functions for Analyzing Embedded Software
John Regehr and Usit Duongsaa
In Proceedings of the ACM Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2006), Ottawa, Canada, June 2006
Prevent Interrupt Overload
John Regehr and Usit Duongsaa
In Proceedings of the ACM Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2005), Chicago, IL, June 2005