@misc{indiciaebd10fec032e5,
  title = {Software Synthesis for High Productivity Exascale Computing},
  author = {Bodik, Rastislav and Demmel, James and Solar-Lezama, Armando},
  year = {2010},
  doi = {10.2172/1214546},
  url = {https://www.osti.gov/biblio/1214546},
  note = {Source identifier: 1214546}
}