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.

• Type: Conference
• Year: 2007
• Where: CAV
• Authors: Feng Chen, Grigore Rosu
• Keywords: Causal Partial Order, CAV 2007, Happen-before Causal, Hardware, Parametric Framework