main.bib

@article{raman2022learning,
  title={Learning Branch Probabilities in Compiler from Datacenter Workloads},
  author={Raman, Easwaran and Li, Xinliang David},
  journal={arXiv preprint arXiv:2202.06728},
  year={2022}
}

@article{newell2020improved,
  title={Improved basic block reordering},
  author={Newell, Andy and Pupyrev, Sergey},
  journal={IEEE Transactions on Computers},
  volume={69},
  number={12},
  pages={1784--1794},
  year={2020},
  publisher={IEEE}
}

@inproceedings{pettis1990profile,
  title={Profile guided code positioning},
  author={Pettis, Karl and Hansen, Robert C},
  booktitle={Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation},
  pages={16--27},
  year={1990}
}

@article{morel1979global,
  title={Global optimization by suppression of partial redundancies},
  author={Morel, Etienne and Renvoise, Claude},
  journal={Communications of the ACM},
  volume={22},
  number={2},
  pages={96--103},
  year={1979},
  publisher={ACM New York, NY, USA}
}

@inproceedings{ruthing2000sparse,
  title={Sparse code motion},
  author={R{\"u}thing, Oliver and Knoop, Jens and Steffen, Bernhard},
  booktitle={Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
  pages={170--183},
  year={2000}
}

@inproceedings{steffen1991data,
  title={Data flow analysis as model checking},
  author={Steffen, Bernhard},
  booktitle={International Symposium on Theoretical Aspects of Computer Software},
  pages={346--364},
  year={1991},
  organization={Springer}
}

@misc{293S08PR25:online,
author = {},
title = {293S\_08\_PRE\_LCM},
howpublished = {\url{https://sites.cs.ucsb.edu/~yufeiding/cs293s/slides/293S_08_PRE_LCM.pdf}},
month = {},
year = {},
note = {(Accessed on 11/27/2022)}
}
@misc{Microsof86:online,
author = {},
title = {Microsoft PowerPoint - L12-Lazy-Code-Motion},
howpublished = {\url{https://www.cs.cmu.edu/afs/cs/academic/class/15745-s16/www/lectures/L12-Lazy-Code-Motion.pdf}},
month = {},
year = {},
note = {(Accessed on 11/27/2022)}
}

@misc{Microsof22:online,
author = {},
title = {Microsoft PowerPoint - L12-Interval-Analysis},
howpublished = {\url{http://www.cs.cmu.edu/afs/cs/academic/class/15745-s13/public/lectures/L12-Interval-Analysis-1up.pdf}},
month = {},
year = {},
note = {(Accessed on 11/27/2022)}
}
@misc{Pointsto7:online,
author = {},
title = {Points-to Analysis},
howpublished = {\url{https://engineering.purdue.edu/Cetus/Documentation/manual/ch07s05.html}},
month = {},
year = {},
note = {(Accessed on 11/30/2022)}
}
@article{rugina2003pointer,
  title={Pointer analysis for structured parallel programs},
  author={Rugina, Radu and Rinard, Martin C},
  journal={ACM Transactions on Programming Languages and Systems (TOPLAS)},
  volume={25},
  number={1},
  pages={70--116},
  year={2003},
  publisher={ACM New York, NY, USA}
}
@inproceedings{hind2001pointer,
  title={Pointer analysis: Haven't we solved this problem yet?},
  author={Hind, Michael},
  booktitle={Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering},
  pages={54--61},
  year={2001}
}

@misc{notes07p17:online,
author = {},
title = {notes07-pointers.pdf},
howpublished = {\url{http://www.cs.cmu.edu/~clegoues/courses/15-819O-16sp/notes/notes07-pointers.pdf}},
month = {},
year = {},
note = {(Accessed on 12/04/2022)}
}

@inproceedings{hack2006register,
  title={Register allocation for programs in SSA-form},
  author={Hack, Sebastian and Grund, Daniel and Goos, Gerhard},
  booktitle={International Conference on Compiler Construction},
  pages={247--262},
  year={2006},
  organization={Springer}
}

@inproceedings{pereira2005register,
  title={Register allocation via coloring of chordal graphs},
  author={Pereira, Fernando Magno Quintao and Palsberg, Jens},
  booktitle={Asian Symposium on Programming Languages and Systems},
  pages={315--329},
  year={2005},
  organization={Springer}
}

@article{chaitin1982register,
  title={Register allocation \& spilling via graph coloring},
  author={Chaitin, Gregory J},
  journal={ACM Sigplan Notices},
  volume={17},
  number={6},
  pages={98--101},
  year={1982},
  publisher={ACM New York, NY, USA}
}

@misc{REGISTER78:online,
author = {},
title = {REGISTER ALLOCATION},
howpublished = {\url{https://pages.cs.wisc.edu/~horwitz/CS701-NOTES/5.REGISTER-ALLOCATION.html}},
month = {},
year = {},
note = {(Accessed on 12/06/2022)}
}

@inproceedings{gibbons1986efficient,
  title={Efficient instruction scheduling for a pipelined architecture},
  author={Gibbons, Philip B and Muchnick, Steven S},
  booktitle={Proceedings of the 1986 SIGPLAN symposium on Compiler construction},
  pages={11--16},
  year={1986}
}
@article{cooper1998experimental,
  title={An experimental evaluation of list scheduling},
  author={Cooper, Keith D and Schielke, Philip J and Subramanian, Devika},
  journal={TR98},
  volume={326},
  year={1998}
}

@article{landskov1980local,
  title={Local microcode compaction techniques},
  author={Landskov, David and Davidson, Scott and Shriver, Bruce and Mallett, Patrick W},
  journal={ACM Computing Surveys (CSUR)},
  volume={12},
  number={3},
  pages={261--294},
  year={1980},
  publisher={ACM New York, NY, USA}
}
@article{lin1973effective,
  title={An effective heuristic algorithm for the traveling-salesman problem},
  author={Lin, Shen and Kernighan, Brian W},
  journal={Operations research},
  volume={21},
  number={2},
  pages={498--516},
  year={1973},
  publisher={Informs}
}

@techreport{zweben1992scheduling,
  title={Scheduling and rescheduling with iterative repair},
  author={Zweben, Monte and Davis, Eugene and Daun, Brian and Deale, Michael},
  year={1992}
}

@article{zweben1992learning,
  title={Learning to improve constraint-based scheduling},
  author={Zweben, Monte and Davis, Eugene and Daun, Brian and Drascher, Ellen and Deale, Michael and Eskey, Megan},
  journal={Artificial Intelligence},
  volume={58},
  number={1-3},
  pages={271--296},
  year={1992},
  publisher={Elsevier}
}

@misc{Datadepe9:online,
author = {},
title = {Data dependency - Wikipedia},
howpublished = {\url{https://en.wikipedia.org/wiki/Data_dependency}},
month = {},
year = {},
note = {(Accessed on 12/07/2022)}
}

@article{whaley2001partial,
  title={Partial method compilation using dynamic profile information},
  author={Whaley, John},
  journal={ACM SIGPLAN Notices},
  volume={36},
  number={11},
  pages={166--179},
  year={2001},
  publisher={ACM New York, NY, USA}
}

@article{suganuma2000overview,
  title={Overview of the IBM Java just-in-time compiler},
  author={Suganuma, Toshio and Ogasawara, Takeshi and Takeuchi, Mikio and Yasue, Toshiaki and Kawahito, Motohiro and Ishizaki, Kazuaki and Komatsu, Hideaki and Nakatani, Toshio},
  journal={IBM systems Journal},
  volume={39},
  number={1},
  pages={175--193},
  year={2000},
  publisher={IBM}
}
@inproceedings{paleczny2001java,
  title={The Java $\{$HotSpot™$\}$ Server Compiler},
  author={Paleczny, Michael and Vick, Christopher and Click, Cliff},
  booktitle={Java (TM) Virtual Machine Research and Technology Symposium (JVM 01)},
  year={2001}
}

@inproceedings{burke1999jalapeno,
  title={The Jalapeno dynamic optimizing compiler for Java},
  author={Burke, Michael G and Choi, Jong-Deok and Fink, Stephen and Grove, David and Hind, Michael and Sarkar, Vivek and Serrano, Mauricio J and Sreedhar, Vugranam C and Srinivasan, Harini and Whaley, John},
  booktitle={Proceedings of the ACM 1999 conference on Java Grande},
  pages={129--141},
  year={1999}
}

@inproceedings{cierniak2000practicing,
  title={Practicing JUDO: Java under dynamic optimizations},
  author={Cierniak, Micha{\l} and Lueh, Guei-Yuan and Stichnoth, James M},
  booktitle={Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation},
  pages={13--26},
  year={2000}
}

@inproceedings{arnold2000adaptive,
  title={Adaptive optimization in the Jalapeno JVM},
  author={Arnold, Matthew and Fink, Stephen and Grove, David and Hind, Michael and Sweeney, Peter F},
  booktitle={Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications},
  pages={47--65},
  year={2000}
}

@article{suganuma2001dynamic,
  title={A dynamic optimization framework for a Java just-in-time compiler},
  author={Suganuma, Toshio and Yasue, Toshiaki and Kawahito, Motohiro and Komatsu, Hideaki and Nakatani, Toshio},
  journal={ACM SIGPLAN Notices},
  volume={36},
  number={11},
  pages={180--195},
  year={2001},
  publisher={ACM New York, NY, USA}
}

@book{muchnick1997advanced,
  title={Advanced compiler design implementation},
  author={Muchnick, Steven and others},
  year={1997},
  publisher={Morgan kaufmann}
}

@book{kennedy1979survey,
  title={A survey of data flow analysis techniques},
  author={Kennedy, Ken},
  year={1979},
  publisher={IBM Thomas J. Watson Research Division}
}
@inproceedings{stadler2014partial,
  title={Partial escape analysis and scalar replacement for Java},
  author={Stadler, Lukas and W{\"u}rthinger, Thomas and M{\"o}ssenb{\"o}ck, Hanspeter},
  booktitle={Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization},
  pages={165--174},
  year={2014}
}

@inproceedings{kotzmann2005escape,
  title={Escape analysis in the context of dynamic compilation and deoptimization},
  author={Kotzmann, Thomas and M{\"o}ssenb{\"o}ck, Hanspeter},
  booktitle={Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments},
  pages={111--120},
  year={2005}
}
@article{van2000domain,
  title={Domain-specific languages: An annotated bibliography},
  author={Van Deursen, Arie and Klint, Paul and Visser, Joost},
  journal={ACM Sigplan Notices},
  volume={35},
  number={6},
  pages={26--36},
  year={2000},
  publisher={ACM New York, NY, USA}
}

@inproceedings{brown2011heterogeneous,
  title={A heterogeneous parallel framework for domain-specific languages},
  author={Brown, Kevin J and Sujeeth, Arvind K and Lee, Hyouk Joong and Rompf, Tiark and Chafi, Hassan and Odersky, Martin and Olukotun, Kunle},
  booktitle={2011 International Conference on Parallel Architectures and Compilation Techniques},
  pages={89--100},
  year={2011},
  organization={IEEE}
}
@inproceedings{sujeeth2011optiml,
  title={OptiML: an implicitly parallel domain-specific language for machine learning},
  author={Sujeeth, Arvind and Lee, HyoukJoong and Brown, Kevin and Rompf, Tiark and Chafi, Hassan and Wu, Michael and Atreya, Anand and Odersky, Martin and Olukotun, Kunle},
  booktitle={Proceedings of the 28th International Conference on Machine Learning (ICML-11)},
  pages={609--616},
  year={2011}
}

@inproceedings{rompf2010lightweight,
  title={Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs},
  author={Rompf, Tiark and Odersky, Martin},
  booktitle={Proceedings of the ninth international conference on Generative programming and component engineering},
  pages={127--136},
  year={2010}
}
@article{rompf2011building,
  title={Building-blocks for performance oriented DSLs},
  author={Rompf, Tiark and Sujeeth, Arvind K and Lee, HyoukJoong and Brown, Kevin J and Chafi, Hassan and Odersky, Martin and Olukotun, Kunle},
  journal={arXiv preprint arXiv:1109.0778},
  year={2011}
}
@inproceedings{paleczny2001java,
  title={The Java $\{$HotSpot™$\}$ Server Compiler},
  author={Paleczny, Michael and Vick, Christopher and Click, Cliff},
  booktitle={Java (TM) Virtual Machine Research and Technology Symposium (JVM 01)},
  year={2001}
}

@misc{CUDAZone76:online,
author = {},
title = {CUDA Zone - Library of Resources | NVIDIA Developer},
howpublished = {\url{https://developer.nvidia.com/cuda-zone}},
month = {},
year = {},
note = {(Accessed on 12/09/2022)}
}

@article{fisher1997walk,
  title={Walk-time techniques: Catalyst for architectural change},
  author={Fisher, Joseph A},
  journal={Computer},
  volume={30},
  number={9},
  pages={40--42},
  year={1997},
  publisher={IEEE}
}

@article{lam1991cache,
  title={The cache performance and optimizations of blocked algorithms},
  author={Lam, Monica D and Rothberg, Edward E and Wolf, Michael E},
  journal={ACM SIGOPS Operating Systems Review},
  volume={25},
  number={Special Issue},
  pages={63--74},
  year={1991},
  publisher={ACM New York, NY, USA}
}
@article{mowry1992design,
  title={Design and evaluation of a compiler algorithm for prefetching},
  author={Mowry, Todd C and Lam, Monica S and Gupta, Anoop},
  journal={ACM Sigplan Notices},
  volume={27},
  number={9},
  pages={62--73},
  year={1992},
  publisher={ACM New York, NY, USA}
}
@misc{GCDtestW13:online,
author = {},
title = {GCD test - Wikipedia},
howpublished = {\url{https://en.wikipedia.org/wiki/GCD_test}},
month = {},
year = {},
note = {(Accessed on 12/15/2022)}
}

@inproceedings{zhai2002compiler,
  title={Compiler optimization of scalar value communication between speculative threads},
  author={Zhai, Antonia and Colohan, Christopher B and Steffan, J Gregory and Mowry, Todd C},
  booktitle={Proceedings of the 10th international conference on Architectural support for programming languages and operating systems},
  pages={171--183},
  year={2002}
}
@misc{DATAFLOW66:online,
author = {},
title = {DATAFLOW ANALYSIS},
howpublished = {\url{https://pages.cs.wisc.edu/~horwitz/CS704-NOTES/2.DATAFLOW.html}},
month = {},
year = {},
note = {(Accessed on 12/17/2022)}
}

@article{kam1977monotone,
  title={Monotone data flow analysis frameworks},
  author={Kam, John B and Ullman, Jeffrey D},
  journal={Acta informatica},
  volume={7},
  number={3},
  pages={305--317},
  year={1977},
  publisher={Springer}
}

@misc{LiveVari29:online,
author = {},
title = {Live Variables Analysis},
howpublished = {\url{https://isoft.acm.org/winterschool17/presentation-decks/WSSE17-Day1-2-Uday-talks/live-vars.pdf}},
month = {},
year = {},
note = {(Accessed on 12/19/2022)}
}

@misc{Microsof98:online,
author = {},
title = {Microsoft Word - lecture4.doc},
howpublished = {\url{https://homes.cs.washington.edu/~bodik/ucb/cs264/lectures/4-chaotic-notes.pdf}},
month = {},
year = {},
note = {(Accessed on 12/20/2022)}
}
@article{wegman1991constant,
  title={Constant propagation with conditional branches},
  author={Wegman, Mark N and Zadeck, F Kenneth},
  journal={ACM Transactions on Programming Languages and Systems (TOPLAS)},
  volume={13},
  number={2},
  pages={181--210},
  year={1991},
  publisher={ACM New York, NY, USA}
}

@inproceedings{kildall1973unified,
  title={A unified approach to global program optimization},
  author={Kildall, Gary A},
  booktitle={Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages},
  pages={194--206},
  year={1973}
}

@inproceedings{reif1977symbolic,
  title={Symbolic evaluation and the global value graph},
  author={Reif, John H and Lewis, Harry R},
  booktitle={Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages},
  pages={104--118},
  year={1977}
}
@article{wegbreit1975property,
  title={Property extraction in well-founded property sets},
  author={Wegbreit, Ben},
  journal={IEEE Transactions on software engineering},
  number={3},
  pages={270--285},
  year={1975},
  publisher={IEEE}
}
@misc{PPTTheC19:online,
author = {},
title = {PPT - The C++11 Memory Model PowerPoint Presentation, free download - ID:2351398},
howpublished = {\url{https://www.slideserve.com/jarah/the-c-11-memory-model}},
month = {},
year = {},
note = {(Accessed on 01/11/2023)}
}
@article{boehm2008foundations,
  title={Foundations of the C++ concurrency memory model},
  author={Boehm, Hans-J and Adve, Sarita V},
  journal={ACM SIGPLAN Notices},
  volume={43},
  number={6},
  pages={68--78},
  year={2008},
  publisher={ACM New York, NY, USA}
}
@misc{TheC11Me27:online,
author = {},
title = {The C++11 Memory Model CDP - ppt download},
howpublished = {\url{https://slideplayer.com/slide/12653305/}},
month = {},
year = {},
note = {(Accessed on 01/13/2023)}
}

@misc{HowCWork92:online,
author = {},
title = {How C++ Works - YouTube},
howpublished = {\url{https://www.youtube.com/watch?v=SfGuIVzE_Os&list=PLlrATfBNZ98dudnM48yfGUldqGD0S4FFb&index=5}},
month = {},
year = {},
note = {(Accessed on 01/27/2023)}
}

@misc{CppConcu2:online,
author = {},
title = {Cpp-Concurrency-in-Action-2ed/04\_the\_cpp\_memory\_model\_and\_operations\_on\_atomic\_type.md at master · downdemo/Cpp-Concurrency-in-Action-2ed},
howpublished = {\url{https://github.com/downdemo/Cpp-Concurrency-in-Action-2ed/blob/master/docs/04_the_cpp_memory_model_and_operations_on_atomic_type.md}},
month = {},
year = {},
note = {(Accessed on 02/03/2023)}
}

@inproceedings{zhai2002compiler,
  title={Compiler optimization of scalar value communication between speculative threads},
  author={Zhai, Antonia and Colohan, Christopher B and Steffan, J Gregory and Mowry, Todd C},
  booktitle={Proceedings of the 10th international conference on Architectural support for programming languages and operating systems},
  pages={171--183},
  year={2002}
}
@inproceedings{luk1996compiler,
  title={Compiler-based prefetching for recursive data structures},
  author={Luk, Chi-Keung and Mowry, Todd C},
  booktitle={Proceedings of the seventh international conference on Architectural support for programming languages and operating systems},
  pages={222--233},
  year={1996}
}

@misc{ShengHsi98:online,
author = {},
title = {ShengHsiuLin\_thesis.pdf},
howpublished = {\url{https://www.cse.psu.edu/~gxt29/papers/ShengHsiuLin_thesis.pdf}},
month = {},
year = {},
note = {(Accessed on 11/14/2023)}
}


@misc{AnEmpiri85:online,
author = {},
title = {An Empirical Study of Alias Analysis Techniques},
howpublished = {\url{https://digitalcommons.calpoly.edu/cgi/viewcontent.cgi?article=3206&context=theses}},
month = {},
year = {},
note = {(Accessed on 11/15/2023)}
}