@INPROCEEDINGS {
	AUTHOR = "Sam Estep and Jenna Wise and Jonathan Aldrich and {\'E}ric Tanter and Johannes Bader and Joshua Sunshine",
	TITLE = "Gradual Program Analysis for Null Pointers",
	BOOKTITLE = "35th European Conference on Object-Oriented Programming (ECOOP)",
	PAGES = "3:1--3:25",
	MONTH = "Jul",
	YEAR = "2021",
	PUBLISHER = "Springer-Verlag",
	SERIES ="Lecture Notes in Computer Science",
	}