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