Huiqing Li, Simon J. Thompson. Safe Concurrency Introduction through Slicing. In Kenichi Asai, Kostis Sagonas, editors, Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015. pages 103-113, ACM, 2015. [doi]
Abstract is missing.