A. Appel, Modern Compiler Implementation in C, 2008.
DOI : 10.1017/CBO9781139174930

G. Arnold, Specialized 3-valued logic shape analysis using structurebased refinement and loose embedding, SAS, pp.204-220
DOI : 10.1007/11823230_14
URL : http://www.cs.berkeley.edu/~arnold/publications/sas06.ps.gz

R. Bagnara, P. M. Hill, and E. Zaffanella, Widening operators for powerset domains, VMCAI, pp.135-148, 2004.
DOI : 10.1007/s10009-005-0215-8

J. Berdine, C. Calcagno, and P. O. Hearn, Symbolic Execution with Separation Logic, APLAS, pp.52-68, 2005.
DOI : 10.1007/11575467_5

J. Berdine, C. Calcagno, B. Cook, D. Distefano, P. O-'hearn et al., Shape Analysis for Composite Data Structures, CAV, pp.178-192, 2007.
DOI : 10.1007/978-3-540-73368-3_22

B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne et al., A static analyzer for large safety-critical software, PLDI, pp.196-207, 2003.
DOI : 10.1145/781131.781153
URL : https://hal.archives-ouvertes.fr/hal-00128135

A. Bouajjani, C. Dr?-agoi, C. Enea, and M. Sighireanu, Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data, VMCAI, pp.1-22, 2012.
DOI : 10.1007/978-3-540-93900-9_27
URL : http://www.liafa.univ-paris-diderot.fr/~cenea/vmcai2012-lists.pdf

B. E. Chang and X. , Relational inductive shape analysis, POPL, pp.247-260, 2008.
DOI : 10.1145/1328438.1328469
URL : http://rw4.cs.uni-saarland.de/teaching/spa10/papers/risa.pdf

B. E. Chang, X. Rival, and G. Necula, Shape Analysis with Structural Invariant Checkers, SAS, pp.384-401, 2007.
DOI : 10.1007/978-3-540-74061-2_24

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/inria-00528590

P. Cousot and R. Cousot, Systematic design of program analysis frameworks, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '79, pp.269-282, 1979.
DOI : 10.1145/567752.567778
URL : http://www.di.ens.fr/~rcousot/publi/POPL79.pdf

P. Cousot and R. Cousot, Abstract interpretation and application to logic programs, The Journal of Logic Programming, vol.13, issue.2-3, pp.103-179, 1992.
DOI : 10.1016/0743-1066(92)90030-7
URL : https://doi.org/10.1016/0743-1066(92)90030-7

P. Cousot, R. Cousot, and F. Logozzo, A parametric segmentation functor for fully automatic and scalable array content analysis, POPL, pp.105-118, 2011.
DOI : 10.1145/1925844.1926399
URL : https://hal.archives-ouvertes.fr/inria-00543874

A. Cox, B. E. Chang, and X. , Automatic Analysis of Open Objects in Dynamic Language Programs, SAS, pp.134-150, 2014.
DOI : 10.1007/978-3-319-10936-7_9
URL : https://hal.archives-ouvertes.fr/hal-01095955

I. Dillig, T. Dillig, and A. Aiken, Symbolic heap abstraction with demand-driven axiomatization of memory invariants, OOPSLA, pp.397-410, 2010.

I. Dillig, T. Dillig, A. Aiken, D. Distefano, P. O. Hearn et al., Precise reasoning for programs using containers A local shape analysis based on separation logic, POPL TACAS, pp.187-200, 2006.
DOI : 10.1145/1925844.1926407

K. Dudka, P. Peringer, and T. Vojnar, Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic, CAV, pp.372-378, 2011.
DOI : 10.1007/978-3-540-70545-1_36

R. Giacobazzi and F. Ranzato, Optimal domains for disjunctive abstract interpretation, Science of Computer Programming, vol.32, issue.1-3, pp.177-210, 1998.
DOI : 10.1016/S0167-6423(97)00034-8
URL : https://doi.org/10.1016/s0167-6423(97)00034-8

S. Gulwani, B. Mccloskey, and A. Tiwari, Lifting abstract interpreters to quantified logical domains, POPL, pp.235-246, 2008.
DOI : 10.1145/1328438.1328468

N. Halbwachs and M. Péron, Discovering properties about arrays in simple programs, PLDI, pp.339-348, 2008.
DOI : 10.1145/1379022.1375623
URL : https://hal.archives-ouvertes.fr/hal-00288274

M. Handjieva and S. Tzolovski, Refining Static Analyses by Trace-Based Partitioning Using Control Flow, SAS, pp.200-214, 1998.
DOI : 10.1007/3-540-49727-7_12

B. Jeannet, N. Halbwachs, and P. Raymond, Dynamic Partitioning in Analyses of Numerical Properties, SAS, pp.39-50, 1999.
DOI : 10.1007/3-540-48294-6_3

M. Kawaguchi, P. Rondon, and R. Jhala, Type-based data structure verification, PLDI, pp.304-315, 2009.
DOI : 10.1145/1542476.1542510

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
URL : http://www.math.tau.ac.il/~tla/sas00.ps

P. Liang, O. Tripp, and M. Naik, Learning minimal abstractions, POPL, pp.31-42, 2011.
DOI : 10.1145/1925844.1926391
URL : http://www.cs.berkeley.edu/%7Epliang/papers/minimal-popl2011.pdf

R. Manevich, M. Sagiv, G. Ramalingam, and J. Field, Partially Disjunctive Heap Abstraction, SAS, pp.265-279, 2004.
DOI : 10.1007/978-3-540-27864-1_20

H. Oh, W. Lee, K. Heo, H. Yang, and K. Yi, Selective context-sensitivity guided by impact pre-analysis, PLDI, pp.475-484, 2014.
DOI : 10.1145/2666356.2594318
URL : http://www.cs.ox.ac.uk/people/hongseok.yang/paper/pldi14a-submitted.pdf

H. Oh, H. Yang, and K. Yi, Learning a strategy for adapting a program analysis via bayesian optimisation, OOPSLA, pp.572-588, 2015.
DOI : 10.1145/2858965.2814309

T. Pham, M. Trinh, A. Truong, and W. Chin, FixBag: A Fixpoint Calculator for Quantified Bag Constraints, CAV, pp.656-662, 2011.
DOI : 10.1007/978-3-540-93900-9_27

C. Popeea and W. Chin, Inferring Disjunctive Postconditions, ASIAN, pp.331-345, 2006.
DOI : 10.1145/512950.512963
URL : http://www.comp.nus.edu.sg/~chinwn/papers/asian06.ps

J. Reynolds, Separation logic: a logic for shared mutable data structures, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, pp.55-74, 2002.
DOI : 10.1109/LICS.2002.1029817

X. Rival and L. Mauborgne, The trace partitioning abstract domain, ACM Transactions on Programming Languages and Systems, vol.29, issue.5, 2007.
DOI : 10.1145/1275497.1275501

P. M. Rondon, M. Kawaguchi, and R. Jhala, Low-level liquid types, POPL, pp.131-144, 2010.
DOI : 10.1145/1707801.1706316

M. Sagiv, T. Reps, and R. Wilhelm, Parametric shape analysis via 3-valued logic, ACM Transactions on Programming Languages and Systems, vol.24, issue.3, pp.217-298, 2002.
DOI : 10.1145/514188.514190

P. Sotin and X. , Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks, APLAS, pp.131-147, 2012.
DOI : 10.1007/978-3-642-35182-2_10
URL : https://hal.archives-ouvertes.fr/hal-00760427

]. J. Walker, AVL balanced tree library, 2003.

H. Yang, O. Lee, J. Berdine, C. Calcagno, B. Cook et al., Scalable Shape Analysis for Systems Code, CAV, pp.385-398, 2008.
DOI : 10.1007/978-3-540-70545-1_36