Phalanx: Parallel checking of expressive heap assertions (0)

by M Vechev, E Yahav, G Yorsh
Venue:Proceedings of the 2010 International Symposium on Memory Management, ISMM ’10, ACM