Building a Bridge between Pointer Aliases and Program Dependences

Analysis of Imperative Programs through Analysis of Constraint Logic Programs

SAS '98 Proceedings of the 5th International Symposium on Static Analysis

Shape Analysis

CC '00 Proceedings of the 9th International Conference on Compiler Construction

Establishing local temporal heap safety properties with applications to compile-time memory management

Science of Computer Programming - Special issue: Static analysis symposium (SAS 2003)

Algorithm visualization using concrete and abstract shape graphs

Proceedings of the 4th ACM symposium on Software visualization

Optimal interprocedural program optimization: a new framework and its application

Optimal interprocedural program optimization: a new framework and its application

Checking interference with fractional permissions

SAS'03 Proceedings of the 10th international conference on Static analysis

Establishing local temporal heap safety properties with applications to compile-time memory management

SAS'03 Proceedings of the 10th international conference on Static analysis