@inproceedings{PPDP-2018-KlemenS0MH,
	author        = "Maximiliano Klemen and Nataliia Stulova and Pedro López-García 0001 and José F. Morales and Manuel V. Hermenegildo",
	booktitle     = "{Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming}",
	doi           = "10.1145/3236950.3236970",
	pages         = "13",
	publisher     = "{ACM}",
	title         = "{Static Performance Guarantees for Programs with Runtime Checks}",
	year          = 2018,
}