Parametric and Sliced Causality

11 years 9 months ago
Parametric and Sliced Causality
Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causal partial orders. Existing variants of happen-before relations can be obtained as instances of the parametric framework. A novel causal partial order, called sliced causality, is then defined also as an instance of the parametric framework, which loosens the obvious but strict happen-before relation by considering static and dynamic dependence information about the program. Sliced causality has been implemented in a runtime predictive analysis tool for Java, named jPredictor, and the evaluation results show that sliced causality can significantly improve the capability of concurrent verification and testing.
Feng Chen, Grigore Rosu
Added 12 Aug 2010
Updated 12 Aug 2010
Type Conference
Year 2007
Where CAV
Authors Feng Chen, Grigore Rosu
Comments (0)