Analysis of pointers and structures

Pointer-induced aliasing: a problem classification

POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Limits of instruction-level parallelism

ASPLOS IV Proceedings of the fourth international conference on Architectural support for programming languages and operating systems

Efficiently computing static single assignment form and the control dependence graph

ACM Transactions on Programming Languages and Systems (TOPLAS)

Parallel generational garbage collection

OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications

Dynamic slicing in the presence of unconstrained pointers

TAV4 Proceedings of the symposium on Testing, analysis, and verification

Interprocedural Def-Use associations in C programs

TAV4 Proceedings of the symposium on Testing, analysis, and verification

Pointer target tracking—an empirical study

Proceedings of the 1991 ACM/IEEE conference on Supercomputing

Analysis of recursive types in Lisp-like languages

LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming

Dynamic program parallelization

LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming

Escape analysis on lists

PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation

A safe approximate algorithm for interprocedural aliasing

PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation

Abstractions for recursive pointer data structures: improving the analysis and transformation of imperative programs

PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation

Alphonse: incremental computation as a programming abstraction

PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation

Tolerating data access latency with register preloading

ICS '92 Proceedings of the 6th international conference on Supercomputing

The maintenance of intermediate values in goal-directed evaluation

ACM Letters on Programming Languages and Systems (LOPLAS)

Abstract description of pointer data structures: an approach for improving the analysis and optimization of imperative programs

ACM Letters on Programming Languages and Systems (LOPLAS)

Efficient accommodation of may-alias information in SSA form

PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation

Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Pointer-induced aliasing: a clarification

ACM SIGPLAN Notices

Direct update of data flow representations for a meaning-preserving program restructuring tool

SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering

Live-structure dataflow analysis for Prolog

ACM Transactions on Programming Languages and Systems (TOPLAS)

A general data dependence test for dynamic, pointer-based data structures

PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation

Interprocedural may-alias analysis for pointers: beyond k-limiting

PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation

Context-sensitive interprocedural points-to analysis in the presence of function pointers

PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation

Object analysis of program

ACM SIGPLAN Notices

A checkable interface language for pointer-based structures

IDL '94 Proceedings of the workshop on Interface definition languages

A study of pointer aliasing for software pipelining using run-time disambiguation

MICRO 27 Proceedings of the 27th annual international symposium on Microarchitecture

Speeding up slicing

SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering

An extended form of must alias analysis for dynamic allocation

POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

A simple graph-based intermediate representation

IR '95 Papers from the 1995 ACM SIGPLAN workshop on Intermediate representations

Optimizing sparse representations for dataflow analysis

IR '95 Papers from the 1995 ACM SIGPLAN workshop on Intermediate representations

Sparse functional stores for imperative programs

IR '95 Papers from the 1995 ACM SIGPLAN workshop on Intermediate representations

Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool

IEEE Transactions on Software Engineering - Special issue on software architecture

Efficient context-sensitive pointer analysis for C programs

PLDI '95 Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation

Context-insensitive alias analysis reconsidered

PLDI '95 Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation

Shape analysis as a generalized path problem

PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Abstract interpretation and low-level code optimization

PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Semantic models and abstract interpretation techniques for inductive data structures and pointers

PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Precise interprocedural chopping

SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering

Interprocedural register allocation for lazy functional languages

FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture

Commutativity analysis: a new analysis framework for parallelizing compilers

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

Separate Computation of Alias Information for Reuse

IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96

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

Solving shape-analysis problems in languages with destructive updating

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

Points-to analysis in almost linear time

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

Trace-based program analysis

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

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

Partitioning dataflow analyses using types

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

On the complexity of escape analysis

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

Alias analysis of executable code

POPL '98 Proceedings of the 25th 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

Manufacturing cheap, resilient, and stealthy opaque constructs

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

Single and loving it: must-alias analysis for higher-order languages

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

Commutativity analysis: a new analysis technique for parallelizing compilers

ACM Transactions on Programming Languages and Systems (TOPLAS)

Solving shape-analysis problems in languages with destructive updating

ACM Transactions on Programming Languages and Systems (TOPLAS)

Constructing compact models of concurrent Java programs

Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis

Experiments with combined analysis for pointer aliasing

Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering

Detecting memory errors via static pointer analysis (preliminary experience)

Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering

Type-based alias analysis

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

Garbage collection and local variable type-precision and liveness in Java virtual machines

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

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

Automatic parallelization of divide and conquer algorithms

Proceedings of the seventh ACM SIGPLAN symposium on Principles and practice of parallel programming

New shape analysis techniques for automatic parallelization of C codes

ICS '99 Proceedings of the 13th international conference on Supercomputing

Separate computation of alias information for reuse

ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis

Interprocedural pointer alias analysis

ACM Transactions on Programming Languages and Systems (TOPLAS)

Shape analysis for mobile ambients

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

An annotation language for optimizing software libraries

Proceedings of the 2nd conference on Domain-specific languages

Using shape analysis to reduce finite-state models of concurrent Java programs

ACM Transactions on Software Engineering and Methodology (TOSEM)

Putting static analysis to work for verification: A case study

Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis

Modular interprocedural pointer analysis using access paths: design, implementation, and evaluation

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation

Safety checking of machine code

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation

Symbolic bounds analysis of pointers, array indices, and accessed memory regions

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation

A framework for interprocedural optimization in the presence of dynamic class loading

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation

Verifying safety properties of concurrent Java programs using 3-valued logic

POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Dynamically Discovering Likely Program Invariants to Support Program Evolution

IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering

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

A schema for interprocedural modification side-effect analysis with pointer aliasing

ACM Transactions on Programming Languages and Systems (TOPLAS)

Finding bugs with a constraint solver

Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis

Using types to analyze and optimize object-oriented programs

ACM Transactions on Programming Languages and Systems (TOPLAS)

Role analysis

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

Flow-sensitive type qualifiers

PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation

Deriving specialized program analyses for certifying component-client conformance

PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation

Parametric shape analysis via 3-valued logic

ACM Transactions on Programming Languages and Systems (TOPLAS)

An analyzable annotation language

OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Specifying and Automatically Generating a Specialization Tool for Fortran 90

Automated Software Engineering

Pointer analysis for structured parallel programs

ACM Transactions on Programming Languages and Systems (TOPLAS)

Interprocedural compatibility analysis for static object preallocation

POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

New Shape Analysis and Interprocedural Techniques for Automatic Parallelization of C Codes

International Journal of Parallel Programming

Containers on the Parallelization of General-Purpose Java Programs

International Journal of Parallel Programming

Focusing in Algorithm Explanation

IEEE Transactions on Visualization and Computer Graphics

Automatic Accurate Cost-Bound Analysis for High-Level Languages

IEEE Transactions on Computers

Interprocedural Def-Use Associations for C Systems with Single Level Pointers

IEEE Transactions on Software Engineering

New shape analysis and interprocedural techniques for automatic parallelization of C codes

International Journal of Parallel Programming

Parallelizing graph construction operations in programs with cyclic graphs

Parallel Computing

Building a bridge between pointer aliases and program dependences

Nordic Journal of Computing

Eliminating synchronization bottlenecks using adaptive replication

ACM Transactions on Programming Languages and Systems (TOPLAS)

A Decidable Logic for Describing Linked Data Structures

ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems

A Kleene Analysis of Mobile Ambients

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

Modal Transition Systems: A Foundation for Three-Valued Program Analysis

ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems

Typestate Checking of Machine Code

ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems

Beyond Arrays - A Container-Centric Approach for Parallelization of Real-World Symbolic Applications

LCPC '98 Proceedings of the 11th International Workshop on Languages and Compilers for Parallel Computing

Automatic Parallelization of C by Means of Language Transcription

LCPC '98 Proceedings of the 11th International Workshop on Languages and Compilers for Parallel Computing

Optimizing the Use of High Performance Software Libraries

LCPC '00 Proceedings of the 13th International Workshop on Languages and Compilers for Parallel Computing-Revised Papers

Accurate Shape Analysis for Recursive Data Structures

LCPC '00 Proceedings of the 13th International Workshop on Languages and Compilers for Parallel Computing-Revised Papers

Distinctness and Sharing Domains for Static Analysis of Java Programs

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming

On the Expressiveness of 3-Valued Models

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

Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses

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

Analysis of Multithreaded Programs

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

Automated Verification of Concurrent Linked Lists with Counters

SAS '02 Proceedings of the 9th International Symposium on Static Analysis

Fast Escape Analysis and Stack Allocation for Object-Based Programs

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

Interprocedural Shape Analysis for Recursive Programs

CC '01 Proceedings of the 10th International Conference on Compiler Construction

Compiler-Cooperative Memory Management in Java

PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia

Shape Analysis

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

Checking and inferring local non-aliasing

PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation

CSSV: towards a realistic tool for statically detecting all buffer overflows in C

PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation

Memory disambiguation for general-purpose applications

CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research

A fast approximate interprocedural analysis for speculative multithreading compilers

ICS '03 Proceedings of the 17th annual international conference on Supercomputing

On the Practical Static Checker of Semantic Run-Time Errors

APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference

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

Tracking pointers with path and context sensitivity for bug detection in C programs

Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering

Extending Java for high-level Web service construction

ACM Transactions on Programming Languages and Systems (TOPLAS)

Stack allocation and synchronization optimizations for Java using escape analysis

ACM Transactions on Programming Languages and Systems (TOPLAS)

Pointer analysis of multithreaded Java programs

Proceedings of the 2003 ACM symposium on Applied computing

A Framework to Capture Dynamic Data Structures in Pointer-Based Codes

IEEE Transactions on Parallel and Distributed Systems

Generalized typestate checking using set interfaces and pluggable analyses

ACM SIGPLAN Notices

Interprocedural slicing using dependence graphs

ACM SIGPLAN Notices - Best of PLDI 1979-1999

A safe approximate algorithm for interprocedural pointer aliasing

ACM SIGPLAN Notices - Best of PLDI 1979-1999

A domain equation for refinement of partial systems

Mathematical Structures in Computer Science

Static program analysis of embedded executable assembly code

Proceedings of the 2004 international conference on Compilers, architecture, and synthesis for embedded systems

Finding your cronies: static analysis for dynamic object colocation

OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

A classification system and analysis for aspect-oriented programs

Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering

Compile-Time Concurrent Marking Write Barrier Removal

Proceedings of the international symposium on Code generation and optimization

A brief survey of program slicing

ACM SIGSOFT Software Engineering Notes

Symbolic bounds analysis of pointers, array indices, and accessed memory regions

ACM Transactions on Programming Languages and Systems (TOPLAS)

Transformational Derivation of an Improved Alias Analysis Algorithm

Higher-Order and Symbolic Computation

A logic for information flow in object-oriented programs

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Continuous code-quality assurance with SAFE

Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Error checking with client-driven pointer analysis

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

Precise alias analysis for static detection of web application vulnerabilities

Proceedings of the 2006 workshop on Programming languages and analysis for security

Dynamic state restoration using versioning exceptions

Higher-Order and Symbolic Computation

Effective typestate verification in the presence of aliasing

Proceedings of the 2006 international symposium on Software testing and analysis

Improving flow analyses via ΓCFA: abstract garbage collection and counting

Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming

How is aliasing used in systems software?

Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering

Logical characterizations of heap abstractions

ACM Transactions on Computational Logic (TOCL)

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

Scientific Programming

Shape analysis with inductive recursion synthesis

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

Interstatement must aliases for data dependence analysis of heap locations

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

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

Inferring specifications to detect errors in code

Automated Software Engineering

An annotation language for optimizing software libraries

DSL'99 Proceedings of the 2nd conference on Conference on Domain-Specific Languages - Volume 2

Static specification mining using automata-based abstractions

Proceedings of the 2007 international symposium on Software testing and analysis

Heap reference analysis using access graphs

ACM Transactions on Programming Languages and Systems (TOPLAS)

Forma: A framework for safe automatic array reshaping

ACM Transactions on Programming Languages and Systems (TOPLAS)

Overlooking roots: a framework for making nondeferred reference-counting garbage collection fast

Proceedings of the 6th international symposium on Memory management

Effective typestate verification in the presence of aliasing

ACM Transactions on Software Engineering and Methodology (TOSEM)

GC assertions: using the garbage collector to check heap properties

Proceedings of the 2008 ACM SIGPLAN workshop on Memory systems performance and correctness: held in conjunction with the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '08)

Shape Analysis by Refining on Abstract Evaluation Path

Electronic Notes in Theoretical Computer Science (ENTCS)

Implications of a Data Structure Consistency Checking System

Verified Software: Theories, Tools, Experiments

Verifying Dynamic Pointer-Manipulating Threads

FM '08 Proceedings of the 15th international symposium on Formal Methods

Semi-sparse flow-sensitive pointer analysis

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

Sorting Algorithms in MOQA

Electronic Notes in Theoretical Computer Science (ENTCS)

A bottom-up pointer analysis using the update history

Information and Software Technology

A Posteriori Soundness for Non-deterministic Abstract Interpretations

VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation

A non-null annotation inferencer for Java bytecode

Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering

Sharing analysis of arrays, collections, and recursive structures

Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering

Exploiting reachability and cardinality in higher-order flow analysis

Journal of Functional Programming

Identification of logically related heap regions

Proceedings of the 2009 international symposium on Memory management

Dynamic shape analysis via degree metrics

Proceedings of the 2009 international symposium on Memory management

GC assertions: using the garbage collector to check heap properties

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

Software model checking

ACM Computing Surveys (CSUR)

Implementing time-predictable load and store operations

EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software

A program auto-parallelizer based on the component technology of optimizing compiler construction

Programming and Computing Software

Compile-time concurrent marking write barrier removal

Compile-time concurrent marking write barrier removal

Towards a Complete Static Analyser for Java: an Abstract Interpretation Framework and its Implementation

Electronic Notes in Theoretical Computer Science (ENTCS)

Verifying safety properties of concurrent heap-manipulating programs

ACM Transactions on Programming Languages and Systems (TOPLAS)

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

Client-driven pointer analysis

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

Existential heap abstraction entailment is undecidable

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

Static analysis of accessed regions in recursive data structures

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

Shape analysis by graph decomposition

TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems

Checking properties of heap-manipulating procedures with a constraint solver

TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems

An abstract domain for analyzing heap-manipulating low-level software

CAV'07 Proceedings of the 19th international conference on Computer aided verification

On improving heap memory layout by dynamic pool allocation

Proceedings of the 8th annual IEEE/ACM international symposium on Code generation and optimization

Level by level: making flow- and context-sensitive pointer analysis scalable for millions of lines of code

Proceedings of the 8th annual IEEE/ACM international symposium on Code generation and optimization

Effective interprocedural resource leak detection

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1

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

Science of Computer Programming

Static analysis for detecting taint-style vulnerabilities in web applications

Journal of Computer Security

Some Experience on the Software Engineering of Abstract Interpretation Tools

Electronic Notes in Theoretical Computer Science (ENTCS)

Interprocedural analysis with lazy propagation

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

Recency types for analyzing scripting languages

ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming

Runtime instrumentation for precise flow-sensitive type analysis

RV'10 Proceedings of the First international conference on Runtime verification

Precise interprocedural analysis in the presence of pointers to the stack

ESOP'11/ETAPS'11 Proceedings of the 20th European conference on Programming languages and systems: part of the joint European conferences on theory and practice of software

Using disjoint reachability for parallelization

CC'11/ETAPS'11 Proceedings of the 20th international conference on Compiler construction: part of the joint European conferences on theory and practice of software

Precise static analysis of untrusted driver binaries

Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design

Statically-directed dynamic automated test generation

Proceedings of the 2011 International Symposium on Software Testing and Analysis

Boosting the performance of flow-sensitive points-to analysis using value flow

Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering

Family of abstract interpretations for static analysis of concurrent higher-order programs

SAS'11 Proceedings of the 18th international conference on Static analysis

Safety and liveness in concurrent pointer programs

FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects

Beyond reachability: shape abstraction in the presence of pointer arithmetic

SAS'06 Proceedings of the 13th international conference on Static Analysis

Recency-Abstraction for heap-allocated storage

SAS'06 Proceedings of the 13th international conference on Static Analysis

Modular monadic slicing in the presence of pointers

ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part IV

Shape analysis with reference set relations

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

Shape analysis in the absence of pointers and structure

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

Towards a versatile pointer analysis framework

Euro-Par'06 Proceedings of the 12th international conference on Parallel Processing

Lazy shape analysis

CAV'06 Proceedings of the 18th international conference on Computer Aided Verification

Towards compiler optimization of codes based on arrays of pointers

LCPC'02 Proceedings of the 15th international conference on Languages and Compilers for Parallel Computing

An empirical study on the granularity of pointer analysis in c programs

LCPC'02 Proceedings of the 15th international conference on Languages and Compilers for Parallel Computing

Static deadlock detection for java libraries

ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming

Abstraction refinement via inductive learning

CAV'05 Proceedings of the 17th international conference on Computer Aided Verification

A relational abstraction for functions

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

Interprocedural shape analysis for cutpoint-free programs

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

Who is pointing when to whom?

FSTTCS'04 Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science

Static type analysis of pattern matching by abstract interpretation

FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems

Dynamic architecture extraction

FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification

A practical string analyzer by the widening approach

APLAS'06 Proceedings of the 4th Asian conference on Programming Languages and Systems

Fluid updates: beyond strong vs. weak updates

ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems

Flow-sensitive pointer analysis for millions of lines of code

CGO '11 Proceedings of the 9th Annual IEEE/ACM International Symposium on Code Generation and Optimization

Efficient and formal generalized symbolic execution

Automated Software Engineering

Object representatives: a uniform abstraction for pointer information

VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference

Precise shape analysis using field sensitivity

Proceedings of the 27th Annual ACM Symposium on Applied Computing

Design and implementation of sparse global analyses for C-like languages

Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation

Programming paradigm driven heap analysis

CC'12 Proceedings of the 21st international conference on Compiler Construction

Language design and analyzability: a retrospective

Software—Practice & Experience

Hash-flow taint analysis of higher-order programs

Proceedings of the 7th Workshop on Programming Languages and Analysis for Security

Practical Integrated Analysis of Pointers, Dataflow and Control Flow

ACM Transactions on Programming Languages and Systems (TOPLAS)

Collecting a heap of shapes

Proceedings of the 2013 International Symposium on Software Testing and Analysis

Precise shape analysis using field sensitivity

Innovations in Systems and Software Engineering

Theory propagation and rational-trees

Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming

Alias analysis for object-oriented programs

Aliasing in Object-Oriented Programming