_id,doi,title 4398,1553,Shape Analysis for Composite Data Structures