Nishant Totla

EECS Department, University of California, Berkeley

Technical Report No. UCB/EECS-2016-158

October 19, 2016

http://www2.eecs.berkeley.edu/Pubs/TechRpts/2016/EECS-2016-158.pdf

Advisors: Sanjit A. Seshia

---

BibTeX citation:

@mastersthesis{Totla:EECS-2016-158,
    Author= {Totla, Nishant},
    Title= {Oracle-Guided Heap Interpolant Synthesis},
    School= {EECS Department, University of California, Berkeley},
    Year= {2016},
    Month= {Oct},
    Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2016/EECS-2016-158.html},
    Number= {UCB/EECS-2016-158},
}

EndNote citation:

%0 Thesis
%A Totla, Nishant 
%T Oracle-Guided Heap Interpolant Synthesis
%I EECS Department, University of California, Berkeley
%D 2016
%8 October 19
%@ UCB/EECS-2016-158
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2016/EECS-2016-158.html
%F Totla:EECS-2016-158