@inproceedings{PLATEAU-2018-HuangM,
	author        = "Yipeng Huang 0001 and Margaret Martonosi",
	booktitle     = "{Proceedings of the Ninth Workshop on Evaluation and Usability of Programming Languages and Tools}",
	doi           = "10.4230/OASIcs.PLATEAU.2018.4",
	isbn          = "978-3-95977-091-0",
	pages         = "14",
	publisher     = "{Schloss Dagstuhl - Leibniz-Zentrum für Informatik}",
	title         = "{QDB: From Quantum Algorithms Towards Correct Quantum Programs}",
	year          = 2018,
}