Videos from the recent LFX workshop are available here:
http://www.vimeo.com/groups/lfx
Slides are also available online on the workshop's homepage:
http://research.ihost.com/lfx2010/
Tuesday, June 15, 2010
Saturday, March 20, 2010
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.
Subscribe to:
Posts (Atom)