Interdependent cache analyses for better precision and safety

Kartik Nagar, Y. N. Srikant. Interdependent cache analyses for better precision and safety. In Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE2012, Arlington, VA, USA, July 16-17, 2012. pages 99-108, IEEE, 2012. [doi]

Authors

Kartik Nagar

This author has not been identified. Look up 'Kartik Nagar' in Google

Y. N. Srikant

This author has not been identified. Look up 'Y. N. Srikant' in Google