Speeding Up Maximal Causality Reduction with Static Dependency Analysis

Shiyou Huang, Jeff Huang 0001. Speeding Up Maximal Causality Reduction with Static Dependency Analysis. In Peter Müller, editor, 31st European Conference on Object-Oriented Programming, ECOOP 2017, June 19-23, 2017, Barcelona, Spain. Volume 74 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]

Abstract

Abstract is missing.