Alexey Gotsman, Josh Berdine, Byron Cook, Mooly Sagiv. Thread-modular shape analysis. In Jeanne Ferrante, Kathryn S. McKinley, editors, Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007. pages 266-277, ACM, 2007. [doi]
Abstract is missing.