@inproceedings{PLDI-2013-SergeyDMMDCP,
	author        = "Ilya Sergey and Dominique Devriese and Matthew Might and Jan Midtgaard and David Darais and Dave Clarke and Frank Piessens",
	booktitle     = "{Proceedings of the 34th Conference on Programming Language Design and Implementation}",
	doi           = "10.1145/2491956.2491979",
	editor        = "Hans-Juergen Boehm and Cormac Flanagan",
	isbn          = "978-1-4503-2014-6",
	pages         = "399--410",
	publisher     = "{ACM}",
	title         = "{Monadic abstract interpreters}",
	year          = 2013,
}