Enforcing Resource Bounds via Static Verification of Dynamic Checks.

Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula

Browse the full ESOP paper archive.