Browse by Author

Conference Proceedings

Nagar, Kartik and Srikant, YN (2015) Path Sensitive Cache Analysis Using Cache Miss Paths. In: 16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), JAN 12-14, 2015, Mumbai, INDIA, pp. 43-60.

Conference Paper

Nagar, Kartik and Srikant, YN (2012) Interdependent cache analyses for better precision and safety. In: MEMOCODE 2012 : ACM/IEEE Tenth International Conference on Formal Methods and Models for Codesign, July 16-18, 2012, Arlington, Virginia.

Journal Article

Nagar, Kartik and Srikant, Y N (2017) Refining Cache Behavior Prediction Using Cache Miss Paths. In: ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 16 (4).

Nagar, Kartik and Srikant, YN (2016) Fast and Precise Worst-Case Interference Placement for Shared Cache Analysis. In: ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 15 (3).