@inproceedings(ball:pldi:01,
 author       = "T.~Ball and R.~Majumdar and T.~D. Millstein and S.~K. Rajamani",
 year         = "2001",
 title        = "Automatic Predicate Abstraction of C Programs",
 booktitle    = "PLDI'01",
 pages        = "203--213",
 doi          = "10.1145/378795.378846",
)
@inproceedings(berdine:cav:07,
 author       = "J.~Berdine and C.~Calcagno and B.~Cook and D.~Distefano and P.~O'Hearn and T.~Wies and H.~Yang",
 year         = "2007",
 title        = "Shape Analysis for Composite Data Structures",
 booktitle    = "CAV'07",
 pages        = "178--192",
 doi          = "10.1007/978-3-540-73368-3\_22",
)
@inproceedings(astree:pldi:03,
 author       = "B.~Blanchet and P.~Cousot and R.~Cousot and J.~Feret and L.~Mauborgne and A.~Min{\'e} and D.~Monniaux and X.~Rival",
 year         = "2003",
 title        = "A static analyzer for large safety-critical software",
 booktitle    = "PLDI'03",
 pages        = "196--207",
 doi          = "10.1145/781131.781153",
)
@article(b:jfp:92,
 author       = "F.~Bourdoncle",
 year         = "1992",
 title        = "Abstract Interpretation by Dynamic Partitioning",
 journal      = "Journal of Functional Programming",
 volume       = "2",
 number       = "4",
 pages        = "407--423",
 doi          = "10.1017/S0956796800000496",
)
@phdthesis(bec:phd:2008,
 author       = "B.-Y.~E. Chang",
 year         = "2008",
 title        = "End-User Program Analysis",
 school       = "University of California, Berkeley",
)
@inproceedings(bec:vmcai:05,
 author       = "B.-Y.~E. Chang and R.~Leino",
 year         = "2005",
 title        = "Abstract Interpretation with Alien Expressions and Heap Structures",
 booktitle    = "VMCAI'05",
 pages        = "147--163",
 doi          = "10.1007/978-3-540-30579-8\_11",
)
@inproceedings(xisa:popl:08,
 author       = "B.-Y.~E. Chang and X.~Rival",
 year         = "2008",
 title        = "Relational inductive shape analysis",
 booktitle    = "POPL'08",
 pages        = "247--260",
 doi          = "10.1145/1328438.1328469",
)
@inproceedings(xisa:sas:07,
 author       = "B.-Y.~E. Chang and X.~Rival and G.~Necula",
 year         = "2007",
 title        = "Shape Analysis with Structural Invariant Checkers",
 booktitle    = "SAS'07",
 pages        = "384--401",
 doi          = "10.1007/978-3-540-74061-2\_24",
)
@inproceedings(chase:pldi:90,
 author       = "D.~R. Chase and M.~Wegman and F.~K. Zadeck",
 year         = "1990",
 title        = "Analysis of Pointers and Structures",
 booktitle    = "PLDI'90",
 pages        = "296--310",
 doi          = "10.1145/93542.93585",
)
@inproceedings(cc:popl:77,
 author       = "P.~Cousot and R.~Cousot",
 year         = "1977",
 title        = "Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints",
 booktitle    = "POPL'77",
 pages        = "238--252",
 doi          = "10.1145/512950.512973",
)
@inproceedings(cc:popl:79,
 author       = "P.~Cousot and R.~Cousot",
 year         = "1979",
 title        = "Systematic Design of Program Analysis Frameworks",
 booktitle    = "POPL'79",
 pages        = "269--282",
 doi          = "10.1145/567752.567778",
)
@inproceedings(ch:popl:78,
 author       = "P.~Cousot and N.~Halbwachs",
 year         = "1978",
 title        = "Automatic discovery of linear restraints among variables of a program",
 booktitle    = "POPL'78",
 pages        = "84--97",
 doi          = "10.1145/512760.512770",
)
@inproceedings(dillig:popl:11,
 author       = "I.~Dillig and T.~Dillig and A.~Aiken",
 year         = "2011",
 title        = "Precise reasoning for programs using containers",
 booktitle    = "POPL'11",
 pages        = "187--200",
 doi          = "10.1145/1926385.1926407",
)
@inproceedings(dino:tacas:06,
 author       = "D.~Distefano and P.~O'Hearn and H.~Yang",
 year         = "2006",
 title        = "A Local Shape Analysis Based on Separation Logic",
 booktitle    = "TACAS'06",
 pages        = "287--302",
 doi          = "10.1007/11691372\_19",
)
@inproceedings(gopan:popl:05,
 author       = "D.~Gopan and T.~W. Reps and M.~Sagiv",
 year         = "2005",
 title        = "A framework for numeric analysis of array operations",
 booktitle    = "POPL'05",
 pages        = "338--350",
 doi          = "10.1145/1040305.1040333",
)
@inproceedings(gulwani:popl:08,
 author       = "S.~Gulwani and B.~McCloskey and A.~Tiwari",
 year         = "2008",
 title        = "Lifting abstract interpreters to quantified logical domains",
 booktitle    = "POPL'08",
 pages        = "235--246",
 doi          = "10.1145/1328438.1328468",
)
@inproceedings(peron:pldi:08,
 author       = "N.~Halbwachs and M.~P{\'e}ron",
 year         = "2008",
 title        = "Discovering properties about arrays in simple programs",
 booktitle    = "PLDI'08",
 pages        = "339--348",
 doi          = "10.1145/1375581.1375623",
)
@inproceedings(henzinger:popl:02,
 author       = "T.~A. Henzinger and R.~Jhala and R.~Majumdar and G.~Sutre",
 year         = "2002",
 title        = "Lazy abstraction",
 booktitle    = "POPL'02",
 pages        = "58--70",
 doi          = "10.1145/503272.503279",
)
@article(hor:iter:87,
 author       = "S{.} Horwitz and A{.}~J. Demers and T{.} Teitelbaum",
 year         = "1987",
 title        = "An Efficient General Iterative Algorithm for Dataflow Analysis",
 journal      = "Acta Informatica",
 volume       = "24",
 number       = "6",
 pages        = "679--694",
 doi          = "10.1007/BF00282621",
 note         = "Springer",
)
@inproceedings(apron:cav:09,
 author       = "B.~Jeannet and A.~Min{\'e}",
 year         = "2009",
 title        = "Apron: A Library of Numerical Abstract Domains for Static Analysis",
 booktitle    = "CAV'09",
 pages        = "661--667",
 doi          = "10.1007/978-3-642-02658-4\_52",
)
@incollection(jones+1981:flow-analysis,
 author       = "N.~Jones and S.~Muchnick",
 year         = "1981",
 title        = "Flow Analysis and Optimization of {LISP}-like Structures",
 booktitle    = "Program Flow Analysis: Theory and Applications",
 chapter      = "4",
 publisher    = "Prentice-Hall",
 pages        = "102--131",
)
@inproceedings(xisa:esop:10,
 author       = "V.~Laviron and B.-Y.~E. Chang and X.~Rival",
 year         = "2010",
 title        = "Separating Shape Graphs",
 booktitle    = "ESOP'10",
 pages        = "387--406",
 doi          = "10.1007/978-3-642-11957-6\_21",
)
@inproceedings(magill:sas:07,
 author       = "S.~Magill and J.~Berdine and E.~Clarke and B.~Cook",
 year         = "2007",
 title        = "Arithmetic Strengthening for Shape Analysis",
 booktitle    = "SAS'07",
 pages        = "419--436",
 doi          = "10.1007/978-3-540-74061-2\_26",
)
@inproceedings(magill:popl:10,
 author       = "S.~Magill and M.-H. Tsai and P.~Lee and Y.-K. Tsay",
 year         = "2010",
 title        = "Automatic numeric abstractions for heap-manipulating programs",
 booktitle    = "POPL'10",
 pages        = "211--222",
 doi          = "10.1145/1706299.1706326",
)
@inproceedings(bill:sas:10,
 author       = "B.~McCloskey and T.~Reps and M.~Sagiv",
 year         = "2010",
 title        = "Statically Inferring Complex Heap, Array, and Numeric Invariants",
 booktitle    = "SAS'10",
 pages        = "71--99",
 doi          = "10.1007/978-3-642-15769-1\_6",
)
@article(mrr:tosem:05,
 author       = "A.~Milanova and A.~Rountev and B.~G. Ryder",
 year         = "2005",
 title        = "Parameterized object sensitivity for points-to analysis for Java",
 journal      = "TOSEM",
 volume       = "14",
 number       = "1",
 pages        = "1--41",
 doi          = "10.1145/1044834.1044835",
)
@article(am:hosc:06,
 author       = "A.~Min{\'e}",
 year         = "2006",
 title        = "The octagon abstract domain",
 journal      = "HOSC",
 volume       = "19",
 number       = "1",
 pages        = "31--100",
 doi          = "10.1007/s10990-006-8609-1",
)
@inproceedings(r:lics:02,
 author       = "J.~Reynolds",
 year         = "2002",
 title        = "Separation Logic: A Logic for Shared Mutable Data Structures",
 booktitle    = "LICS'02",
 pages        = "55--74",
 doi          = "10.1109/LICS.2002.1029817",
)
@inproceedings(xisa:popl:11,
 author       = "X.~Rival and B.-Y.~E. Chang",
 year         = "2011",
 title        = "Calling context abstraction with shapes",
 booktitle    = "POPL'11",
 pages        = "173--186",
 doi          = "10.1145/1926385.1926406",
)
@article(rm:toplas:07,
 author       = "X.~Rival and L.~Mauborgne",
 year         = "2007",
 title        = "The trace partitioning abstract domain",
 journal      = "ACM TOPLAS",
 volume       = "29",
 number       = "5",
 pages        = "26--69",
 doi          = "10.1145/1275497.1275501",
)
@article(tvla:toplas:02,
 author       = "M.~Sagiv and T.~Reps and R.~Wilhelm",
 year         = "2002",
 title        = "Parametric shape analysis via 3-valued logic",
 journal      = "ACM TOPLAS",
 volume       = "24",
 number       = "3",
 pages        = "217--298",
 doi          = "10.1145/514188.514190",
)
@article(sagiv:toplas:98,
 author       = "M.~Sagiv and T.~W. Reps and R.~Wilhelm",
 year         = "1998",
 title        = "Solving Shape-Analysis Problems in Languages with Destructive Updating",
 journal      = "ACM TOPLAS",
 volume       = "20",
 number       = "1",
 pages        = "1--50",
 doi          = "10.1145/271510.271517",
)
@book(ds:den:86,
 author       = "D.~A. Schmidt",
 year         = "1986",
 title        = "Denotational semantics: a methodology for language development",
 publisher    = "William C. Brown Publishers",
 address      = "Dubuque, IA, USA",
)
@article(ds:den:09,
 author       = "D.~A. Schmidt",
 year         = "2009",
 title        = "Abstract Interpretation From a Denotational-semantics Perspective",
 journal      = "ENTCS",
 volume       = "249",
 pages        = "19--37",
 doi          = "10.1016/j.entcs.2009.07.082",
)
@incollection(sp:81,
 author       = "M.~Sharir and A.~Pnueli",
 year         = "1981",
 title        = "Two approaches to interprocedural data flow analysis",
 booktitle    = "Program Flow Analysis: Theory and Applications",
 chapter      = "7",
 publisher    = "Prentice-Hall",
 pages        = "189--233",
)
@inproceedings(sr:aplas:12,
 author       = "P.~Sotin and X.~Rival",
 year         = "2012",
 title        = "Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks",
 booktitle    = "APLAS'12",
 pages        = "131--147",
 doi          = "10.1007/978-3-642-35182-2\_10",
)
@inproceedings(tcr:vmcai:13,
 author       = "A.~Toubhans and B.-Y.~E. Chang and X.~Rival",
 year         = "2013",
 title        = "Reduced Product Combination of Abstract Domains for Shapes",
 booktitle    = "VMCAI'13",
 pages        = "375--395",
 doi          = "10.1007/978-3-642-35873-9\_23",
)
@inproceedings(venet:sas:96,
 author       = "A.~Venet",
 year         = "1996",
 title        = "Abstract Cofibered Domains: Application to the Alias Analysis of Untyped Programs.",
 booktitle    = "SAS'96",
 pages        = "366--382",
 doi          = "10.1007/3-540-61739-6\_53",
)