Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract)

Making abstract interpretations complete

Journal of the ACM (JACM)

Parsing as abstract interpretation of grammar semantics

Theoretical Computer Science

Control-flow analysis of function calls and returns by abstract interpretation

Proceedings of the 14th ACM SIGPLAN international conference on Functional programming

Control-flow analysis of function calls and returns by abstract interpretation

Information and Computation

A structural soundness proof for shivers's escape technique: a case for galois connections

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