SPEED: precise and efficient static estimation of program computational complexity.

Sumit Gulwani, Krishna K. Mehra, Trishul M. Chilimbi

Browse the full POPL paper archive.