Formal language, grammar and set-constraint-based program analysis by abstract interpretation

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

Program verification through soft typing

ACM Computing Surveys (CSUR)

Trace-based program analysis

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

Program analysis: the abstract interpretation perspective

ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research

Componential set-based analysis

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

Systematic realisation of control flow analyses for CML

ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming

Types as abstract interpretations

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

Infinitary control flow analysis: a collecting semantics for closure analysis

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

Componential set-based 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

Using regular approximations for generalisation during partial evalution

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

Regular Tree Languages as an Abstract Domain in Program Specialisation

Higher-Order and Symbolic Computation

Secure calling contexts for stack inspection

Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming

Managing the granularity of constraint-based analyses by rule transformation

Information Processing Letters

Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs

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

Reachability Analysis of Term Rewriting Systems with Timbuk

LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming

Eliminating Dead Code on Recursive Data

SAS '99 Proceedings of the 6th International Symposium on Static Analysis

Solving Regular Tree Grammar Based Constraints

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

Abstract Interpretation Based Formal Methods and Future Challenges

Informatics - 10 Years Back. 10 Years Ahead.

Modular Static Program Analysis

CC '02 Proceedings of the 11th International Conference on Compiler Construction

Boolean and Cartesian Abstraction for Model Checking C Programs

TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Automatic Verification by Abstract Interpretation

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

Eliminating dead code on recursive data

Science of Computer Programming - Special issue on static analysis (SAS'99)

Granularity of constraint-based analysis for Java

Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming

Types in program analysis

The essence of computation

Path Dependent Analysis of Logic Programs

Higher-Order and Symbolic Computation

Syntactic accidents in program analysis: on the impact of the CPS transformation

Journal of Functional Programming

The semantics of future and an application

Journal of Functional Programming

Finite-tree analysis for constraint logic-based languages

Information and Computation

Interfaces for stack inspection

Journal of Functional Programming

Secure object flow analysis for java card

CARDIS'02 Proceedings of the 5th conference on Smart Card Research and Advanced Application Conference - Volume 5

A practical type analysis for verification of modular prolog programs

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

Improving precision of type analysis using non-discriminative union

Theory and Practice of Logic Programming

Counterexample-guided focus

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

Type reconstruction for general refinement types

ESOP'07 Proceedings of the 16th European conference on Programming

A scalable segmented decision tree abstract domain

Time for verification

Modelling metamorphism by abstract interpretation

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

Path- and index-sensitive string analysis based on monadic second-order logic

Proceedings of the 2011 International Symposium on Software Testing and Analysis

Automatic verification of pointer programs using grammar-based shape analysis

ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems

Control-flow analysis of functional programs

ACM Computing Surveys (CSUR)

Numeric bounds analysis with conflict-driven learning

TACAS'12 Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems

Analysis of logic programs using regular tree languages

LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation

Precise thread-modular verification

SAS'07 Proceedings of the 14th international conference on Static Analysis

Path- and index-sensitive string analysis based on monadic second-order logic

ACM Transactions on Software Engineering and Methodology (TOSEM) - Testing, debugging, and error handling, formal methods, lifecycle concerns, evolution and maintenance