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.
1 comment:
在莫非定律中有項笨蛋定律：「一個組織中的笨蛋，恆大於等於三分之二。」...........................................................................
Post a Comment