A Survey on Heap Analysis [PQE Survey] [Slides]
Three-Valued Logic Shape Analyzer [Slides]
An example of TVLA [Slides]
An example of bi-abduction in Infer [Review]
From Shape Analysis to Heap Indexing [Slides]