@inproceedings{torlak2013growing,
author = {Torlak, Emina and Bodik, Rastislav},
booktitle = {Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming \& software},
date-added = {2020-11-15 23:36:57 -0800},
date-modified = {2020-11-15 23:36:57 -0800},
pages = {135--152},
title = {Growing solver-aided languages with rosette},
year = {2013},
bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxAecGFwZXJzL3RvcmxhazIwMTNncm93aW5nLWEucGRmTxEBhAAAAAABhAACAAAMTWFjaW50b3NoIEhEAAAAAAAAAAAAAAAAAAAAAAAAAEJEAAH/////F3RvcmxhazIwMTNncm93aW5nLWEucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAP////8AAAAAAAAAAAAAAAAAAQADAAAKIGN1AAAAAAAAAAAAAAAAAAZwYXBlcnMAAgA9LzpVc2VyczpnYW1ibGluMjpzcmM6YnVpbGQtYmliOnBhcGVyczp0b3JsYWsyMDEzZ3Jvd2luZy1hLnBkZgAADgAwABcAdABvAHIAbABhAGsAMgAwADEAMwBnAHIAbwB3AGkAbgBnAC0AYQAuAHAAZABmAA8AGgAMAE0AYQBjAGkAbgB0AG8AcwBoACAASABEABIAO1VzZXJzL2dhbWJsaW4yL3NyYy9idWlsZC1iaWIvcGFwZXJzL3RvcmxhazIwMTNncm93aW5nLWEucGRmAAATAAEvAAAVAAIAD///AAAACAANABoAJABFAAAAAAAAAgEAAAAAAAAABQAAAAAAAAAAAAAAAAAAAc0=}
}