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: 2.

Conference Paper

De, Arnab and Roychoudhury, Abhik and D'Souza, Deepak (2010) WOMM: A Weak Operational Memory Model. In: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, OCT 18-21, 2010, Heraklion, GREECE, pp. 519-534.

De, Arnab and Roychoudhury, Abhik and D’Souza, Deepak (2008) Java Memory Model aware Software validation. In: PASTE '08 Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, New York, NY.

This list was generated on Wed Dec 8 04:31:11 2021 IST.