Martin T. Vechev, Eran Yahav, Greta Yorsh. PHALANX: parallel checking of expressive heap assertions. In Jan Vitek, Doug Lea, editors, Proceedings of the 9th International Symposium on Memory Management, ISMM 2010, Toronto, Ontario, Canada, June 5-6, 2010. pages 41-50, ACM, 2010. [doi]
Abstract is missing.