@inproceedings{schardl2015cilkprof,
  title={The cilkprof scalability profiler},
  author={Schardl, Tao B and Kuszmaul, Bradley C and Lee, I and Leiserson, William M and Leiserson, Charles E and others},
  booktitle={Proceedings of the 27th ACM symposium on Parallelism in Algorithms and Architectures},
  pages={89--100},
  year={2015},
  organization={ACM}
}

@inproceedings{garcia2011kremlin,
  title={Kremlin: Rethinking and rebooting gprof for the multicore age},
  author={Garcia, Saturnino and Jeon, Donghwan and Louie, Christopher M and Taylor, Michael Bedford},
  booktitle={ACM SIGPLAN Notices},
  volume={46},
  number={6},
  pages={458--469},
  year={2011},
  organization={ACM}
}

@article{yoga2017fast,
  title={A fast causal profiler for task parallel programs},
  author={Yoga, Adarsh and Nagarakatte, Santosh},
  journal={arXiv preprint arXiv:1705.01522},
  year={2017}
}

@inproceedings{vollmer2017compiling,
  title={Compiling Tree Transforms to Operate on Packed Representations},
  author={Vollmer, Michael and Spall, Sarah and Chamith, Buddhika and Sakka, Laith and Koparkar, Chaitanya and Kulkarni, Milind and Tobin-Hochstadt, Sam and Newton, Ryan R},
  booktitle={LIPIcs-Leibniz International Proceedings in Informatics},
  volume={74},
  year={2017},
  organization={Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik}
}

@article{feldman1979make,
  title={Make—A program for maintaining computer programs},
  author={Feldman, Stuart I},
  journal={Software: Practice and experience},
  volume={9},
  number={4},
  pages={255--265},
  year={1979},
  publisher={Wiley Online Library}
}

@inproceedings{mitchell2012shake,
  title={Shake before building: Replacing make with Haskell},
  author={Mitchell, Neil},
  booktitle={ACM SIGPLAN Notices},
  volume={47},
  number={9},
  pages={55--66},
  year={2012},
  organization={ACM}
}

@misc{bazel,
title={Bazel},
author={Google},
url={https://bazel.build/},
year={2018}
}

@misc{buck,
title={Buck: A high-performance build tool},
author={Facebook},
url={https://buckbuild.com/},
year={2013}
}

@misc{ninja,
title={Ninja: A small build system with a focus on speed},
author={Evan Martin},
url={https://ninja-build.org/},
year={2017}
}


@article{brent1974parallel,
  title={The parallel evaluation of general arithmetic expressions},
  author={Brent, Richard P},
  journal={Journal of the ACM (JACM)},
  volume={21},
  number={2},
  pages={201--206},
  year={1974},
  publisher={ACM}
}

@misc{gnumake,
title={GNU Make},
author={GNU},
url={https://www.gnu.org/software/make/manual/make.html},
year={2018}
}

@phdthesis{lattner2002llvm,
  title={LLVM: An infrastructure for multi-stage optimization},
  author={Lattner, Chris Arthur},
  year={2002},
  school={University of Illinois at Urbana-Champaign}
}

@misc{ocaml,
title={OCaml 4.06.1},
year={2018},
url={https://ocaml.org/}
}

@article{barenghi2015parallel,
  title={Parallel parsing made practical},
  author={Barenghi, Alessandro and Reghizzi, Stefano Crespi and Mandrioli, Dino and Panella, Federica and Pradella, Matteo},
  journal={Science of Computer Programming},
  volume={112},
  pages={195--226},
  year={2015},
  publisher={Elsevier}
}

@article{kuper2014freeze,
  title={Freeze after writing: Quasi-deterministic parallel programming with LVars},
  author={Kuper, Lindsey and Turon, Aaron and Krishnaswami, Neelakantan R and Newton, Ryan R},
  journal={ACM SIGPLAN Notices},
  volume={49},
  number={1},
  pages={257--270},
  year={2014},
  publisher={ACM}
}

@inproceedings{mendez2010parallel,
  title={Parallel inclusion-based points-to analysis},
  author={M{\'e}ndez-Lojo, Mario and Mathew, Augustine and Pingali, Keshav},
  booktitle={ACM Sigplan Notices},
  volume={45},
  number={10},
  pages={428--443},
  year={2010},
  organization={ACM}
}

@article{prabhu2011eigencfa,
  title={EigenCFA: accelerating flow analysis with GPUs},
  author={Prabhu, Tarun and Ramalingam, Shreyas and Might, Matthew and Hall, Mary},
  journal={ACM SIGPLAN Notices},
  volume={46},
  number={1},
  pages={511--522},
  year={2011},
  publisher={ACM}
}

@techreport{zobel1992program,
  title={Program structure as a basis for the parallelization of global compiler optimizations},
  author={Zobel, Angelika},
  year={1992},
  institution={CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE}
}

@inproceedings{makowski1995achieving,
  title={Achieving efficient register allocation via parallelism},
  author={Makowski, Christine and Pollock, Lori L},
  booktitle={Proceedings of the 1995 ACM symposium on Applied computing},
  pages={123--129},
  year={1995},
  organization={ACM}
}

@article{zobel1993program,
  title={Program structure as basis for the parallelization of global register allocation},
  author={Zobel, Angelika},
  journal={Computer languages},
  volume={19},
  number={2},
  pages={135--155},
  year={1993},
  publisher={Elsevier}
}

@article{newton2016parallel,
  title={Parallel type-checking with haskell using saturating LVars and stream generators},
  author={Newton, Ryan R and A{\u{g}}acan, {\"O}mer S and Fogg, Peter and Tobin-Hochstadt, Sam},
  journal={ACM SIGPLAN Notices},
  volume={51},
  number={8},
  pages={6},
  year={2016},
  publisher={ACM}
}