@inproceedings{CGO-2019-SunBSB,
	acmid         = "3314882",
	author        = "Haiyang Sun and Daniele Bonetta and Filippo Schiavio and Walter Binder",
	booktitle     = "{Proceedings of the 17th International Symposium on Code Generation and Optimization}",
	doi           = "10.1109/CGO.2019.8661173",
	isbn          = "978-1-7281-1436-1",
	pages         = "61--72",
	publisher     = "{IEEE}",
	title         = "{Reasoning about the Node.js Event Loop using Async Graphs}",
	year          = 2019,
}