@InProceedings{SCI:Gil2017a,
  author =    "T. Gilray and S. Kumar",
  title =     "Toward parallel CFA with datalog, MPI, and CUDA",
  booktitle = "Scheme and Functional Programming Workshop",
  year =      "2017",
  url =       "http://www.sci.utah.edu/publications/Gil2017a/Scheme.pdf",
}