@PhdThesis{PhD:Rinetzky08,
    title="Interprocedural and Modular Local Heap Shape Analysis",
    Author="Noam Rinetzky",
    School="Tel Aviv University",
    Year=2008,
    month = "June",
}