@INPROCEEDINGS {
	AUTHOR = "Jenna Wise and Johannes Bader and Cameron Wong and Jonathan Aldrich and {\'E}ric Tanter and Joshua Sunshine",
	TITLE = "Gradual Verification of Recursive Heap Data Structures",
	BOOKTITLE = "35th ACM International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)",
	PAGES = "228:1-228:28",
	YEAR = "2020",
	PUBLISHER = "ACM Press",
	}