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

Browse by IISc Authors

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

Conference Proceedings

Mukherjee, Suvam and Padon, Oded and Shoham, Sharon and D’Souza, Deepak and Rinetzky, Noam (2017) Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs. In: 24th International Symposium on Static Analysis, SAS 2017, 30 August 2017 - 1 September 2017, New York, pp. 253-276.

Mukherjee, Suvam and Kumar, Arun and D'Souza, Deepak (2017) Detecting All High-Level Dataraces in an RTOS Kernel. In: 18th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), JAN 15-17, 2017, Paris, FRANCE, pp. 405-423.

Conference Paper

Mukherjee, Suvam and Padon, Oded and Shoham, Sharon and D’Souza, Deepak and Rinetzky, Noam (2017) RATCOP: Relational Analysis Tool for Concurrent Programs. In: 13th International Haifa Verification Conference, HVC 2017, 13 November 2017 - 15 November 2017, Haifa, pp. 229-233.

This list was generated on Tue Oct 15 04:37:54 2024 IST.