@SBThesis{Ricardo:sb-thesis:2021,
  title     = "ProgGen: Automatic Dataset Generation for the Halide Domain Specific Language",
  author    = "Holbrook, Zachary",
  month     = "Jun",
  year      = "2021",
  url       = "https://commit.csail.mit.edu/papers/2021/HolbrookZacharyN-meng-eecs-2021.pdf",
  type      = "S.B. Thesis",
  address   = "Cambridge, MA",
  school    = "Massachusetts Institute of Technology"
}