SPEED: precise and efficient static estimation of program computational complexity

Sumit Gulwani, Krishna K. Mehra, Trishul M. Chilimbi. SPEED: precise and efficient static estimation of program computational complexity. In Zhong Shao, Benjamin C. Pierce, editors, Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009. pages 127-139, ACM, 2009. [doi]

Authors

Sumit Gulwani

This author has not been identified. Look up 'Sumit Gulwani' in Google

Krishna K. Mehra

This author has not been identified. Look up 'Krishna K. Mehra' in Google

Trishul M. Chilimbi

This author has not been identified. Look up 'Trishul M. Chilimbi' in Google