@ARTICLE {
	AUTHOR = "Jenna DiVincenzo and Ian McCormack and Hemant Gouni and Jacob Gorenburg and Jan-Paul Ramos-D{\'a}vila and Mona Zhang and Conrad Zimmerman and Joshua Sunshine and {\'E}ric Tanter and Jonathan Aldrich",
	TITLE ="Gradual C0: Symbolic Execution for Gradual Verification",
	JOURNAL = "ACM Transactions on Programming Languages and Systems (TOPLAS)",
	VOLUME = "46",
	NUMBER = "4",
	PAGES = "14:1-14:57",
	MONTH = "Jan",
	YEAR = "2025",
	PUBLISHER = "ACM Press",
	ADDRESS = "New York, NY, USA",
	ISSN = "0164-0925"
	}