Heap-Hop

News

• 23 Mar. 2010: Heap-Hop is presented to the public at TACAS in Cyprus.
• 9 Feb. 2010: A repository of Heap-Hop is up on bitbucket.
• 11 Dec. 2009: Our tool paper has been accepted at TACAS'10.
• 12 Oct. 2009: Heap-Hop version 1.0 is out. Check it out!