Number of items: 2.
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.
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 Thu Nov 21 17:01:01 2024 IST.
