HeapMD

This publication has 22 references indexed in Scilit:

• Verifying properties of well-founded linked lists
  Published by Association for Computing Machinery (ACM) ,2006
• Rx
  Published by Association for Computing Machinery (ACM) ,2005
• Verifying safety properties using separation and heterogeneous abstractions
  Published by Association for Computing Machinery (ACM) ,2004
• Runtime Conformance Checking of Objects Using Alloy
  Electronic Notes in Theoretical Computer Science, 2003
• Automatic detection and repair of errors in data structures
  Published by Association for Computing Machinery (ACM) ,2003
• Predicting whole-program locality through reuse distance analysis
  Published by Association for Computing Machinery (ACM) ,2003
• Automatically characterizing large scale program behavior
  Published by Association for Computing Machinery (ACM) ,2002
• Understanding the connectivity of heap objects
  Published by Association for Computing Machinery (ACM) ,2002
• Parametric shape analysis via 3-valued logic
  ACM Transactions on Programming Languages and Systems, 2002
• Tracking down software bugs using automatic anomaly detection
  Published by Association for Computing Machinery (ACM) ,2002