Phalanx is to appear in ISMM 2010!

Our paper on Phalanx — a practical framework for dynamically checking expressive heap properties — was accepted to ISSM 2010. Phalanx uses novel parallel algorithms to efficiently check a wide range of heap properties including ownership, sharing and reachability.