Solving shape-analysis problems in languages with destructive updating

Practical program analysis using general purpose logic programming systems—a case study

PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation

Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Program decomposition for pointer aliasing: a step toward practical analyses

SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering

Automatic verification of pointer programs using monadic second-order logic

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

Register promotion in C programs

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

Fast and accurate flow-insensitive points-to analysis

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

Shape types

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

Putting pointer analysis to work

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Automatically closing open reactive programs

PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation

Parametric shape analysis via 3-valued logic

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

Live memory analysis for garbage collection in embedded systems

Proceedings of the ACM SIGPLAN 1999 workshop on Languages, compilers, and tools for embedded systems

Removing unnecessary synchronization in Java

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Interprocedural pointer alias analysis

ACM Transactions on Programming Languages and Systems (TOPLAS)

Symbolic pointer analysis for detecting memory leaks

PEPM '00 Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation

Pointer analysis: haven't we solved this problem yet?

PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering

Role analysis

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

Instance-wise points-to analysis for loop-based dependence testing

ICS '02 Proceedings of the 16th international conference on Supercomputing

Specifying and Automatically Generating a Specialization Tool for Fortran 90

Automated Software Engineering

Focusing in Algorithm Explanation

IEEE Transactions on Visualization and Computer Graphics

Parallelizing graph construction operations in programs with cyclic graphs

Parallel Computing

Building a bridge between pointer aliases and program dependences

Nordic Journal of Computing

Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses

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

Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses

SAS '01 Proceedings of the 8th International Symposium on Static Analysis

Detecting Read-Only Methods in Java

LCR '00 Selected Papers from the 5th International Workshop on Languages, Compilers, and Run-Time Systems for Scalable Computers

Shape Analysis

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

Identifying parallelism in programs with cyclic graphs

Journal of Parallel and Distributed Computing

Identifying Parallelism in Programs with Cyclic Graphs

ICPP '00 Proceedings of the Proceedings of the 2000 International Conference on Parallel Processing

Class analyses as abstract interpretations of trace semantics

ACM Transactions on Programming Languages and Systems (TOPLAS)

Analysis of pointers and structures

ACM SIGPLAN Notices - Best of PLDI 1979-1999

Practical and Accurate Low-Level Pointer Analysis

Proceedings of the international symposium on Code generation and optimization

Recursive data structure profiling

Proceedings of the 2005 workshop on Memory system performance

STLlint: lifting static checking from languages to libraries

Software—Practice & Experience

Interprocedural definition-use chains of dynamic pointer-linked data structures

Scientific Programming

Optimistic parallelism requires abstractions

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

Heap analysis in the presence of collection libraries

PASTE '07 Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering

Shape Analysis by Refining on Abstract Evaluation Path

Electronic Notes in Theoretical Computer Science (ENTCS)

Algorithm visualization using concrete and abstract shape graphs

Proceedings of the 4th ACM symposium on Software visualization

Iteration Disambiguation for Parallelism Identification in Time-Sliced Applications

Languages and Compilers for Parallel Computing

Identification of Heap---Carried Data Dependence Via Explicit Store Heap Models

Languages and Compilers for Parallel Computing

Automatic Discovery of Coarse-Grained Parallelism in Media Applications

Transactions on High-Performance Embedded Architectures and Compilers I

Optimistic parallelism requires abstractions

Communications of the ACM - The Status of the P versus NP Problem

Precise pointer reasoning for dynamic test generation

Proceedings of the eighteenth international symposium on Software testing and analysis

A static heap analysis for shape and connectivity: unified memory analysis: the base framework

LCPC'06 Proceedings of the 19th international conference on Languages and compilers for parallel computing

A logic for analyzing abstractions of graph transformation systems

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

Maintaining doubly-linked list invariants in shape analysis with local reasoning

VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation

A language for role specifications

LCPC'01 Proceedings of the 14th international conference on Languages and compilers for parallel computing

Efficient context-sensitive shape analysis with graph based heap models

CC'08/ETAPS'08 Proceedings of the Joint European Conferences on Theory and Practice of Software 17th international conference on Compiler construction

An appreciation of the work of Reinhard Wilhelm

Program analysis and compilation, theory and practice

A novel analysis space for pointer analysis and its application for bug finding

Science of Computer Programming

Shape analysis with reference set relations

VMCAI'10 Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation

Application and formal specification of sorted term-position algebras

WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques

A relational abstraction for functions

SAS'05 Proceedings of the 12th international conference on Static Analysis

Precise shape analysis using field sensitivity

Proceedings of the 27th Annual ACM Symposium on Applied Computing

Precise shape analysis using field sensitivity

Innovations in Systems and Software Engineering