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

J. Bertrane, P. Cousot, R. Cousot, J. Feret, L. Mauborgne et al., Static analysis and verification of aerospace software by abstract interpretation, AIAA Infotech@Aerospace, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00528611

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

C. Calcagno, D. Distefano, P. O. Hearn, and H. Yang, Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic, SAS, 2006.
DOI : 10.1007/11823230_13

E. Chang and X. , Relational inductive shape analysis, POPL, 2008.
DOI : 10.1145/1328438.1328469
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.224.43

E. Chang, X. Rival, and G. Necula, Shape Analysis with Structural Invariant Checkers, SAS, 2007.
DOI : 10.1007/978-3-540-74061-2_24
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.161.1921

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

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

P. Cousot and N. Halbwachs, Automatic discovery of linear restraints among variables of a program, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '78, 1978.
DOI : 10.1145/512760.512770

I. Dillig, T. Dillig, and A. Aiken, Precise reasoning for programs using containers, POPL, 2011.
DOI : 10.1145/1925844.1926407

D. Distefano, P. O. Hearn, and H. Yang, A Local Shape Analysis Based on Separation Logic, TACAS, 2006.
DOI : 10.1145/514188.514190

D. Gopan, T. W. Reps, and S. Sagiv, A framework for numeric analysis of array operations, POPL, 2005.

S. Gulwani, T. Lev-ami, and M. Sagiv, A combination framework for tracking partition sizes, POPL, 2009.
DOI : 10.1145/1480881.1480912

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

B. Jeannet and A. Miné, Apron: A Library of Numerical Abstract Domains for Static Analysis, CAV, 2009.
DOI : 10.1007/978-3-642-02658-4_52
URL : https://hal.archives-ouvertes.fr/hal-00786354

V. Laviron, E. Chang, and X. , Separating Shape Graphs, ESOP, 2010.
DOI : 10.1007/978-3-642-11957-6_21
URL : https://hal.archives-ouvertes.fr/inria-00539548

O. Lee, H. Yang, and R. Petersen, Program Analysis for Overlaid Data Structures, CAV, 2011.
DOI : 10.1007/978-3-540-70545-1_36
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.230.4099

M. Marron, D. Stefanovic, M. V. Hermenegildo, and D. Kapur, Heap analysis in the presence of collection libraries, Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering , PASTE '07, 2007.
DOI : 10.1145/1251535.1251541

A. Miné, The octagon abstract domain, HOSC, vol.19, issue.1, 2006.

A. Miné, Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs, ESOP, 2011.
DOI : 10.1007/978-3-540-30538-5_4

D. Monniaux, Verification of device drivers and intelligent controllers, Proceedings of the 7th ACM & IEEE international conference on Embedded software , EMSOFT '07, 2007.
DOI : 10.1145/1289927.1289937
URL : https://hal.archives-ouvertes.fr/hal-00158869

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

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