@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=}
}