ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

Browse by Author

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 4.

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).

This list was generated on Sun Oct 20 08:29:58 2019 IST.