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 Sat May 11 08:28:56 2024 IST.
