Up a level |
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.