Graphs and Decidable Transductions Based on Edge Constraints (Extended Abstract)

Automatic verification of pointer programs using monadic second-order logic

Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation

Shape types

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

The pointer assertion logic engine

Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation

Role analysis

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Compile-Time Debugging of C Programs Working on Trees

ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems

Characterizing and Deciding MSO-Definability of Macro Tree Transductions

STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science

Shape Analysis through Predicate Abstraction and Model Checking

VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation

Storeless semantics and alias logic

Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation

A temporal approach to specification and verification of pointer data-structures

FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering