I. Dillig, T. Dillig, and A. Aiken, Fluid Updates: Beyond Strong vs. Weak Updates, ESOP, pp.246-266, 2010.
DOI : 10.1007/978-3-642-11957-6_14

I. Dillig, T. Dillig, and A. Aiken, Precise reasoning for programs using containers, POPL, pp.187-200, 2011.

M. Emami, R. Ghiya, and L. J. Hendren, Context-sensitive interprocedural points-to analysis in the presence of function pointers, PLDI, pp.242-256, 1994.

J. Fink, E. Yahav, and N. Dor, Effective typestate verification in the presence of aliasing, ACM Trans. Softw. Eng. Methodol, vol.17, issue.2, 2008.

Z. Fu, Static Analysis of Numerical Properties in the Presence of Pointers, 2013.
URL : https://hal.archives-ouvertes.fr/tel-00918593

Z. Fu, Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java, 2014.
DOI : 10.1007/978-3-642-54013-4_16
URL : https://hal.archives-ouvertes.fr/hal-00809826

D. Gopan, F. Dimaio, and N. Dor, Numeric Domains with Summarized Dimensions, TACAS, pp.512-529, 2004.
DOI : 10.1007/978-3-540-24730-2_38

W. Landi and B. G. Ryder, A safe approximate algorithm for interprocedural pointer aliasing, PLDI, pp.235-248, 1992.
DOI : 10.1145/989393.989440

T. Lev-ami and S. Sagiv, TVLA: A System for Implementing Static Analyses, SAS, pp.280-301, 2000.
DOI : 10.1007/978-3-540-45099-3_15

M. Sagiv, T. Reps, and R. Wilhelm, Parametric shape analysis via 3-valued logic, POPL, pp.105-118, 1999.
DOI : 10.1145/514188.514190
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.3161

P. Vallée-rai, E. Co, L. J. Gagnon, P. Hendren, V. Lam et al., Soot -a Java bytecode optimization framework, CASCON, p.13, 1999.

R. P. Wilson and M. S. Lam, Efficient Context-Sensitive Pointer Analysis for C Programs, PLDI, pp.1-12, 1995.