@article{bornholt2018finding,
  author = {Bornholt, James and Torlak, Emina},
  date-added = {2020-11-15 23:36:57 -0800},
  date-modified = {2020-11-15 23:36:57 -0800},
  journal = {Proceedings of the ACM on Programming Languages},
  number = {OOPSLA},
  pages = {1--26},
  publisher = {ACM New York, NY, USA},
  title = {Finding code that explodes under symbolic evaluation},
  volume = {2},
  year = {2018},
  bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxAgcGFwZXJzL2Jvcm5ob2x0MjAxOGZpbmRpbmctYS5wZGZPEQGMAAAAAAGMAAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAAAAAAAAQkQAAf////8ZYm9ybmhvbHQyMDE4ZmluZGluZy1hLnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA/////wAAAAAAAAAAAAAAAAABAAMAAAogY3UAAAAAAAAAAAAAAAAABnBhcGVycwACAD8vOlVzZXJzOmdhbWJsaW4yOnNyYzpidWlsZC1iaWI6cGFwZXJzOmJvcm5ob2x0MjAxOGZpbmRpbmctYS5wZGYAAA4ANAAZAGIAbwByAG4AaABvAGwAdAAyADAAMQA4AGYAaQBuAGQAaQBuAGcALQBhAC4AcABkAGYADwAaAAwATQBhAGMAaQBuAHQAbwBzAGgAIABIAEQAEgA9VXNlcnMvZ2FtYmxpbjIvc3JjL2J1aWxkLWJpYi9wYXBlcnMvYm9ybmhvbHQyMDE4ZmluZGluZy1hLnBkZgAAEwABLwAAFQACAA///wAAAAgADQAaACQARwAAAAAAAAIBAAAAAAAAAAUAAAAAAAAAAAAAAAAAAAHX}
}