text:
@article{Aaronson2005,
 author = {Aaronson, S.},
 journal = {arXiv:quant-ph/0502072},
 month = {feb},
 title = {{NP-complete Problems and Physical Reality}},
 year = {2005}
}

@incollection{Aarts2006,
 author = {Aarts, E. and Encarna{\c{c}}{\~{a}}o, J.},
 booktitle = {True Visions: The Emergence of Ambient Intelligence},
 publisher = {Springer},
 title = {{Into ambient intelligence}},
 year = {2006}
}

@inproceedings{Abadi,
 author = {Abadi, M. and Barham, P. and Chen, J. and Chen, Z. and Davis, A. and Dean, J. and Devin, M. and Ghemawat, S. and Irving, G. and Isard, M. and Kudlur, M. and Levenberg, J. and Monga, R. and Moore, S. and Murray, D. G. and Steiner, B. and Tucker, P. and Vasudevan, V. and Warden, P. and Wicke, M. and Yu, Y. and Zheng, X.},
 booktitle = {OSDI},
 title = {{TensorFlow: A System for Large-scale Machine Learning}},
 year = {2016}
}

@inproceedings{Abadi2017,
 author = {Abadi, M. and Isard, M. and Murray, D. G.},
 booktitle = {MAPL},
 title = {{A Computational Model for TensorFlow: An Introduction}},
 year = {2017}
}

@inproceedings{Abadi2019,
 author = {Abadi, M. and Plotkin, G. D.},
 booktitle = {POPL},
 title = {{A simple differentiable programming language}},
 year = {2019}
}

@inproceedings{Abbeel2004,
 author = {Abbeel, P. and Ng, A. Y.},
 booktitle = {NIPS},
 title = {{Learning first-order Markov models for control}},
 year = {2005}
}

@inproceedings{Abdolrashidi2019,
 author = {Abdolrashidi, A. and Xu, Q. and Wang, S. and Roy, S. and Zhou, Y.},
 booktitle = {NeurIPS},
 title = {{Learning to Fuse}},
 year = {2019}
}

@article{Abramson1989,
 author = {Abramson, B. and Yung, M.},
 journal = {Journal of Parallel and Distributed Computing},
 month = {jun},
 number = {3},
 title = {{Divide and conquer under global constraints: A solution to the N-queens problem}},
 volume = {6},
 year = {1989}
}

@inproceedings{Acharya,
 author = {Acharya, A.},
 booktitle = {PPoPP},
 title = {{PLUTO+: Near-Complete Modeling of Affine Transformations for Parallelism and Locality}},
 year = {2015}
}

@inproceedings{Achour2016,
 address = {Santa Barbara, CA},
 author = {Achour, S. and Sarpeshkar, R. and Rinard, M. C.},
 booktitle = {PLDI},
 publisher = {ACM},
 title = {{Configuration Synthesis for Programmable Analog Devices with Arco}},
 year = {2016}
}

@article{Adams2019,
 author = {Adams, A. and Ma, K. and Anderson, L. and Baghdadi, R. and Johnson, S. and Fatahalian, K. and Durand, F. and Ragan-Kelly, K.},
 journal = {ACM Trans Graph},
 number = {4},
 title = {{Learning to Optimize Halide with Tree Search and Random Programs}},
 volume = {38},
 year = {2019}
}

@article{Adhianto2010,
 author = {Adhianto, L. and Banerjee, S. and Fagan, M. and Krentel, M. and Marin, G. and Mellor-Crummey, J. and Tallent, N. R.},
 journal = {Concurrency Computation Practice and Experience},
 number = {6},
 title = {{HPCTOOLKIT: Tools for performance analysis of optimized parallel programs}},
 volume = {22},
 year = {2010}
}

@article{Adiwardana2020,
 author = {Adiwardana, D. and Luong, M. and So, D. R. and Hall, J. and Fiedel, N. and Thoppilan, R. and Yang, Z. and Kulshreshtha, A. and Nemade, G. and Lu, Y. and Le, Q. V.},
 journal = {arXiv:2001.09977},
 title = {{Towards a Human-like Open-Domain Chatbot}},
 year = {2020}
}

@inproceedings{Agakov,
 author = {Agakov, F. and Bonilla, E. and Cavazos, J. and Franke, B. and Fursin, G. and O'Boyle, M. and Thomson, J. and Toussaint, M. and Williams, C. K. I.},
 booktitle = {CGO},
 publisher = {IEEE},
 title = {{Using Machine Learning to Focus Iterative Optimization}},
 year = {2006}
}

@article{Agrawal2004,
 author = {Agrawal, M. and Kayal, N. and Saxena, N.},
 journal = {Annals of Mathematics},
 number = {2},
 title = {{PRIMES is in P}},
 volume = {160},
 year = {2004}
}

@article{Aho1976,
 author = {Aho, A. V. and Johnson, S. C.},
 journal = {JACM},
 number = {3},
 title = {{Optimal Code Generation for Expression Trees}},
 volume = {23},
 year = {1976}
}

@article{Aimone2017,
 author = {Aimone, J. B.},
 journal = {arXiv:1705.02042},
 title = {{Exponential scaling of neural algorithms - a future beyond Moore's Law?}},
 year = {2017}
}

@inproceedings{Alan1991,
 author = {Alan, J.},
 booktitle = {PPoPP},
 title = {{Debugging Parallel Programs}},
 year = {2015}
}

@misc{AlanBundy2014,
 author = {Bundy, Alan},
 title = {{How to be My Student}},
 year = {2014}
}

@inproceedings{Aldinucci2008,
 author = {Aldinucci, M. and Campa, S. and Danelutto, M. and Vanneschi, M. and Kilpatrick, P. and Dazzi, P. and Laforenza, D. and Tonellotto, N.},
 booktitle = {PDP},
 month = {feb},
 publisher = {Ieee},
 title = {{Behavioural Skeletons in GCM: Autonomic Management of Grid Components}},
 year = {2008}
}

@inproceedings{Aldinucci2010,
 author = {Aldinucci, M. and Meneghin, M. and Torquati, M.},
 booktitle = {PDP},
 publisher = {IEEE},
 title = {{Efficient Smith-Waterman on multi-core with FastFlow}},
 year = {2010}
}

@incollection{Aldinucci2011,
 author = {Aldinucci, M. and Danelutto, M. and Kilpatrick, P. and Torquati, M.},
 booktitle = {Programming Multi-core and Many-core Computing Systems},
 chapter = {13},
 publisher = {Wiley},
 title = {{FastFlow: high-level and efficient streaming on multi-core (A FastFlow short tutorial)}},
 year = {2011}
}

@inproceedings{Aldinucci2011a,
 author = {Aldinucci, M. and Danelutto, M. and Kilpatrick, P. and Meneghin, M. and Torquati, M.},
 booktitle = {Euro-Par},
 publisher = {Springer},
 title = {{Accelerating code on multi-cores with FastFlow}},
 year = {2011}
}

@article{Aldinucci2012,
 author = {Aldinucci, M. and Svizzera, C. S. and Danelutto, M. and Kilpatrick, P. and Torquati, M.},
 journal = {Parallel Processing Letters},
 number = {02},
 publisher = {World Scientific},
 title = {{Targeting heterogeneous architectures via macro data flow}},
 volume = {22},
 year = {2012}
}

@inproceedings{Aldinucci2013,
 author = {Aldinucci, M. and Campa, S. and Danelutto, M. and Kilpatrick, P. and Torquati, M.},
 booktitle = {Euro-Par},
 publisher = {Springer},
 title = {{Targeting Distributed Systems in FastFlow}},
 year = {2013}
}

@inproceedings{Aldinucci2014,
 author = {Aldinucci, M. and Torquati, M. and Drocco, M. and {Peretti Pezzi}, G. and Spampinato, C.},
 booktitle = {GTC},
 title = {{An Overview of FastFlow: Combining Pattern-Level Abstraction and Efficiency in GPGPUs}},
 year = {2014}
}

@inproceedings{Alglave2015,
 author = {Alglave, J. and Batty, M. and Donaldson, A. and Gopalakrishnan, G. and Ketema, J. and Poetzl, D. and Sorensen, T. and Wickerson, J.},
 booktitle = {ASPLOS},
 title = {{GPU Concurrency: Weak Behaviours and Programming Assumptions}},
 year = {2015}
}

@article{Alipour2016,
 author = {Alipour, A. and Groce, A. and Gopinath, R. and Christi, A.},
 journal = {ISSTA},
 title = {{Generating Focused Random Tests Using Directed Swarm Testing}},
 year = {2016}
}

@inproceedings{Alistarh2014,
 author = {Alistarh, D. and Kopinsky, J. and Li, J. and Shavit, N.},
 booktitle = {PPoPP},
 title = {{The SprayList: A Scalable Relaxed Priority Queue}},
 year = {2015}
}

@inproceedings{Allamanis2013a,
 author = {Allamanis, M. and Sutton, C.},
 booktitle = {MSR},
 title = {{Mining Source Code Repositories at Massive Scale using Language Modeling}},
 year = {2013}
}

@inproceedings{Allamanis2014,
 author = {Allamanis, M. and Sutton, C.},
 booktitle = {FSE},
 publisher = {ACM},
 title = {{Mining Idioms from Source Code}},
 year = {2014}
}

@inproceedings{Allamanis2014a,
 author = {Allamanis, M. and Barr, E. T. and Bird, C. and Sutton, C.},
 booktitle = {FSE},
 publisher = {ACM},
 title = {{Learning Natural Coding Conventions}},
 year = {2014}
}

@inproceedings{Allamanis2015,
 author = {Allamanis, M. and Tarlow, D. and Gordon, A. D. and Wei, Y.},
 booktitle = {ICML},
 publisher = {PMLR},
 title = {{Bimodal Modelling of Source Code and Natural Language}},
 volume = {37},
 year = {2015}
}

@inproceedings{Allamanis2016,
 author = {Allamanis, M. and Peng, H. and Sutton, C.},
 booktitle = {ICML},
 publisher = {PMLR},
 title = {{A Convolutional Attention Network for Extreme Summarization of Source Code}},
 year = {2016}
}

@article{Allamanis2016a,
 author = {Allamanis, M. and Barr, E. T. and Just, R. and Sutton, C.},
 journal = {arXiv:1611.02516},
 title = {{Tailored Mutants Fit Bugs Better}},
 year = {2016}
}

@techreport{Allamanis2016b,
 author = {Allamanis, M. and Barr, E. T. and Bird, C. and Marron, M. and Sutton, C.},
 title = {{Mining Semantic Loop Idioms from Big Code}},
 year = {2016}
}

@phdthesis{Allamanis2016d,
 author = {Allamanis, M.},
 school = {University of Edinburgh},
 title = {{Learning Natural Coding Conventions}},
 year = {2016}
}

@article{Allamanis2017,
 author = {Allamanis, M. and Chanthirasegaran, P. and Kohli, P. and Sutton, C.},
 journal = {arXiv:1611.01423},
 title = {{Learning Continuous Semantic Representations of Symbolic Expressions}},
 year = {2016}
}

@article{Allamanis2017a,
 author = {Allamanis, M. and Barr, E. T. and Devanbu, P. and Sutton, C.},
 journal = {CSUR},
 number = {4},
 title = {{A Survey of Machine Learning for Big Code and Naturalness}},
 volume = {51},
 year = {2018}
}

@inproceedings{Allamanis2017b,
 author = {Allamanis, M. and Brockschmidt, M. and Khademi, M.},
 booktitle = {ICLR},
 title = {{Learning to Represent Programs with Graphs}},
 year = {2017}
}

@inproceedings{Allamanis2018,
 author = {Allamanis, M.},
 booktitle = {Onward!},
 publisher = {ACM},
 title = {{The Adverse Effects of Code Duplication in Machine Learning Models of Code}},
 year = {2019}
}

@article{Allen-Zhu2020,
 author = {Allen-Zhu, Z. and Li, Y.},
 journal = {arXiv:2001.04413},
 title = {{Backward Feature Correction: How Deep Learning Performs Deep Learning}},
 year = {2020}
}

@misc{Allen1984,
 author = {Allen, J. R. and Kennedy, K.},
 booktitle = {Supercomputers: Design and Applications},
 title = {{PFC: A Program to Convert Fortran to Parallel Form}},
 year = {1984}
}

@misc{Allen1987,
 author = {Allen, R. and Callahan, D. and Kennedy, K.},
 booktitle = {POPL},
 title = {{Automatic Decomposition of Scientific Programs for Parallel Execution}},
 url = {http://portal.acm.org/citation.cfm?doid=41625.41631{\%}5Cnhttp://dl.acm.org/citation.cfm?id=41631},
 year = {1987}
}

@inproceedings{Alnaeli2012a,
 author = {Alnaeli, S. M. and Maletic, J. I.},
 booktitle = {WCRE},
 title = {{Empirically Examining the Parallelizability of Open Source Software Systems}},
 year = {2012}
}

@inproceedings{Alon2018a,
 author = {Alon, U. and Zilberstein, M. and Levy, O. and Yahav, E.},
 booktitle = {POPL},
 title = {{code2vec: Learning Distributed Representations of Code}},
 year = {2018}
}

@inproceedings{Alon2018c,
 author = {Alon, U. and Zilberstein, M. and Levy, O. and Yahav, E.},
 booktitle = {PLDI},
 publisher = {ACM},
 title = {{A General Path-Based Representation for Predicting Program Properties}},
 year = {2018}
}

@inproceedings{Alsaber2013,
 author = {Alsaber, N. and Kulkarni, M.},
 booktitle = {PPoPP},
 title = {{SemCache: Semantics-aware Caching for Efficient GPU Offloading}},
 year = {2015}
}

@inproceedings{Amaris2015,
 author = {Amar{\'{i}}s, M. and Cordeiro, D. and Goldman, A. and {De Camargo}, R. Y.},
 booktitle = {HiPC},
 title = {{A Simple BSP-based Model to Predict Execution Time in GPU Applications}},
 year = {2015}
}

@inproceedings{Amato,
 author = {Amato, N. M.},
 booktitle = {PPoPP},
 title = {{A Hierarchical Approach to Reducing Communication in Parallel Graph Algorithms}},
 year = {2015}
}

@inproceedings{Amer2015,
 author = {Amer, A. and Lu, H.},
 booktitle = {PPoPP},
 title = {{MPI + Threads : Runtime Contention and Remedies}},
 year = {2015}
}

@misc{Anderson,
 title = {{Notes on Machine Learning Models}},
 year = {2018}
}

@article{Anderson2017,
 author = {Anderson, A. and Gregg, D.},
 journal = {arXiv:1710.01079},
 title = {{Optimal DNN Primitive Selection with Partitioned Boolean Quadratic Programming}},
 year = {2017}
}

@inproceedings{Anderson2017a,
 author = {Anderson, T. A. and Liu, H. and Kuper, L. and Totoni, E. and Vitek, J. and Shpeisman, T.},
 booktitle = {ECOOP},
 title = {{Parallelizing Julia with a Non-Invasive DSL}},
 year = {2017}
}

@misc{AndersonP.W.1972,
 author = {{Anderson P. W.}},
 booktitle = {Science},
 number = {4047},
 title = {{More is Different}},
 volume = {177},
 year = {1972}
}

@article{Andor2016,
 author = {Andor, D. and Alberti, C. and Weiss, D. and Severyn, A. and Presta, A. and Ganchev, K. and Petrov, S. and Collins, M.},
 title = {{Globally Normalized Transition-Based Neural Networks}},
 year = {2016}
}

@article{Andrae2015,
 author = {Andrae, A. S. G. and Edler, T.},
 journal = {Challenges},
 number = {1},
 title = {{On Global Electricity Usage of Communication Technology: Trends to 2030}},
 volume = {6},
 year = {2015}
}

@article{Andrae2019,
 author = {Andrae, A. S. G.},
 journal = {IJSEI},
 number = {86},
 title = {{Prediction Studies of Electricity Use of Global Computing in 2030}},
 volume = {8},
 year = {2019}
}

@inproceedings{Andrychowicz2016a,
 author = {Andrychowicz, M. and Denil, M. and Gomez, S. and Hoffman, M. W. and Pfau, D. and Schaul, T. and de Freitas, N.},
 booktitle = {NIPS},
 title = {{Learning to Learn by Gradient Descent by Gradient Descent}},
 year = {2016}
}

@inproceedings{Annesi2014,
 author = {Annesi, P. and Croce, D. and Basili, R.},
 booktitle = {CIKM},
 title = {{Semantic Compositionality in Tree Kernels}},
 year = {2014}
}

@inproceedings{Anonymous2019,
 author = {Anonymous},
 booktitle = {Under Review},
 title = {{Program Synthesis with Learned Code Idioms}},
 year = {2018}
}

@phdthesis{Ansel2009,
 author = {Ansel, Jason},
 school = {MIT},
 title = {{PetaBricks: a language and compiler for algorithmic choice}},
 year = {2009}
}

@inproceedings{Ansel2009a,
 author = {Ansel, A. and Chan, C. and Wong, Y. L. and Olszewski, M. and Zhao, Q. and Edelman, A. and Amarasinghe, S.},
 booktitle = {PLDI},
 publisher = {ACM},
 title = {{PetaBricks: A Language and Compiler for Algorithmic Choice}},
 year = {2009}
}

@article{Ansel2010,
 author = {Ansel, J. and Chan, C.},
 journal = {XRDS: Crossroads, The ACM Magazine for Students},
 month = {sep},
 number = {1},
 title = {{PetaBricks}},
 volume = {17},
 year = {2010}
}

@inproceedings{Ansel2012,
 author = {Ansel, J. and Reilly, U. O.},
 booktitle = {CASES},
 publisher = {ACM},
 title = {{SiblingRivalry: Online Autotuning Through Local Competitions}},
 year = {2012}
}

@inproceedings{Ansel2013,
 author = {Ansel, J. and Kamil, S. and Veeramachaneni, K. and Reilly, U. O. and Amarasinghe, S.},
 booktitle = {PACT},
 publisher = {ACM},
 title = {{OpenTuner: An Extensible Framework for Program Autotuning}},
 year = {2013}
}

@phdthesis{Ansel2014,
 author = {Ansel, J.},
 school = {Massachusetts Institute of Technology},
 title = {{Autotuning Programs with Algorithmic Choice}},
 year = {2014}
}

@inproceedings{Anzt,
 author = {Anzt, H. and Dongarra, J.},
 booktitle = {PPoPP},
 title = {{Energy Efficiency and Performance Frontiers for Sparse Computations on GPU Supercomputers}},
 year = {2015}
}

@misc{Api2011,
 author = {{Khronos OpenCL Group Inc}},
 title = {{OpenCL 1.2 Reference Card}},
 year = {2011}
}

@misc{Arapinis2014,
 author = {{University of Edinburgh}},
 title = {{02. Propositional Logic}},
 year = {2015}
}

@misc{Arapinis2014a,
 author = {{University of Edinburgh}},
 title = {{03. Predicate logic}},
 year = {2015}
}

@misc{Arapinis2014b,
 author = {{University of Edinburgh}},
 title = {{14. Algorithms}},
 year = {2015}
}

@misc{Arapinis2014c,
 author = {{University of Edinburgh}},
 title = {{04. Proof techniques}},
 year = {2015}
}

@misc{Arapinis2014d,
 author = {{University of Edinburgh}},
 title = {{10. The principle of (ordinary) induction}},
 year = {2015}
}

@misc{Arapinis2014e,
 author = {{University of Edinburgh}},
 title = {{06. Relations}},
 year = {2015}
}

@misc{Arapinis2014f,
 author = {{University of Edinburgh}},
 title = {{08. Sequences, sums, cardinality}},
 year = {2015}
}

@inproceedings{Archer2017,
 author = {Archer, A. and Lattanzi, S. and Likarish, P. and Vassilvitskii, S.},
 booktitle = {WWW},
 title = {{Indexing Public-Private Graphs}},
 year = {2017}
}

@article{Archer2018,
 author = {Archer, Aaron and Aydin, Kevin and Bateni, Mohammad Hossein and Mirrokni, Vahab and Schild, Aaron and Yang, Ray},
 journal = {Proceedings of the VLDB Endowment},
 number = {6},
 title = {{Cacheaware load balancing of data center applications}},
 volume = {12},
 year = {2018}
}

@article{Arcuri2012,
 author = {Arcuri, Andrea and Iqbal, Muhammad Zohaib and Briand, Lionel},
 journal = {TSE},
 number = {2},
 title = {{Random testing: Theoretical results and practical implications}},
 volume = {38},
 year = {2012}
}

@article{Arjovsky2017a,
 author = {Arjovsky, M. and Chintala, S. and Bottou, L.},
 journal = {arXiv:1701.07875},
 title = {{Wasserstein GAN}},
 year = {2017}
}

@inproceedings{Arslan,
 author = {Arslan, Mehmet Ali},
 booktitle = {PPoPP},
 title = {{Programming Support for Reconfigurable Custom Vector Architectures}},
 year = {2015}
}

@article{Asanovic2009,
 author = {Asanovic, K. and Wawrzynek, J. and Wessel, D. and Yelick, K. and Bodik, R. and Demmel, J. and Keaveny, T. and Keutzer, K. and Kubiatowicz, J. and Morgan, N. and Patterson, D. and Sen, K.},
 journal = {Communications of the ACM},
 month = {oct},
 number = {10},
 title = {{A view of the parallel computing landscape}},
 volume = {52},
 year = {2009}
}

@inproceedings{Ashari2015a,
 author = {Ashari, A. and Boehm, M. and Reinwald, B. and Campbell, K.},
 booktitle = {PPoPP},
 title = {{On Optimizing Machine Learning Workloads via Kernel Fusion}},
 year = {2015}
}

@article{Ashouri2016,
 author = {Ashouri, A. H. and Milano, G. and Palermo, G. and Park, E. and Cavazos, J. and Silvano, C.},
 journal = {TACO},
 number = {2},
 title = {{COBAYN: Compiler Autotuning Framework Using Bayesian Networks}},
 volume = {13},
 year = {2016}
}

@inproceedings{Ashouri2016a,
 author = {Ashouri, A. H. and Bignoli, A. and Palermo, G. and Silvano, C.},
 booktitle = {PARMA-DITAM},
 title = {{Predictive Modeling Methodology for Compiler Phase-Ordering}},
 year = {2016}
}

@article{Ashouri2017,
 author = {Ashouri, A. H. and Bignoli, A. and Palermo, G. and Silvano, C. and Kulkarni, S. and Cavazos, J.},
 journal = {TACO},
 title = {{MiCOMP: Mitigating the Compiler Phase-ordering Problem Using Optimization Sub-sequences and Machine Learning}},
 year = {2017}
}

@article{Ashouri2018,
 author = {Ashouri, A. H. and Killian, W. and Cavazos, J. and Palermo, G. and Silvano, C.},
 journal = {CSUR},
 number = {5},
 title = {{A Survey on Compiler Autotuning using Machine Learning}},
 volume = {51},
 year = {2018}
}

@inproceedings{Astorga2016,
 author = {Astorga, Rio and Dolz, Manuel F and Sanchez, Luis Miguel and Garc{\'{i}}a, J Daniel},
 booktitle = {PMAM},
 title = {{Discovering Pipeline Parallel Patterns in Sequential Legacy C ++ Codes}},
 year = {2016}
}

@phdthesis{Atkin-granville2013,
 author = {Atkin-granville, C. E.},
 school = {University of Edinburgh},
 title = {{Parallelism Detection using Dynamic Instrumentation in a Virtual Machine}},
 year = {2013}
}

@unpublished{Atre,
 author = {Atre, R. and Jannesari, A.},
 title = {{The Basic Building Blocks of Parallel Tasks}}
}

@inproceedings{Aubrey-Jones2014,
 author = {Aubrey-Jones, T and Fischer, B},
 booktitle = {HLPP},
 title = {{Synthesizing MPI Implementations from Functional Data-Parallel Programs}},
 year = {2014}
}

@inproceedings{Auler2014,
 author = {Auler, R. and Borin, E. and de Halleux, P. and Moskal, M. and Tillmann, N.},
 booktitle = {CC},
 publisher = {Springer},
 title = {{Addressing JavaScript JIT engines performance quirks: A crowdsourced adaptive compiler}},
 year = {2014}
}

@inproceedings{Ausavarungnirun2015,
 author = {Ausavarungnirun, R. and Ghose, S. and Kayiran, O. and Loh, G. H. and Das, C. R. and Kandemir, M. T. and Mutlu, O.},
 booktitle = {PACT},
 publisher = {ACM},
 title = {{Exploiting Inter-Warp Heterogeneity to Improve GPGPU Performance}},
 year = {2015}
}

@inproceedings{Auslander1996,
 address = {New York, New York, USA},
 author = {Auslander, J. and Philipose, M. and Chambers, C. and Eggers, S. J. and Bershad, B. N.},
 booktitle = {PLDI},
 publisher = {ACM},
 title = {{Fast, effective dynamic compilation}},
 year = {1996}
}

@article{Authors2019,
 author = {Authors, Anonymous},
 number = {Icml},
 title = {{Reinforcement Compiler Fuzzing}},
 year = {2019}
}

@inproceedings{Awatramani2015,
 author = {Awatramani, M. and Zhu, X. and Zambreno, J. and Rover, D.},
 booktitle = {PACT},
 publisher = {ACM},
 title = {{Phase Aware Warp Scheduling: Mitigating Effects of Phase Behavior in GPGPU Applications}},
 year = {2015}
}

@article{Ayguade2009a,
 author = {Ayguade, E. and Copty, Nawal and Duran, Alejandro and Hoeflinger, Jay and Massaioli, Federico and Teruel, Xavier and Unnikrishnan, Priya and Society, Ieee Computer and Lin, Yuan and Zhang, Guansong},
 journal = {TPDS},
 month = {mar},
 number = {3},
 shorttitle = {Parallel and Distributed Systems, IEEE Transaction},
 title = {{The Design of OpenMP Tasks}},
 volume = {20},
 year = {2009}
}

@article{Ba2014,
 author = {Ba, L. J. and Caruana, R.},
 journal = {arXiv:1312.6184},
 title = {{Do Deep Nets Really Need to be Deep?}},
 year = {2014}
}

@article{Ba2016,
 author = {Ba, J. L. and Kiros, J. R. and Hinton, G. E.},
 journal = {arXiv:1607.06450},
 title = {{Layer Normalization}},
 year = {2016}
}

@article{Babii,
 author = {Babii, H. and Janes, A. and Robbes, R.},
 journal = {arXiv:1904.01873},
 title = {{Modeling Vocabulary for Big Code Machine Learning}},
 year = {2019}
}

@article{Bacci1999,
 author = {Bacci, B. and Danelutto, M. and Pelagatti, S. and Vanneschi, M.},
 journal = {Parallel Computing},
 number = {13-14},
 title = {{SkIE: A heterogeneous environment for HPC applications}},
 volume = {25},
 year = {1999}
}

@article{Bacon1994,
 author = {Bacon, D. F. and Graham, S. L. and Sharp, O. J.},
 journal = {CSUR},
 number = {4},
 title = {{Compiler transformations for high-performance computing}},
 volume = {26},
 year = {1994}
}

@article{Bacoyannis2018,
 author = {Bacoyannis, V. and Glukhov, V. and Jin, T. and Kochems, J. and {Re Song}, D.},
 journal = {arXiv:1811.09549},
 title = {{Idiosyncrasies and challenges of data driven learning in electronic trading}},
 year = {2018}
}

@article{Bader2019,
 author = {Bader, J. and Scott, A. and Pradel, M. and Chandra, S.},
 journal = {arXiv:1902.06111},
 title = {{Getafix: Learning to Fix Bugs Automatically}},
 year = {2019}
}

@inproceedings{Baek2010,
 author = {Baek, Woongki and Chilimbi, Trishul M.},
 booktitle = {PLDI},
 publisher = {ACM},
 title = {{Green: A Framework for Supporting Energy-Conscious Programming using Controlled Approximation}},
 year = {2010}
}

@inproceedings{Baghsorkhi2010,
 author = {Baghsorkhi, S. S. and Delahaye, M. and Patel, S. J. and Gropp, W. D. and Hwu, W. W.},
 booktitle = {PPoPP},
 title = {{An Adaptive Performance Modeling Tool for GPU Architectures}},
 year = {2010}
}

@inproceedings{Baghsorkhi2016,
 address = {Santa Barbara, CA},
 author = {Baghsorkhi, S. S. and Vasudevan, N. and Wu, Y.},
 booktitle = {PLDI},
 publisher = {ACM},
 title = {{FlexVec: auto-vectorization for irregular loops}},
 year = {2016}
}

@article{Bahdanau2015,
 author = {Bahdanau, D. and Chorowski, J. and Serdyuk, D. and Brakel, P. and Bengio, U.},
 journal = {arXiv:1508.04395},
 title = {{End-to-End Attention-based Large Vocabulary Speech Recognition}},
 year = {2015}
}

@article{Bailey1991,
 author = {Bailey, D. H.},
 number = {4},
 title = {{Automatic Translation of Fortran Programs to Multiprecision}},
 volume = {9},
 year = {1991}
}

@article{Bailey1991a,
 author = {Bailey, D. H. and Barszcz, E. and Barton, J. and Browning, D. and Carter, R. and Dagum, L. and Fatoohi, R. and Fineberg, S. and Frederickson, P. and Lasinski, T. and Schreiber, R. and Simon, H. and Venkatakrishnan, V. and Weeratunga, S.},
 journal = {IJHPCA},
 number = {3},
 title = {{The NAS Parallel Benchmarks}},
 volume = {5},
 year = {1991}
}

@inproceedings{Baishakhi2014a,
 author = {Baishakhi, R. and Posnett, D. and Filkov, V. and Devanbu, P.},
 booktitle = {FSE},
 publisher = {ACM},
 title = {{A Large Scale Study of Programming Languages and Code Quality in Github}},
 year = {2014}
}

@article{Baker2016,
 author = {Baker, B. and Gupta, O. and Naik, N. and Raskar, R.},
 journal = {arXiv:1611.02167v2},
 title = {{Designing Neural Network Architectures using Reinforcement Learning}},
 year = {2016}
}

@inproceedings{Bakker2001,
 author = {Bakker, B.},
 booktitle = {NIPS},
 title = {{Reinforcement Learning with Long Short-Term Memory}},
 year = {2001}
}

@inproceedings{Bala2000,
 author = {Bala, V. and Duesterwald, E. and Banerjia, S.},
 booktitle = {PLDI},
 publisher = {ACM},
 title = {{Dynamo: A Transparent Dynamic Optimization System}},
 year = {2000}
}

@inproceedings{Balaprakash2012,
 author = {Balaprakash, P. and Wild, S. M. and Norris, B.},
 booktitle = {Procedia Computer Science},
 title = {{SPAPT: Search problems in automatic performance tuning}},
 year = {2012}
}

@inproceedings{Balaprakash2013,
 author = {Balaprakash, P. and Gramacy, R. B. and Wild, S. M.},
 booktitle = {CLUSTER},
 publisher = {IEEE},
 title = {{Active-learning-based surrogate models for empirical performance tuning}},
 year = {2013}
}

@book{Balasundaram1991,
 author = {Balasundaram, V. and Fox, G. and Kennedy, K. and Kremer, U.},
 publisher = {ACM},
 title = {{A static performance estimator to guide data partitioning decisions}},
 year = {1991}
}

@article{Baldassi2016,
 author = {Baldassi, C. and Borgs, C. and Chayes, J. and Ingrosso, A. and Lucibello, C. and Saglietti, L. and Zecchina, R.},
 journal = {arXiv:1605.06444},
 title = {{Unreasonable Effectiveness of Learning Neural Nets: Accessible States and Robust Ensembles}},
 year = {2016}
}

@inproceedings{Baldassin,
 author = {Baldassin, Alexandro and Araujo, Guido},
 booktitle = {PPoPP},
 title = {{Performance Implications of Dynamic Memory Allocators on Transactional Memory Systems}},
 year = {2015}
}

@inproceedings{Baldini2019,
 author = {Baldini, I. and Srinivas, K. and Navratil, J.},
 booktitle = {ML For Systems Workshop},
 title = {{CodeCaption: A Dataset for Captioning Data Science Code}},
 year = {2019}
}

@article{Balduzzi2017,
 author = {Balduzzi, D. and Frean, M. and Leary, L. and Lewis, J. and Ma, K. W. and McWilliams, B.},
 journal = {arXiv:1702.08591},
 title = {{The Shattered Gradients Problem: If resnets are the answer, then what is the question?}},
 year = {2017}
}

@article{Ball1994,
 author = {Ball, T. and Larus, J. R.},
 journal = {TOPLAS},
 number = {4},
 title = {{Optimally profiling and tracing programs}},
 volume = {16},
 year = {1994}
}

@inproceedings{Balog2017,
 author = {Balog, M. and Gaunt, A. L. and Brockschmidt, M. and Nowozin, S. and Tarlow, D.},
 booktitle = {ICLR},
 title = {{DeepCoder: Learning to Write Programs}},
 year = {2017}
}

@book{Banerjee1990,
 author = {Banerjee, Utpal},
 publisher = {University of Illinois at Urbana-Champaign, Center for Supercomputing Research and Development},
 title = {{Unimodular transformations of double loops}},
 year = {1990}
}

@article{Banerjee1993,
 author = {Banerjee, Utpal and Eigenmann, Rudolf and Nicolau, Alexandru},
 journal = {Proceedings of the IEEE},
 number = {2},
 title = {{Automatic program parallelization}},
 volume = {81},
 year = {1993}
}

@inproceedings{Bansal2006,
 author = {Bansal, S. and Aiken, A.},
 booktitle = {ASPLOS},
 publisher = {ACM},
 title = {{Automatic generation of peephole superoptimizers}},
 year = {2006}
}

@inproceedings{Barchi2019a,
 author = {Barchi, F. and Urgese, G. and Macii, E. and Acquaviva, A.},
 booktitle = {DAC},
 publisher = {ACM},
 title = {{Code Mapping in Heterogeneous Platforms Using Deep Learning and LLVM-IR}},
 year = {2019}
}

@inproceedings{Bardsley2014,
 author = {Bardsley, E. and Betts, A. and Chong, N. and Collingbourne, P. and Deligiannis, P. and Donaldson, A. and Ketema, J. and Liew, D. and Qadeer, S.},
 booktitle = {CAV},
 title = {{Engineering a Static Verification Tool for GPU Kernels}},
 year = {2014}
}

@inproceedings{Barik2016,
 author = {Barik, Rajkishore and Lewis, Brian T},
 booktitle = {CGO},
 publisher = {IEEE},
 title = {{A Black-box Approach to Energy-Aware Scheduling on Integrated CPU-GPU Systems}},
 year = {2016}
}

@inproceedings{Barik2017,
 author = {Barik, T. and Smith, J. and Lubick, K. and Holmes, E. and Feng, J. and Murphy-Hill, E. and Parnin, C.},
 booktitle = {ICSE},
 publisher = {IEEE},
 title = {{Do Developers Read Compiler Error Messages?}},
 year = {2017}
}

@inproceedings{Barnes2008,
 author = {Barnes, B. J. and Rountree, B. and Lowenthal, D. K. and Livermore, L. and Schulz, M.},
 booktitle = {SC},
 publisher = {ACM},
 title = {{A Regression-Based Approach to Scalability Prediction}},
 year = {2008}
}

@inproceedings{Baroni2014,
 author = {Baroni, M. and Dinu, G. and Kruszewski, G.},
 booktitle = {ACL},
 title = {{Don't Count, Predict! A Systematic Comparison of Context-Counting vs . Context-Predicting Semantic Vectors}},
 year = {2014}
}

@inproceedings{Barrett2015,
 author = {Barrett, Richard F and Stark, Dylan T and Vaughan, Courtenay T and Olivier, Stephen L and Pedretti, Kevin T and Grant, Ryan E},
 booktitle = {PPoPP},
 title = {{Toward an Evolutionary Task Parallel Integrated MPI + X Programming Model}},
 year = {2015}
}

@article{Barrett2016,
 author = {Barrett, E. and Bolz-Tereick, C. F. and Killick, R. and Mount, S. and Tratt, L.},
 journal = {arXiv:1602.00602},
 title = {{Virtual Machine Warmup Blows Hot and Cold}},
 year = {2016}
}

@inproceedings{Bash2015,
 author = {Dijkstra, E. W.},
 booktitle = {ACM Turing Lecture},
 title = {{The Humble Programmer}},
 year = {1972}
}

@phdthesis{Bash2015a,
 author = {Manson, Jeremy},
 title = {{The Java Memory Model}},
 year = {2004}
}

@phdthesis{Bash2015b,
 author = {Lutz, Thibaut},
 school = {University of Edinburgh},
 title = {{Enhancing Productivity and Performance Portability of OpenCL Applications on Heterogeneous Systems using Runtime Optimizations}},
 year = {2015}
}

@article{Basically1995,
 author = {Basically, C},
 journal = {C++ Report},
 number = {January},
 title = {min, max, and more},
 year = {1995}
}

@inproceedings{Baskaran2010,
 author = {Baskaran, Muthu Manikandan and Ramanujam, J. and Sadayappan, P.},
 booktitle = {CC},
 title = {{Automatic C-to-CUDA code generation for affine programs}},
 year = {2010}
}

@inproceedings{Bastani2017,
 author = {Bastani, O. and Sharma, R. and Aiken, A. and Liang, P.},
 booktitle = {PLDI},
 publisher = {ACM},
 title = {{Synthesizing Program Input Grammars}},
 year = {2017}
}

@article{Battaglia2018,
 author = {Battaglia, P. and Hamrick, J. and Bapst, V. and Sanchez-Gonzalez, A. and Zambaldi, V. and Malinowski, M. and Tacchetii, A. and Raposo, D. and Santoro, A. and Faulkner, R. and Gulcehre, C. and Song, F. and Ballard, A. and Gilmer, J. and Dahl, G. and Vaswani, A. and Allen, K. and Nash, C. and Langston, V. and Dyer, C. and Heess, N. and Wierstra, D. and Kohli, P. and Botvinick, M. and Vinyals, O. and Li, Y. and Pascanu, R.},
 journal = {arXiv:1806.01261},
 title = {{Relational Inductive Biases, Deep Learning, and Graph Networks}},
 year = {2018}
}

@article{Bayer2014,
 author = {Bayer, J. and Osendorfer, C.},
 title = {{Learning Stochastic Recurrent Networks}},
 year = {2014}
}

@inproceedings{Beard2015,
 author = {Beard, J. and Buhler, J.},
 booktitle = {PPoPP},
 title = {{Deadlock-free Buffer Configuration for Stream Computing}},
 year = {2015}
}

@inproceedings{Beard2015a,
 author = {Beard, J. C. and Li, P. and Chamberlain, R. D.},
 booktitle = {PPoPP},
 title = {{RaftLib: A C ++ Template Library for High Performance Stream Parallel Processing}},
 year = {2015}
}

@inproceedings{Beazley2009,
 author = {Beazley, David},
 booktitle = {Python Concurrency Workshop},
 title = {{Inside the Python GIL}},
 year = {2009}
}

@article{Becker2017,
 author = {Becker, K. and Gottschlich, J.},
 journal = {arXiv:1709.05703},
 title = {{AI Programmer: Autonomously Creating Software Programs Using Genetic Algorithms}},
 year = {2017}
}

@book{Beej2010,
 author = {Hall, B.},
 title = {{Beej's Guide to Unix IPC}},
 year = {2010}
}

@article{Beej2012,
 author = {Beej, Brian and Hall, Jorgensen},
 title = {{Beej's Guide to Network Programming Using Internet Sockets}},
 year = {2012}
}

@unpublished{Belikov,
 address = {Edinburgh},
 author = {Belikov, E and Loidl, HW and Michaelson, G},
 institution = {School of Mathematical and Computer Sciences, Heriot-Watt University},
 title = {{Characterisation of Parallel Functional Applications}},
 year = {2014}
}

@inproceedings{Bell2005,
 author = {Bell, R. H. and John, Lizy K.},
 booktitle = {SC},
 title = {{Improved Automatic Testcase Synthesis for Performance Model Validation}},
 year = {2005}
}

@inproceedings{Belli2015a,
 author = {Hoefler, Torsten and Belli, Roberto},
 booktitle = {SC},
 title = {{Scientific Benchmarking of Parallel Computing Systems: Twelve ways to tell the masses when reporting performance results}},
 year = {2015}
}

@inproceedings{Belli2015b,
 author = {Hoefler, Torsten and Belli, Roberto},
 booktitle = {SC},
 title = {{Scientific benchmarking of parallel computing systems}},
 year = {2015}
}

@inproceedings{Ben-nun2018,
 author = {Ben-Nun, T. and Jakobovits, A. S. and Hoefler, T.},
 booktitle = {NeurIPS},
 title = {{Neural Code Comprehension: A Learnable Representation of Code Semantics}},
 year = {2018}
}

@inproceedings{Ben-Nun2019,
 author = {Ben-Nun, T. and Licht, J. D. F. and Ziogas, A. N. and Schneider, T. and Hoefler, T.},
 booktitle = {SC},
 title = {{Stateful Dataflow Multigraphs: A Data-Centric Model for Performance Portability on Heterogeneous Architectures}},
 year = {2019}
}

@inproceedings{Ben-nun2019,
 author = {Ben-nun, T. and Licht, J. D. F. and Ziogas, A. and Schneider, T. and Hoefler, T.},
 booktitle = {SC},
 title = {{Stateful Dataflow Multigraphs: A Data-Centric Model for High-Performance Parallel Programs}},
 year = {2019}
}

@article{Ben-Nun2019a,
 author = {Ben-Nun, T. and Hoefler, T.},
 journal = {ACM Computing Surveys},
 number = {4},
 title = {{Demystifying parallel and distributed deep learning: An in-depth concurrency analysis}},
 volume = {52},
 year = {2019}
}

@article{Benabderrahmane2010,
 author = {Benabderrahmane, Mohamed Walid and Pouchet, Louis No{\"{e}}l and Cohen, Albert and Bastoul, C{\'{e}}dric},
 journal = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
 title = {{The polyhedral model is more widely applicable than you think}},
 volume = {6011 LNCS},
 year = {2010}
}

@article{Bengio1994,
 author = {Bengio, Y. and Simard, P. and Frasconi, P.},
 journal = {IEEE Transactions on Neural Networks},
 number = {2},
 title = {{Learning Long-Term Dependencies with Gradient Descent is Difficult}},
 volume = {5},
 year = {1994}
}

@inproceedings{Bengio2007,
 author = {Bengio, Y. and Lamblin, P.},
 booktitle = {NIPS},
 number = {1},
 title = {{Greedy layer-wise training of deep networks}},
 year = {2007}
}

@book{Bengio2009,
 author = {Bengio, Y.},
 booktitle = {Foundations and Trends in Machine Learning},
 number = {1},
 title = {{Learning Deep Architectures for AI}},
 volume = {2},
 year = {2009}
}

@article{Bengio2012,
 author = {Bengio, Yoshua},
 journal = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
 title = {{Practical recommendations for gradient-based training of deep architectures}},
 volume = {7700 LECTU},
 year = {2012}
}

@article{Bengio2013,
 author = {Bengio, Y. and Courville, A. and Vincent, P.},
 journal = {TPAMI},
 number = {8},
 publisher = {IEEE},
 title = {{Representation Learning: A Review and New Perspectives}},
 volume = {35},
 year = {2013}
}

@article{Benini2000,
 author = {Benini, Luca and Micheli, Giovanni De},
 journal = {TODAES},
 number = {2},
 title = {{System-level power optimization: techniques and tools}},
 volume = {5},
 year = {2000}
}

@inproceedings{Benoit2004,
 author = {Benoit, A. and Cole, M. and Gilmore, S. and Hillston, J.},
 booktitle = {ICCS},
 title = {{Evaluating the performance of skeleton-based high level parallel programs}},
 year = {2004}
}

@inproceedings{Benoit2005,
 author = {Benoit, A. and Cole, M.},
 booktitle = {ICCS},
 publisher = {Springer},
 title = {{Two fundamental concepts in skeletal parallel programming}},
 year = {2005}
}

@inproceedings{Benoit2005a,
 author = {Benoit, A. and Cole, M. and Gilmore, S. and Hillston, J.},
 booktitle = {Euro-Par},
 publisher = {Springer},
 title = {{Flexible Skeletal Programming with eSkel}},
 year = {2005}
}

@inproceedings{Benson,
 author = {Benson, Austin R},
 booktitle = {PPoPP},
 title = {{A Framework for Practical Parallel Fast Matrix Multiplication}},
 year = {2015}
}

@inproceedings{Bergstra2011,
 author = {Bergstra, J. and Bastien, F. and Breuleux, O. and Lamblin, P. and Pascanu, R. and Delalleau, O. and Desjardins, G. and Warde-Farley, D. and Goodfellow, I. and Bergeron, A. and Bengio, Y.},
 booktitle = {BigLearning Workshop},
 title = {{Theano: Deep Learning on GPUs with Python}},
 year = {2011}
}

@inproceedings{Bergstrom2014,
 author = {Bergstrom, L. and Fluet, M. and Reppy, J.},
 booktitle = {ICFP},
 title = {{Practical and Effective Higher-Order Optimizations}},
 year = {2014}
}

@inproceedings{Berkeley2009,
 author = {Berkeley, L. and Datta, K. and Murphy, M. and Volkov, V. and Williams, S. and Carter, J.},
 booktitle = {SC},
 title = {{Stencil computation optimization and auto-tuning on state-of-the-art multicore architectures}},
 year = {2008}
}

@article{Bernabe2013,
 author = {Bernabe, S. and Lopez, S. and Plaza, A. and Sarmiento, R.},
 journal = {IEEE Geoscience and Remote Sensing Letters},
 number = {2},
 title = {{GPU Implementation of an Automatic Target Detection and Classification Algorithm for Hyperspectral Image Analysis}},
 volume = {10},
 year = {2013}
}

@article{Bernstein1997,
 author = {Bernstein, Ethan and Bennett, Charles H and Brassard, Gilles and Vazirani, Umesh V},
 journal = {SICOMP},
 number = {5},
 title = {{Strengths and weaknesses of quantum computing}},
 volume = {26},
 year = {1997}
}

@article{Bernstein2005,
 author = {Bernstein, D. J.},
 title = {{Salsa20 design}},
 year = {2005}
}

@article{Bernstein2005a,
 author = {Bernstein, D. J.},
 title = {{Salsa20 speed}},
 year = {2005}
}

@inproceedings{Berral2010a,
 author = {Berral, J. L. and Goiri, {\'{I}}. and Nou, R. and Juli{\`{a}}, F. and Guitart, J. and Gavald{\`{a}}, R. and Torres, J.},
 booktitle = {e-Energy},
 publisher = {ACM},
 title = {{Towards Energy-aware Scheduling in Data Centers using Machine Learning}},
 year = {2010}
}

@inproceedings{Bertran2012,
 author = {Bertran, R. and Buyuktosunoglu, A. and Gupta, M. S. and Gonzalez, M. and Bose, P.},
 booktitle = {MICRO},
 publisher = {IEEE},
 title = {{Systematic Energy Characterization of CMP/SMT Processor Systems via Automated Micro-Benchmarks}},
 year = {2012}
}

@inproceedings{Besta2018,
 author = {Besta, M. and Stanojevic, D. and Zivic, T. and Singh, J. and Hoerold, M. and Hoefler, T.},
 booktitle = {PACT},
 title = {{Log(Graph): A Near-Optimal High-Performance Graph Representation}},
 year = {2018}
}

@inproceedings{Betts2012,
 author = {Betts, A. and Chong, N. and Donaldson, A.},
 booktitle = {OOPSLA},
 publisher = {ACM},
 title = {{GPUVerify: A Verifier for GPU Kernels}},
 year = {2012}
}

@inproceedings{Bhat,
 author = {Bhat, V. and Parashar, M. and Khandekar, M. and Kandasamy, N. and Abdelwahed, S.},
 booktitle = {ICCAC},
 publisher = {Ieee},
 title = {{Enabling Self-Managing Applications using Model-based Online Control Strategies}},
 year = {2006}
}

@article{Bhattacharyya2015,
 author = {Bhattacharyya, Arnamoy and Kwasniewski, Grzegorz and Hoefler, Torsten},
 journal = {Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT},
 title = {{Using Compiler Techniques to Improve Automatic Performance Modeling}},
 year = {2015}
}

@article{Bhupatiraju2017a,
 author = {Bhupatiraju, S. and Singh, R. and Mohamed, A. and Kohli, P.},
 journal = {arXiv:1704.04327},
 title = {{Deep API Programmer: Learning to Program with APIs}},
 year = {2017}
}

@article{Bielik2015,
 author = {Bielik, P. and Raychev, V. and Vechev, M.},
 journal = {SNAPL},
 title = {{Programming with Big Code: Lessons, Techniques and Applications}},
 year = {2015}
}

@inproceedings{Bielik2016,
 author = {Bielik, P. and Raychev, V. and Vechev, M.},
 booktitle = {ICML},
 publisher = {PMLR},
 title = {{PHOG: Probabilistic Model for Code}},
 year = {2016}
}

@inproceedings{Bielik2017,
 author = {Bielik, P. and Raychev, V. and Vechev, M.},
 booktitle = {ICLR},
 title = {{Program Synthesis for Character Level Language Modeling}},
 year = {2017}
}

@inproceedings{Bienia2008,
 author = {Bienia, Christian and Kumar, Sanjeev and Singh, Jaswinder Pal and Li, Kai},
 booktitle = {PACT},
 publisher = {ACM},
 title = {{The PARSEC Benchmark Suite: Characterization and Architectural Implications}},
 year = {2008}
}

@inproceedings{Bienia2009,
 author = {Bienia, Christian and Li, Kai},
 booktitle = {MoBS},
 title = {{PARSEC 2.0: A New Benchmark Suite for Chip-Multiprocessors}},
 year = {2009}
}

@inproceedings{Bilmes1997,
 address = {New York, NY, USA},
 author = {Bilmes, J. and Asanovic, K. and Chin, C. and Demmel, J.},
 booktitle = {SC},
 publisher = {ACM},
 title = {{Optimizing Matrix Multiply Using PHiPAC: A Portable, High-performance, ANSI C Coding Methodology}},
 year = {1997}
}

@inproceedings{Bird2009,
 author = {Kalliamvakou, E. and Singer, L. and Gousios, G. and German, D. M. and Blincoe, K. and Damian, D.},
 booktitle = {MSR},
 title = {{The Promises and Perils of Mining GitHub}},
 year = {2009}
}

@article{Bird2015,
 author = {Bird, C. and Sutton, C. and Allamanis, M. and Barr, E. T. and Bird, C. and Sutton, C.},
 journal = {FSE},
 publisher = {ACM},
 title = {{Suggesting Accurate Method and Class Names}},
 year = {2015}
}

@inproceedings{Biswas,
 author = {Biswas, R. and Lu, X. and Panda, D.},
 booktitle = {BPOE},
 title = {{Designing a Micro-Benchmark Suite to Evaluate gRPC for TensorFlow: Early Experiences}},
 year = {2018}
}

@inproceedings{Bitirgen2008,
 author = {Bitirgen, R. and Ipek, E. and Martinez, J. F.},
 booktitle = {MICRO},
 month = {nov},
 publisher = {ACM},
 title = {{Coordinated Management of Multiple Interacting Resources in Chip Multiprocessors: A Machine Learning Approach}},
 year = {2008}
}

@inproceedings{Blackburn2006,
 author = {Blackburn, Stephen M and Garner, Robin and Hoffmann, Chris and Khan, Asjad M and Mckinley, Kathryn S and Bentzur, Rotem and Diwan, Amer and Feinberg, Daniel and Frampton, Daniel and Guyer, Samuel Z and Hirzel, Martin and Hosking, Antony and Jump, Maria and Lee, Han and Moss, J Eliot B and Phansalkar, Aashish and Stefanovi, Darko},
 booktitle = {OOPSLA},
 publisher = {ACM},
 title = {{The DaCapo Benchmarks: Java Benchmarking Development and Analysis}},
 year = {2006}
}

@misc{Blair-chappell,
 author = {Andersson, B. and Blair-Chappell, S. and Mueller-Albrecht, R.},
 title = {{Intel Debugger for Linux}},
 url = {https://software.intel.com/sites/default/files/04/0d/idb-linux-12.pdf},
 year = {2012}
}

@article{Blanchette2008,
 author = {Blanchette, Jasmin},
 journal = {Trolltech, Nokia},
 title = {{The Little Manual of API Design}},
 year = {2008}
}

@inproceedings{Blazy2015,
 author = {Blazy, S. and Demange, D. and Pichardie, D.},
 booktitle = {ITP},
 title = {{Validating Dominator Trees for a Fast, Verified Dominance Test}},
 year = {2015}
}

@article{Blum1997,
 author = {Blum, Avrim},
 title = {{On-Line Algorithms in Machine Learning}},
 year = {1997}
}

@article{Blume1994,
 author = {Blume, William and Eigenmann, Rudolf and Hoeflinger, Jay and Padua, David and Petersen, Paul},
 journal = {IEEE Concurrency},
 number = {3},
 publisher = {IEEE Computer Society},
 title = {{Automatic Detection of Parallelism}},
 volume = {2},
 year = {1994}
}

@inproceedings{Blumofe1995,
 author = {Blumofe, Robert D and Joerg, Christopher F and Kuszmaul, Bradley C and Leiserson, Charles E and Randall, Keith H and Zhou, Yuli},
 booktitle = {PPoPP},
 publisher = {ACM Press},
 title = {{Cilk: an efficient multithreaded runtime system}},
 year = {1995}
}

@inproceedings{Bocchino2009,
 author = {Bocchino, R. L. and Vakilian, M. and Adve, V. S. and Dig, D. and Adve, S. V. and Heumann, S. and Komuravelli, R. and Overbey, J. and Simmons, P. and Sung, H.},
 booktitle = {OOPSLA},
 publisher = {ACM},
 title = {{A type and effect system for deterministic parallel Java}},
 year = {2009}
}

@inproceedings{Bodin1998,
 author = {Bodin, F. and Kisuki, T. and Knijnenburg, P. M. W. and O'Boyle, M. and Rohou, E.},
 booktitle = {PACT},
 publisher = {ACM},
 title = {{Iterative Compilation in a Non-linear Optimisation Space}},
 year = {1998}
}

@inproceedings{Boehm2005,
 author = {Boehm, Hans-J.},
 booktitle = {PLDI},
 publisher = {ACM},
 title = {{Threads cannot be implemented as a library}},
 year = {2005}
}

@inproceedings{Boehm2008,
 author = {Boehm, H. and Adve, S. V.},
 booktitle = {PLDI},
 publisher = {ACM},
 title = {{Foundations of the C++ concurrency memory model}},
 year = {2008}
}

@article{Bohm2001,
 author = {B{\"{o}}hm, Christian and Berchtold, Stefan and Keim, Daniel a.},
 journal = {CSUR},
 title = {{Searching in high-dimensional spaces: Index structures for improving the performance of multimedia databases}},
 volume = {33},
 year = {2001}
}

@inproceedings{Bohm2011,
 address = {New York, New York, USA},
 author = {B{\"{o}}hm, I. and {Edler von Koch}, T. J. K. and Kyle, S. C. and Franke, B. and Topham, N.},
 booktitle = {PLDI},
 publisher = {ACM},
 title = {{Generalized just-in-time trace compilation using a parallel task farm in a dynamic binary translator}},
 year = {2011}
}

@article{Bojanowski2016,
 author = {Bojanowski, P. and Grave, E. and Joulin, A. and Mikolov, T. and Grave, E. and Bojanowski, P. and Mikolov, T. and Lake, B. M. and Ullman, T. D. and Tenenbaum, J. B. and Gershman, S. J. and Schmidhuber, J.},
 journal = {arXiv:1607.01759},
 title = {{Bag of Tricks for Efficient Text Classification}},
 year = {2016}
}

@article{Bokhari1988a,
 author = {Bokhari, Shahid H.},
 journal = {TC},
 number = {1},
 title = {{Partitioning Problems in Parallel, Pipelined, and Distributed Computing}},
 volume = {37},
 year = {1988}
}

@article{Bolukbasi2016,
 author = {Bolukbasi, T. and Chang, K. and Zou, J. and Saligrama, V. and Kalai, A.},
 journal = {arXiv:1607.06520},
 title = {{Man is to Computer Programmer as Woman is to Homemaker? Debiasing Word Embeddings}},
 year = {2016}
}

@article{Bolz2003,
 author = {Bolz, J. and Farmer, I. and Grinspun, E. and Schroder, P.},
 journal = {TOG},
 number = {3},
 title = {{Sparse matrix solvers on the GPU: conjugate gradients and multigrid}},
 volume = {22},
 year = {2003}
}

@inproceedings{Bondhugula2008,
 address = {New York, New York, USA},
 author = {Artono, A. and Ramanujam, J. and Sadayappan, P.},
 booktitle = {PLDI},
 publisher = {ACM},
 title = {{A practical automatic polyhedral parallelizer and locality optimizer}},
 year = {2008}
}

@incollection{Bosch2005,
 author = {Bosch, Robert and Trick, Michael},
 booktitle = {Search Methodologies},
 publisher = {Springer},
 title = {{Integer Programming}},
 year = {2014}
}

@inproceedings{Botorog1996,
 author = {Botorog, G.H. and Kuchen, H.},
 booktitle = {HPDC},
 publisher = {Ieee},
 title = {{Skil: an imperative language with algorithmic skeletons for efficient distributed programming}},
 year = {1996}
}

@inproceedings{Botorog1996a,
 author = {Botorog, George Horatiu and Kuchen, Herbert},
 booktitle = {Euro-Par},
 publisher = {Springer},
 title = {{Efficient Parallel Programming with Algorithmic Skeletons}},
 year = {1996}
}

@article{Bottinger2018,
 author = {B{\"{o}}ttinger, K. and Godefroid, P. and Singh, R.},
 journal = {arXiv:1801.04589},
 title = {{Deep Reinforcement Fuzzing}},
 year = {2018}
}

@inproceedings{Bouchard2016,
 author = {Bouchard, G. and Stenetorp, P. and Riedel, S.},
 booktitle = {EMNLP},
 title = {{Learning to Generate Textual Data}},
 year = {2016}
}

@article{Boujarwah1997,
 author = {Boujarwah, A. S. and Saleh, K.},
 journal = {Information and Software Technology},
 number = {9},
 title = {{Compiler Test Case Generation Methods: A Survey and Assessment}},
 volume = {39},
 year = {1997}
}

@article{Bourgoin2014,
 author = {Bourgoin, Mathias and Chailloux, Emmanuel and Lamotte, Jean Luc},
 journal = {IJPP},
 number = {4},
 publisher = {Springer},
 title = {{Efficient abstractions for GPGPU programming}},
 volume = {42},
 year = {2014}
}

@inproceedings{Bowman2015,
 author = {Bowman, S. R. and Vilnis, L. and Vinyals, O. and Dai, A. M. and Jozefowicz, R. and Bengio, S.},
 booktitle = {CONLL},
 title = {{Generating Sentences from a Continuous Space}},
 year = {2016}
}

@article{Box,
 author = {Sarkar, Vivek},
 title = {{Determining Average Program Execution Times and their Variance}}
}

@inproceedings{Braione2017,
 author = {Braione, P. and Denaro, G. and Mattavelli, A. and Pezz{\`{e}}, M.},
 booktitle = {ISSTA},
 title = {{Combining Symbolic Execution and Search-Based Testing for Programs with Complex Heap Inputs}},
 year = {2017}
}

@inproceedings{Brauckmann2020,
 author = {Brauckmann, A. and Ertel, S. and Goens, A. and Castrillon, J.},
 booktitle = {CC},
 title = {{Compiler-Based Graph Representations for Deep Learning Models of Code}},
 year = {2020}
}

@phdthesis{Breiman1999,
 author = {Breiman, L.},
 title = {{Random forest}},
 year = {1999}
}

@phdthesis{Breuer2013,
 author = {Breuer, Stefan},
 school = {Westf{\"{a}}lische Wilhelms-Universit{\"{a}}t M{\"{u}}nster},
 title = {{Introducing a Skeleton for Stencil Computations to the SkelCL Library}},
 year = {2013}
}

@article{Breuer2014,
 author = {Steuwer, Michel and Haidl, Michael and Breuer, Stefan and Gorlatch, Sergei and Steuwer, Michel and Gorlatch, Sergei},
 journal = {HiStencils},
 number = {03},
 title = {{High-level programming of stencil computations on multi-GPU systems using the SkelCL library}},
 volume = {24},
 year = {2014}
}

@inproceedings{Breuer2014a,
 author = {Breuer, Stefan and Steuwer, Michel and Gorlatch, Sergei},
 booktitle = {HiStencils},
 title = {{Extending the SkelCL Skeleton Library for Stencil Computations on Multi-GPU Systems}},
 year = {2014}
}

@article{Brin1998,
 author = {Brin, Sergey and Page, Lawrence},
 journal = {Computer Networks and ISDN Systems},
 number = {1},
 title = {{The anatomy of a large-scale hypertextual Web search engine BT - Computer Networks and ISDN Systems}},
 volume = {30},
 year = {1998}
}

@article{Brock2018,
 author = {Brock, A. and Donahue, J. and Simonyan, K.},
 journal = {arXiv:1809.11096},
 title = {{Large Scale GAN Training For High Fidelity Natural Image Synthesis}},
 year = {2018}
}

@article{Brockschmidt2018,
 author = {Brockschmidt, M. and Allamanis, M. and Gaunt, A. L. and Polozov, O.},
 journal = {arXiv:1805.08490},
 title = {{Generative Code Modeling with Graphs}},
 year = {2018}
}

@inproceedings{Brook,
 author = {Brook, Stony and Brook, Stony},
 booktitle = {PPoPP},
 title = {{Cache-Oblivious Wavefront : Improving Parallelism of Recursive Dynamic Programming Algorithms without Losing Cache-Efficiency}},
 year = {2015}
}

@misc{Brown2010,
 author = {Brown, C and Hammond, K},
 booktitle = {TFP},
 title = {{Ever-decreasing circles: a skeleton for parallel orbit calculations in Eden}},
 url = {http://chrisb.host.cs.st-andrews.ac.uk/publications/eden{\_}tfp2010.pdf},
 year = {2010}
}

@inproceedings{Brown2011a,
 author = {Brown, K. J. and Sujeeth, A. K. and Lee, H. J. and Rompf, T. and Chafi, H. and Odersky, M. and Olukotun, K.},
 booktitle = {PACT},
 publisher = {ACM},
 title = {{A heterogeneous parallel framework for domain-specific languages}},
 year = {2011}
}

@article{Browne2012,
 author = {Browne, C. and Powley, E. and Whitehouse, D. and Lucas, S. and Cowling, P. and Rohlfshagen, P. and Tavener, S. and Perez, D. and Samothrakis, S. and Colton, S.},
 journal = {T-CIAIG},
 number = {1},
 title = {{A Survey of Monte Carlo Tree Search Methods}},
 volume = {4},
 year = {2012}
}

@misc{Brownlee2016,
 author = {Brownlee, J.},
 title = {{Machine Learning Performance Improvement Cheat Sheet}},
 year = {2016}
}

@misc{Bryan2007,
 author = {Bryan, T.},
 title = {{Random C program generator}},
 year = {2007}
}

@inproceedings{Buchwald2018,
 author = {Buchwald, S. and Fried, A. and Hack, S.},
 booktitle = {CGO},
 publisher = {IEEE},
 title = {{Synthesizing an Instruction Selection Rule Library from Semantic Specifications}},
 year = {2018}
}

@article{Buck2004,
 author = {Buck, I and Foley, T and Horn, D and Sugerman, Jeremy and Fatahalian, Kayvon and Houston, Mike and Hanrahan, Pat},
 journal = {TOG},
 number = {3},
 title = {{Brook for GPUs: stream computing on graphics hardware}},
 volume = {23},
 year = {2004}
}

@inproceedings{Buckmann2015,
 author = {Buckmann, M.},
 booktitle = {NIPS},
 title = {{Learning From Small Samples: An Analysis of Simple Decision Heuristics}},
 year = {2015}
}

@book{Buduma2015,
 author = {Buduma, N.},
 publisher = {O'Reilly},
 title = {{Fundamentals of Deep Learning}},
 year = {2015}
}

@article{Buhrmester2011,
 author = {Buhrmester, M. and Kwang, T. and Gosling, S. D.},
 journal = {PPS},
 number = {1},
 title = {{Amazon's Mechanical Turk: A new source of inexpensive, yet high-quality, data?}},
 volume = {6},
 year = {2011}
}

@article{Bundy,
 author = {Bundy, Alan},
 title = {{A scientific Checklist}}
}

@unpublished{Bundy1989,
 author = {Bundy, Alan},
 title = {{The Researcher's Bible}},
 volume = {68},
 year = {1989}
}

@misc{Bundy2014,
 author = {Bundy, Alan},
 title = {{How to Write an Informatics Paper}},
 year = {2014}
}

@misc{Bundy2014a,
 author = {Bundy, Alan},
 title = {{Writing a good grant proposal}},
 year = {2014}
}

@misc{Bundy2014b,
 author = {Bundy, Alan},
 title = {{Empirical methods}},
 url = {http://www.inf.ed.ac.uk/teaching/courses/irm/notes/empirical.html},
 year = {2014}
}

@misc{Bundy2014c,
 author = {Bundy, Alan},
 title = {{The Nature of Informatics}},
 url = {http://www.inf.ed.ac.uk/teaching/courses/irm/notes/nature.html},
 year = {2014}
}

@misc{Bundy2014d,
 author = {Bundy, Alan},
 title = {{The Need for Hypothesis in Informatics}},
 url = {http://www.inf.ed.ac.uk/teaching/courses/irm/notes/hypotheses.html},
 year = {2014}
}

@article{Bunel,
 author = {Bunel, R. and Desmaison, A. and Kohli, P. and Torr, P. H. S. and {Pawan Kumar}, M.},
 journal = {arXiv:1605.07969},
 title = {{Adaptive Neural Compilation}},
 year = {2016}
}

@inproceedings{Bunel2017a,
 author = {Bunel, R. and Desmaison, A. and Kumar, M. P. and Torr, P. H. S.},
 booktitle = {ICLR},
 title = {{Learning to Superoptimize Programs}},
 year = {2017}
}

@article{Bunkute2014,
 author = {Bunkute, E. and Cummins, C. and Crofts, F. and Bunce, G. and Nabney, I. T. and Flower, D. R.},
 journal = {Bioinformatics},
 publisher = {Oxford University Press},
 title = {{PIP-DB: The Protein Isoelectric Point Database}},
 year = {2014}
}

@article{Burgess1996,
 author = {Burgess, C J and Saidi, M},
 journal = {Information and Software Technology},
 number = {2},
 title = {{The automatic generation of test cases for optimizing {\{}Fortran{\}} compilers}},
 volume = {38},
 year = {1996}
}

@article{Burke2013,
 author = {Burke, E. K. and Gendreau, M. and Hyde, M. and Kendall, G. and Ochoa, G. and {\"{O}}zcan, E. and Qu, R.},
 journal = {JORS},
 title = {{Hyper-heuristics: a survey of the state of the art}},
 volume = {64},
 year = {2013}
}

@inproceedings{Burrows2006,
 author = {Burrows, M.},
 booktitle = {OSDI},
 title = {{The Chubby lock service for loosely-coupled distributed systems}},
 year = {2006}
}

@misc{Buss2011,
 author = {Buss, A. and Fidel, A. and Harshvardhan and Smith, T. and Tanase, G. and Thomas, N. and Xu, X. and Bianco, M. and Amato, N. M. and Rauchwerger, L.},
 booktitle = {LCPC},
 publisher = {Springer},
 title = {{The STAPL pView}},
 year = {2011}
}

@inproceedings{Cabezas,
 author = {Cabezas, Javier and Jord{\`{a}}, Marc and Gelado, Isaac},
 booktitle = {PPoPP},
 title = {{GPU-SM : Shared Memory Multi-GPU Programming Categories and Subject Descriptors}},
 year = {2015}
}

@inproceedings{Cadar2008,
 author = {Cadar, C. and Dunbar, D. and Engler, D.},
 booktitle = {OSDI},
 title = {{KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs}},
 year = {2008}
}

@inproceedings{Cadar2016a,
 author = {Cadar, C. and Donaldson, A.},
 booktitle = {ICSE},
 title = {{Analysing the Program Analyser}},
 year = {2016}
}

@phdthesis{CaetanoDeOliveiraRicga2017a,
 author = {{Caetano De Oliveira Ricga}, R.},
 title = {{Online Iterative Compilation Guided by Work-based Profiling}},
 year = {2017}
}

@inproceedings{Calcagno2015,
 author = {Calcagno, C. and Distefano, D. and Dubreil, J. and Gabi, D. and Luca, M. and Hearn, P. O. and Papakonstantinou, I.},
 booktitle = {NASA Formal Methods},
 title = {{Moving Fast with Software Verification}},
 year = {2015}
}

@article{Caliskan-islam2016,
 author = {Caliskan-islam, A. and Bryson, J. J. and Narayanan, A.},
 journal = {arXiv:1608.07187},
 title = {{Semantics derived automatically from language corpora necessarily contain human biases}},
 year = {2016}
}

@inproceedings{Cammarota2013,
 author = {Cammarota, R. and Beni, L. A. and Nicolau, A. and Veidenbaum, A. V.},
 booktitle = {APPT},
 publisher = {Springer},
 title = {{Optimizing Program Performance via Similarity, Using a Feature-agnostic Approach}},
 year = {2013}
}

@article{Campa2014,
 author = {Campa, S and Danelutto, M},
 journal = {Future Generation Computer Systems},
 title = {{Parallel patterns for heterogeneous CPU/GPU architectures: Structured parallelism from cluster to cloud}},
 volume = {37},
 year = {2014}
}

@article{Campbell2017,
 author = {Campbell, B. A. and Treude, C.},
 journal = {arXiv:1701.05648},
 title = {{NLP2Code: Code Snippet Content Assist via Natural Language Tasks}},
 year = {2017}
}

@misc{CanergieMellonUniversity2005,
 author = {{Canergie Mellon University}},
 title = {{3. Principal Components Analysis}},
 year = {2005}
}

@misc{CanergieMellonUniversity2005a,
 author = {{Canergie Mellon University}},
 title = {{1. Interacting with your faculty investigator}},
 year = {2005}
}

@misc{CanergieMellonUniversity2005b,
 author = {{Canergie Mellon University}},
 number = {February},
 title = {{4. Factor Analysis}},
 year = {2010}
}

@misc{CanergieMellonUniversity2005c,
 author = {{Canergie Mellon University}},
 number = {January},
 title = {{2. Writing About Projects}},
 year = {2005}
}

@article{Canny1986,
 author = {Canny, J.},
 journal = {IEEE Transactions on Pattern Analysis and Machine Intelligence},
 number = {6},
 title = {{A Computational Approach to Edge Detection}},
 volume = {PAMI-8},
 year = {1986}
}

@article{Cao2003,
 author = {Cao, L. J. and Chua, K. S. and Chong, W. K. and Lee, H. P. and Gu, Q. M.},
 journal = {Neurocomputing},
 month = {sep},
 number = {1-2},
 title = {{A comparison of PCA, KPCA and ICA for dimensionality reduction in support vector machine}},
 volume = {55},
 year = {2003}
}

@article{Carbonneaux2014,
 author = {Carbonneaux, Q and Cl{\'{e}}ment, F and Weis, P},
 title = {{Sklml: Functional Parallel Programming}},
 year = {2014}
}

@misc{CarnegieMellonUniversity2005,
 author = {{Carnegie Mellon University}},
 number = {September},
 title = {{5. Statistical Independence, Discrete Random Variables}},
 year = {2005}
}

@misc{CarnegieMellonUniversity2006,
 author = {{Carnegie Mellon University}},
 title = {{10. Regression Trees}},
 year = {2006}
}

@inproceedings{Caromel2008,
 author = {Caromel, Denis and Henrio, Ludovic and Leyton, Mario},
 booktitle = {PDP},
 title = {{Type Safe Algorithmic Skeletons}},
 year = {2008}
}

@inproceedings{Carpen-amarie,
 author = {Carpen-amarie, Maria and Marlier, Patrick and Felber, Pascal and Thomas, Ga{\"{e}}l},
 booktitle = {PPoPP},
 title = {{A Performance Study of Java Garbage Collectors on Multicore Architectures Categories and Subject Descriptors}},
 year = {2015}
}

@article{Castillo,
 author = {Castillo, C. and De, S. and Han, X. and Singh, B. and Yadav, A. K. and Goldstein, T.},
 title = {{Son of Zorn's Lemma: Targeted Style Transfer Using Instance-Aware Semantic Segmentation}}
}

@inproceedings{Castro2014,
 author = {Castro, P De Oliveira and Kashnikov, Y},
 booktitle = {CGO},
 number = {February},
 publisher = {IEEE},
 title = {{Fine-grained Benchmark Subsetting for System Selection}},
 year = {2014}
}

@article{Catanzaro2010,
 author = {Catanzaro, Bryan and Keutzer, Kurt},
 journal = {XRDS: Crossroads, The ACM Magazine for Students},
 number = {5},
 title = {{Parallel computing with patterns and frameworks}},
 volume = {17},
 year = {2010}
}

@inproceedings{Cavazos2006,
 author = {Cavazos, J. and Dubach, C. and Agakov, F. and Bonilla, E. and O'Boyle, M. and Fursin, G. and Temam, O.},
 booktitle = {CASES},
 title = {{Automatic Performance Model Construction for the Fast Software Exploration of New Hardware Designs}},
 year = {2006}
}

@inproceedings{Cavazos2007,
 author = {Cavazos, J. and Fursin, G. and Agakov, F. and Bonilla, E. and O'Boyle, M. and Temam, O.},
 booktitle = {CGO},
 publisher = {IEEE},
 title = {{Rapidly selecting good compiler optimizations using performance counters}},
 year = {2007}
}

@inproceedings{Cavazos2008,
 author = {Cavazos, J.},
 booktitle = {ICCC},
 title = {{Intelligent compilers}},
 year = {2008}
}

@article{Cawley2010,
 author = {Cawley, G. C. and Talbot, N L. C.},
 journal = {JMLR},
 title = {{On Over-fitting in Model Selection and Subsequent Selection Bias in Performance Evaluation}},
 volume = {11},
 year = {2010}
}

@inproceedings{Chabbi,
 author = {Chabbi, Milind and Mellor-crummey, John},
 booktitle = {PPoPP},
 title = {{Barrier Elision for Production Parallel Programs}},
 year = {2015}
}

@article{Chae2017,
 author = {Chae, Kwonsoo and Oh, Hakjoo and Heo, Kihong and Yang, Hongseok},
 journal = {Proceedings of the ACM on Programming Languages},
 number = {OOPSLA},
 title = {{Automatically generating features for learning program analysis heuristics for C-like languages}},
 volume = {1},
 year = {2017}
}

@inproceedings{Chaimov2015,
 author = {Chaimov, N. and Ibrahim, K. Z. and Williams, S.},
 booktitle = {PPoPP},
 title = {{Exploiting Communication Concurrency on High Performance Computing Systems}},
 year = {2015}
}

@inproceedings{Chakraborty2016,
 author = {Chakraborty, S. and Vafeiadis, V.},
 booktitle = {CGO},
 publisher = {IEEE},
 title = {{Formalizing the Concurrency Semantics of an LLVM Fragment}},
 year = {2017}
}

@article{Chakraborty2018,
 author = {Chakraborty, Saikat and Allamanis, Miltiadis and Ray, Baishakhi},
 title = {{CODIT: Code Editing with Tree-Based NeuralMachine Translation}},
 year = {2018}
}

@inproceedings{Chakravarty2011,
 author = {Chakravarty, Manuel MT and Keller, Gabriele and Lee, Sean and McDonell, Trevor L and Grover, Vinod},
 booktitle = {DAMP},
 publisher = {ACM},
 title = {{Accelerating Haskell array codes with multicore GPUs}},
 year = {2011}
}

@inproceedings{Chambers2010,
 author = {Chambers, C. and Raniwala, A. and Perry, F. and Adams, S. and Henry, R. R. and Bradshaw, R. and Weizenbaum, N.},
 booktitle = {PLDI},
 publisher = {ACM},
 title = {{FlumeJava: Easy, Efficient Data-parallel Pipelines}},
 year = {2010}
}

@inproceedings{Chan2009,
 author = {Chan, C. and Ansel, H. and Wong, Y. L. and Amarasinghe, S. and Edelman, A.},
 booktitle = {SC},
 title = {{Autotuning Multigrid with PetaBricks}},
 year = {2009}
}

@inproceedings{Chang,
 author = {Chang, Yen-jung},
 booktitle = {PPoPP},
 title = {{A Parallel Algorithm for Global States Enumeration in Concurrent Systems}},
 year = {2015}
}

@article{Chang2001,
 author = {Chang, F. and Karamcheti, V.},
 journal = {Cluster Computing},
 number = {1},
 title = {{A Framework for Automatic Adaptation of Tunable Distributed Applications}},
 volume = {4},
 year = {2001}
}

@article{Chang2006,
 author = {Chang, F. and Dean, J. and Ghemawat, S. and Hsieh, W. C. and Wallach, D. A. and Burrows, M. and Chandra, T. and Fikes, A. and Gruber, R. E.},
 journal = {OSDI},
 title = {{Bigtable: A distributed storage system for structured data}},
 year = {2006}
}

@inproceedings{Chasins2017,
 author = {Chasins, S. and Phothilimthana, P. M.},
 booktitle = {CAV},
 publisher = {Springer},
 title = {{Data-Driven Synthesis of Full Probabilistic Programs}},
 year = {2017}
}

@inproceedings{Che2009,
 author = {Che, S. and Boyer, M. and Meng, J. and Tarjan, D. and Sheaffer, J. W. and Lee, S. H. and Skadron, K.},
 booktitle = {IISWC},
 publisher = {IEEE},
 title = {{Rodinia: A Benchmark Suite for Heterogeneous Computing}},
 year = {2009}
}

@inproceedings{Che2010,
 author = {Che, Shuai and Sheaffer, Jeremy W. and Boyer, Michael and Szafaryn, Lukasz G. and Wang, Liang and Skadron, Kevin},
 booktitle = {IISWC},
 publisher = {IEEE},
 title = {{A characterization of the Rodinia benchmark suite with comparison to contemporary CMP workloads}},
 year = {2010}
}

@article{Chen2003,
 author = {Chen, T. Y. and Tse, T. H. and Zhou, Z.},
 journal = {Information and Software Technology},
 number = {1},
 title = {{Fault-based testing without the need of oracles}},
 volume = {45},
 year = {2003}
}

@inproceedings{Chen2010,
 author = {Chen, Y. and Huang, Y. and Eeckhout, L. and Fursin, G. and Peng, L. and Temam, O. and Wu, C.},
 booktitle = {PLDI},
 publisher = {ACM},
 title = {{Evaluating Iterative Optimization Across 1000 Data Sets}},
 year = {2010}
}

@article{Chen2012,
 author = {Chen, Y. and Fang, S. and Huang, Y. and Eeckhout, L. and Fursin, G. and Temam, O. and Wu, C.},
 journal = {TACO},
 month = {sep},
 number = {3},
 title = {{Deconstructing Iterative Optimization}},
 volume = {9},
 year = {2012}
}

@inproceedings{Chen2013,
 author = {Chen, Y. and Groce, A. and Zhang, C. and Wong, W. and Fern, X. and Eide, E. and Regehr, J.},
 booktitle = {PLDI},
 publisher = {ACM},
 title = {{Taming Compiler Fuzzers}},
 year = {2013}
}

@inproceedings{Chen2014,
 author = {Chen, G. and Wu, B.},
 booktitle = {MICRO},
 publisher = {ACM},
 title = {{PORPLE: An Extensible Optimizer for Portable Data Placement on GPU}},
 year = {2014}
}

@inproceedings{Chen2014a,
 author = {Chen, J. and Hu, W. and Hao, D. and Xiong, Y. and Zhang, H. and Zhang, L. and Xie, B.},
 booktitle = {ICSE},
 title = {{An Empirical Comparison of Compiler Testing Techniques}},
 year = {2016}
}

@inproceedings{Chen2015,
 author = {Chen, Haibo},
 booktitle = {PPoPP},
 title = {{NUMA-Aware Graph-Structured Analytics}},
 year = {2015}
}

@inproceedings{Chen2015a,
 author = {Chen, Yifeng and Mei, Hong},
 booktitle = {PPoPP},
 title = {{Tiles : A New Language Mechanism for Heterogeneous Parallelism}},
 year = {2015}
}

@article{Chen2015b,
 author = {Chen, L. and Schwing, A. G. and Yuille, A. L. and Urtasun, R.},
 journal = {JMLR},
 title = {{Learning Deep Structured Models}},
 volume = {37},
 year = {2015}
}

@inproceedings{Chen2015c,
 author = {Chen, X and Xiao, H and Wardi, Y and Yalamanchili, S},
 booktitle = {HiPC},
 title = {{Throughput Regulation in Shared Memory Multicore Processors}},
 year = {2015}
}

@article{Chen2016a,
 author = {Chen, X. and Duan, Y. and Houthooft, R. and Schulman, J. and Sutskever, I. and Abbeel, P.},
 journal = {arXiv:1606.03657},
 title = {{InfoGAN: Interpretable Representation Learning by Information Maximizing Generative Adversarial Nets}},
 year = {2016}
}

@inproceedings{Chen2016b,
 author = {Chen, Y. and Su, T. and Sun, C. and Su, Z. and Zhao, J.},
 booktitle = {PLDI},
 publisher = {ACM},
 title = {{Coverage-Directed Differential Testing of JVM Implementations}},
 year = {2016}
}

@inproceedings{Chen2017,
 author = {Chen, J. and Bai, Y. and Hao, D. and Xiong, Y. and Zhang, H. and Xie, B.},
 booktitle = {ICSE},
 title = {{Learning to Prioritize Test Programs for Compiler Testing}},
 year = {2017}
}

@article{Chen2018,
 author = {Chen, Z. and Kommrusch, S. and Tufano, M. and Pouchet, L. and Poshyvanyk, D. and Monperrus, M.},
 journal = {TSE},
 title = {{SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair}},
 year = {2019}
}

@article{Chen2019,
 author = {Chen, Z. and Monperrus, M.},
 journal = {arXiv:1904.03061},
 title = {{A Literature Study of Embeddings on Source Code}},
 year = {2019}
}

@inproceedings{Chen2019a,
 author = {Chen, Y. and Su, T. and Su, Z.},
 booktitle = {ICSE},
 title = {{Deep Differential Testing of JVM Implementations}},
 year = {2019}
}

@article{Cheng2019,
 author = {Cheng, L. and Zhang, Y. and Zhang, Y. and Wu, C. and Li, Z. and Fu, Y. and Li, H.},
 journal = {arXiv:1902.02538},
 title = {{Optimizing Seed Inputs in Fuzzing with Machine Learning}},
 year = {2019}
}

@article{Chi2011,
 author = {Chi, M. and Vanlehn, K. and Litman, D. and Jordan, P.},
 journal = {IJAIED},
 number = {1-2},
 title = {{An evaluation of pedagogical tutorial tactics for a natural language tutoring system: A reinforcement learning approach}},
 volume = {21},
 year = {2011}
}

@article{Ching2017a,
 author = {Ching, Travers and Himmelstein, Daniel S and Beaulieu-Jones, Brett K and Kalinin, Alexandr A and Do, Brian T and Way, Gregory P and Ferrero, Enrico and Agapow, Paul-Michael and Xie, Wei and Rosen, Gail L and Lengerich, Benjamin J and Israeli, Johnny},
 title = {{Opportunities and obstacles for deep learning in biology and medicine}},
 year = {2017}
}

@misc{Chinneck1999,
 author = {Chinneck, Prof John W},
 title = {{How to Organize your Thesis}},
 year = {1999}
}

@inproceedings{Chiu2015,
 author = {Chiu, A. and Garvey, J. and Abdelrahman, T. S.},
 booktitle = {CF},
 publisher = {ACM},
 title = {{Genesis: A Language for Generating Synthetic Training Programs for Machine Learning}},
 year = {2015}
}

@article{Chiu2016,
 author = {Chiu, A. and Garvey, J. and Abdelrahman, T. S.},
 journal = {Scientific Programming},
 title = {{A Language and Preprocessor for User-Controlled Generation of Synthetic Programs}},
 year = {2016}
}

@inproceedings{Cho2014,
 author = {Cho, K. and van Merrienboer, B. and Gulcehre, C. and Bahdanau, D. and Bougares, F. and Schwenk, H. and Bengio, Y.},
 booktitle = {EMNLP},
 title = {{Learning Phrase Representations using RNN Encoder-Decoder for Statistical Machine Translation}},
 year = {2014}
}

@misc{Choi2010,
 author = {Choi, Jee W. and Singh, Amik and Vuduc, Richard W.},
 booktitle = {PPoPP},
 title = {{Model-driven autotuning of sparse matrix-vector multiply on GPUs}},
 year = {2010}
}

@article{Choi2016,
 author = {Choi, M. and Jeong, S. and Oh, H. and Choo, J.},
 journal = {arXiv:1703.02458},
 title = {{End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks}},
 year = {2017}
}

@inproceedings{Christen2011,
 author = {Christen, M. and Schenk, O. and Burkhart, H.},
 booktitle = {PDPS},
 month = {may},
 publisher = {IEEE},
 title = {{PATUS: A Code Generation and Autotuning Framework for Parallel Iterative Stencil Computations on Modern Microarchitectures}},
 year = {2011}
}

@inproceedings{Chugh2015,
 address = {Santa Barbara, CA},
 author = {Chugh, R. and Hempel, B. and Spradlin, M. and Albers, J.},
 booktitle = {PLDI},
 publisher = {ACM},
 title = {{Programmatic and Direct Manipulation, Together at Last}},
 year = {2016}
}

@inproceedings{Chung2002,
 author = {Chung, I. and Hollingsworth, J. K. and Server, H.},
 booktitle = {SC},
 publisher = {IEEE Computer Society},
 title = {{Active Harmony: Towards Automated Performance Tuning}},
 year = {2002}
}

@article{Chung2014,
 author = {Chung, J. and Gulcehre, C. and Cho, K. and Bengio, Y.},
 journal = {arXiv:1412.3555},
 title = {{Empirical Evaluation of Gated Recurrent Neural Networks on Sequence Modeling}},
 year = {2014}
}

@article{Chung2015,
 author = {Chung, J. and Kastner, K. and Dinh, L. and Goel, K. and Courville, A. and Bengio, Y.},
 journal = {arXiv:1506.02216},
 title = {{A Recurrent Latent Variable Model for Sequential Data}},
 year = {2015}
}

@inproceedings{Ciechanowicz2010,
 author = {Ciechanowicz, P and Kuchen, H},
 booktitle = {HPCC},
 month = {sep},
 publisher = {Ieee},
 title = {{Enhancing Muesli's Data Parallel Skeletons for Multi-core Computer Architectures}},
 year = {2010}
}

@article{Ciresan2011,
 author = {Ciresan, D. C. and Meier, U. and Masci, J. and Gambardella, L. M. and Schmidhuber, J.},
 journal = {IJCAI},
 title = {{Flexible, High Performance Convolutional Neural Networks for Image Classification}},
 year = {2011}
}

@article{Citron2006,
 author = {Citron, Daniel and Hurani, Adham and Gnadrey, Alaa},
 journal = {ACM SIGARCH Computer Architecture News},
 number = {4},
 title = {{The Harmonic or Geometric Mean: Does It Really Matter?}},
 volume = {34},
 year = {2006}
}

@inproceedings{Claessen2000a,
 author = {Claessen, K. and Hughes, J.},
 booktitle = {ICFP},
 title = {{QuickCheck: a Lightweight Tool for Random Testing of Haskell Programs}},
 year = {2000}
}

@article{Claessen2014,
 author = {Claessen, K. and Dureg{\aa}rd, J. and Pa{\l}ka, M. H.},
 journal = {Journal of Functional Programming},
 title = {{Generating Constrained Random Data with Uniform Distribution}},
 volume = {25},
 year = {2015}
}

@article{Clark2015a,
 author = {Clark, C. and Storkey, A.},
 journal = {JMLR},
 title = {{Training Deep Convolutional Neural Networks to Play Go}},
 year = {2015}
}

@article{Clifton-Everest2014,
 author = {Clifton-Everest, Robert and McDonell, Trevor L and Chakravarty, Manuel MT and Keller, Gabriele},
 journal = {PADL},
 title = {{Embedding foreign code}},
 year = {2014}
}

@article{ClintWhaley2001,
 author = {{Clint Whaley}, R. and Petitet, A. and Dongarra, J. J.},
 journal = {Parallel Computing},
 month = {jan},
 number = {1},
 title = {{Automated empirical optimizations of software and the ATLAS project}},
 volume = {27},
 year = {2001}
}

@article{Coates2001,
 author = {Coates, Allison L and Division, Computer Science and Baird, Henry S and Fatema, Richard J and Division, Computer Science},
 title = {{Pessimal Print: A Reverse Turing Test}},
 year = {2001}
}

@article{Cohen1995,
 author = {Cohen, R. F. and Tamassia, R.},
 journal = {Algorithmica},
 number = {3},
 title = {{Dynamic Expression Trees}},
 volume = {13},
 year = {1995}
}

@inproceedings{Cohen2013,
 author = {Cohen, Albert and Grosser, Tobias and Kelly, Paul H J and Ramanujam, J and Verdoolaege, Sven and Cohen, Albert and Grosser, Tobias and Kelly, Paul H J and Ramanujam, J and Sadayappan, P},
 booktitle = {GPGPU},
 title = {{Split Tiling for GPUs : Automatic Parallelization Using Trapezoidal Tiles to Reconcile Parallelism and Locality , avoiding Divergence and Load Imbalance}},
 year = {2013}
}

@book{Cole1989,
 author = {Cole, M.},
 publisher = {Pitman London},
 title = {{Algorithmic Skeletons: Structured Management of Parallel Computation}},
 year = {1989}
}

@article{Cole2004,
 author = {Cole, M.},
 journal = {Parallel Computing},
 month = {mar},
 number = {3},
 publisher = {Elsevier},
 title = {{Bringing skeletons out of the closet: a pragmatic manifesto for skeletal parallel programming}},
 volume = {30},
 year = {2004}
}

@article{Collingbourne2012,
 author = {Collingbourne, P. and Cadar, C. and Kelly, P. H. J.},
 journal = {Lecture Notes in Computer Science},
 title = {{Symbolic testing of OpenCL code}},
 year = {2012}
}

@article{Collins2012,
 author = {Collins, A. and Fensch, C. and Leather, H.},
 journal = {Parallel Processing Letters},
 number = {02},
 title = {{Auto-Tuning Parallel Skeletons}},
 volume = {22},
 year = {2012}
}

@article{Collins2012a,
 author = {Collins, A. and Fensch, C. and Leather, H.},
 title = {{Optimization Space Exploration of the FastFlow Parallel Skeleton Framework}},
 year = {2012}
}

@inproceedings{Collins2013,
 author = {Collins, A. and Fensch, C. and Leather, H. and Cole, M.},
 booktitle = {HiPC},
 publisher = {IEEE},
 title = {{MaSiF: Machine Learning Guided Auto-tuning of Parallel Skeletons}},
 year = {2013}
}

@techreport{Collins2013a,
 author = {Collins, A. and Grewe, D. and Lee, S. and Susnea, A.},
 institution = {NVIDIA},
 title = {{NOVA: A Functional Language for Data Parallelism}},
 year = {2013}
}

@inproceedings{Collobert2011,
 author = {Collobert, R. and Kavukcuoglu, K. and Farabet, C.},
 booktitle = {BigLearn},
 title = {{Torch7: A Matlab-like Environment for Machine Learning}},
 year = {2011}
}

@article{Compton2002,
 author = {Compton, K. and Hauck, S.},
 journal = {CSUR},
 number = {2},
 title = {{Reconfigurable computing: a survey of systems and software}},
 volume = {34},
 year = {2002}
}

@inproceedings{Cong2016a,
 author = {Cong, J. and Huang, M. and Wu, D. and Yu, C. H.},
 booktitle = {DAC},
 publisher = {ACM},
 title = {{Heterogeneous Datacenters: Options and Opportunities}},
 year = {2016}
}

@article{Conneau2016,
 author = {Conneau, A. and Schwenk, H. and Lecun, Y. and Barrault, L.},
 journal = {arXiv:16006.01781},
 title = {{Very Deep Convolutional Networks for Natural Language Processing}},
 year = {2016}
}

@inproceedings{Contreras2008,
 author = {Contreras, G. and Martonosi, M.},
 booktitle = {IISWC},
 month = {oct},
 publisher = {IEEE},
 title = {{Characterizing and improving the performance of Intel Threading Building Blocks}},
 year = {2008}
}

@article{Conway1970,
 author = {Conway, J.},
 journal = {Scientific American},
 number = {4},
 title = {{The Game of Life}},
 volume = {223},
 year = {1970}
}

@misc{Cook1971,
 author = {Cook, S. A.},
 booktitle = {STOC},
 title = {{The Complexity of Theorem-proving Procedures}},
 url = {http://doi.acm.org/10.1145/800157.805047},
 year = {1971}
}

@inproceedings{Coons2008,
 address = {New York, New York, USA},
 author = {Coons, K. E. and Robatmili, B. and Taylor, M. E. and Maher, B. A. and Burger, D. and McKinley, K. S.},
 booktitle = {PACT},
 publisher = {ACM},
 title = {{Feature selection and policy optimization for distributed instruction placement using reinforcement learning}},
 year = {2008}
}

@inproceedings{Cooper1992,
 author = {Cooper, K. D. and Hall, M. W. and Kennedy, K.},
 booktitle = {Computer Languages},
 publisher = {IEEE},
 title = {{Procedure Cloning}},
 year = {1992}
}

@techreport{Cooper2003,
 author = {Cooper, K. D. and Harvey, T. J. and Kennedy, K.},
 institution = {Department of Computer Science, Rice University},
 title = {{Iterative Data-flow Analysis, Revisited}},
 year = {2004}
}

@inproceedings{Cooper2005,
 author = {Cooper, K. D. and Grosul, A. and Harvey, T. J. and Reeves, S. and Subramanian, D. and Torczon, L. and Waterman, T.},
 booktitle = {LCTES},
 publisher = {ACM},
 title = {{ACME: adaptive compilation made efficient}},
 year = {2005}
}

@book{Cooper2011,
 author = {Cooper, K. and Torczon, L.},
 publisher = {Elsevier},
 title = {{Engineering a compiler}},
 year = {2011}
}

@inproceedings{Coplin2015b,
 author = {Coplin, J. and Burtscher, M.},
 booktitle = {PPoPP},
 title = {{Effects of Source-Code Optimizations on GPU Performance and Energy Consumption}},
 year = {2015}
}

@article{Corbalan2005,
 author = {Corbalan, J. and Martorell, X. and Labarta, J.},
 journal = {TPDS},
 month = {jul},
 number = {7},
 title = {{Performance-driven processor allocation}},
 volume = {16},
 year = {2005}
}

@techreport{Corporation2011,
 author = {{Intel Corporation}},
 number = {January},
 title = {{Intel(R) 64 and IA-32 Architectures Software Developer's Manual, Combined Volumes}},
 year = {2011}
}

@misc{Coudarcher2001,
 author = {Coudarcher, R and S{\'{e}}rot, J and D{\'{e}}rutin, JP},
 booktitle = {HIPS},
 title = {{Implementation of a skeleton-based parallel programming environment supporting arbitrary nesting}},
 url = {http://link.springer.com/chapter/10.1007/3-540-45401-2{\_}6},
 year = {2001}
}

@inproceedings{Covington2016,
 author = {Covington, P. and Adams, J. and Sargin, E.},
 booktitle = {RecSys},
 title = {{Deep Neural Networks for YouTube Recommendations}},
 year = {2016}
}

@article{Cownie2000,
 author = {Cownie, James and Moore, Shirley},
 journal = {EWOMP},
 title = {{Portable OpenMP debugging with TotalView}},
 year = {2000}
}

@article{Creswell2017,
 author = {Creswell, A. and White, T. and Dumoulin, V. and Arulkumaran, K. and Sengupta, B. and Bharath, A. A.},
 journal = {arXiv:1710.07035},
 title = {{Generative Adversarial Networks: An Overview}},
 year = {2017}
}

@phdthesis{Cummins2014a,
 author = {Cummins, C.},
 school = {Aston University},
 title = {{Protein Isoelectric Point Database}},
 year = {2014}
}

@phdthesis{Cummins2015,
 author = {Cummins, C.},
 school = {University of Edinburgh},
 title = {{Autotuning Stencils Codes with Algorithmic Skeletons}},
 year = {2015}
}

@inproceedings{Cummins2016,
 author = {Cummins, C. and Petoumenos, P. and Steuwer, M. and Leather, H.},
 booktitle = {HLPGPU},
 title = {{Towards Collaborative Performance Tuning of Algorithmic Skeletons}},
 year = {2016}
}

@inproceedings{Cummins2016a,
 author = {Cummins, C. and Petoumenos, P. and Steuwer, M. and Leather, H.},
 booktitle = {ADAPT},
 title = {{Autotuning OpenCL Workgroup Size for Stencil Patterns}},
 year = {2016}
}

@inproceedings{Cummins2016c,
 author = {Cummins, C. and Petoumenos, P. and Steuwer, M. and Leather, H.},
 booktitle = {ACACES},
 title = {{Autotuning OpenCL Workgroup Sizes}},
 year = {2016}
}

@inproceedings{Cummins2017a,
 author = {Cummins, C. and Petoumenos, P. and Zang, W. and Leather, H.},
 booktitle = {CGO},
 publisher = {IEEE},
 title = {{Synthesizing Benchmarks for Predictive Modeling}},
 year = {2017}
}

@inproceedings{Cummins2017b,
 author = {Cummins, C. and Petoumenos, P. and Wang, Z. and Leather, H.},
 booktitle = {PACT},
 publisher = {IEEE},
 title = {{End-to-end Deep Learning of Optimization Heuristics}},
 year = {2017}
}

@inproceedings{Cummins2018,
 author = {Cummins, C. and Petoumenos, P. and Murray, A. and Leather, H.},
 booktitle = {ISSTA},
 title = {{Compiler Fuzzing through Deep Learning}},
 year = {2018}
}

@inproceedings{Cummins2018a,
 author = {Cummins, C. and Petoumenos, P. and Murray, A. and Leather, H.},
 booktitle = {ACACES},
 title = {{DeepSmith: Compiler Fuzzing through Deep Learning}},
 year = {2018}
}

@phdthesis{Cummins2020,
 author = {Cummins, C.},
 school = {University of Edinburgh},
 title = {{Deep Learning for Compilers}},
 year = {2020}
}

@article{Curnow1976,
 author = {Curnow, H. J. and Wichmann, B. A.},
 journal = {Computer},
 number = {1},
 title = {{A Synthetic Benchmark}},
 volume = {19},
 year = {1976}
}

@article{Cvitkovic2018a,
 author = {Cvitkovic, Milan and Singh, Badal and Anandkumar, Anima},
 journal = {Machine Learning},
 title = {{Deep Learning On Code with an Unbounded Vocabulary}},
 volume = {4},
 year = {2018}
}

@article{Cvpr2017,
 author = {Luan, F. and Paris, S. and Shechtman, E. and Bala, K.},
 journal = {arXiv:1703.07511},
 title = {{Deep Photo Style Transfer}},
 year = {2017}
}

@article{Czarnecki2004,
 author = {Czarnecki, K. and O'Donnell, J. and Striegnitz, J. and Taha, W.},
 journal = {Domain-Specific Program Generation},
 title = {{DSL Implementation in MetaOCaml, Template Haskell, and C++}},
 year = {2004}
}

@article{Czarnecki2017,
 author = {Czarnecki, W. M. and Swirszcz, G. and Jaderberg, M. and Osindero, S. and Vinyals, O. and Kavukcuoglu, K.},
 journal = {arXiv:1703.00522},
 title = {{Understanding Synthetic Gradients and Decoupled Neural Interfaces}},
 year = {2017}
}

@inproceedings{Dabbish,
 author = {Dabbish, Laura and Stuart, Colleen and Tsay, Jason and Herbsleb, Jim},
 booktitle = {CSCW},
 publisher = {ACM},
 title = {{Social Coding in GitHub: Transparency and Collaboration in an Open Software Repository}},
 year = {2012}
}

@inproceedings{Dagum1998,
 author = {Dagum, Leonardo and Enon, Rameshm},
 booktitle = {CSE},
 title = {{OpenMP: an industry standard API for shared-memory programming}},
 year = {1998}
}

@article{Dahl2012,
 author = {Dahl, G. E. and Yu, D. and Deng, L. and Acero, A.},
 journal = {TASLP},
 number = {1},
 publisher = {IEEE/ACM},
 title = {{Context-Dependent Pre-Trained Deep Neural Networks for Large-Vocabulary Speech Recognition}},
 volume = {20},
 year = {2012}
}

@inproceedings{Daka2017a,
 author = {Daka, E. and Rojas, J. M. and Fraser, G.},
 booktitle = {ISSTA},
 title = {{Generating unit tests with descriptive names or: would you name your children thing1 and thing2?}},
 year = {2017}
}

@inproceedings{Dalibard2017,
 author = {Dalibard, Valentin and Schaarschmidt, Michael and Yoneki, Eiko},
 booktitle = {WWW},
 title = {{BOAT: Building auto-tuners with structured Bayesian optimization}},
 year = {2017}
}

@article{Dam2018,
 author = {Dam, H. K. and Grundy, J. and Kim, T. and Kim, C.},
 journal = {arXiv:1802.00921},
 title = {{A Deep Tree-Based Model for Software Defect Prediction}},
 year = {2018}
}

@inproceedings{Danaee2016,
 author = {Danaee, P. and Ghaeini, R. and Hendrix, D. A.},
 booktitle = {PSB},
 title = {{A Deep Learning Approach for Cancer Detection and Relevant Gene Identification}},
 year = {2017}
}

@inproceedings{Danalis2010,
 author = {Danalis, A. and Marin, G. and McCurdy, C. and Meredith, J. S. and Roth, P. C. and Spafford, K. and Tipparaju, V. and Vetter, J. S.},
 booktitle = {GPGPU},
 publisher = {ACM},
 title = {{The Scalable HeterOgeneous Computing (SHOC) Benchmark Suite}},
 year = {2010}
}

@inproceedings{Danelutto2006,
 author = {Danelutto, M and Dazzi, P},
 booktitle = {ICCS},
 publisher = {Springer},
 title = {{Joint Structured / Unstructured Parallelism Exploitation in muskel}},
 year = {2006}
}

@article{Danelutto2012,
 author = {Danelutto, M. and {Di Cosmo}, R.},
 journal = {Procedia Computer Science},
 month = {jan},
 publisher = {Elsevier Masson SAS},
 title = {{A Minimal Disruption Skeleton Experiment: Seamless Map {\&} Reduce Embedding in OCaml}},
 volume = {9},
 year = {2012}
}

@inproceedings{Darlington1993,
 author = {Darlington, J and Field, AJ J and Harrison, PG G},
 booktitle = {PARLE},
 title = {{Parallel Programming Using Skeleton Functions}},
 year = {1993}
}

@article{Darlington1993b,
 author = {Darlington, J and Field, A and Harrison, P},
 journal = {PARLE},
 number = {3},
 title = {{Parallel programming using skeleton functions}},
 year = {1993}
}

@article{Darmon1995,
 author = {Darmon, Henri and Ha, Canada and Diamond, Fred and Taylor, Richard},
 journal = {Current Developments in Mathematics},
 title = {{Fermat's Last Theorem}},
 volume = {1},
 year = {1995}
}

@inproceedings{Das2015,
 author = {Das, Madan and Southern, Gabriel and Renau, Jose},
 booktitle = {PPoPP},
 title = {{Section Based Program Analysis to Reduce Overhead of Detecting Unsynchronized Thread Communication}},
 year = {2015}
}

@phdthesis{Dastgeer2011,
 author = {Dastgeer, U.},
 title = {{Skeleton Programming for Heterogeneous GPU-based Systems}},
 year = {2011}
}

@inproceedings{Dastgeer2011b,
 author = {Dastgeer, U. and Enmyren, J. and Kessler, C. W.},
 booktitle = {IWMSE},
 publisher = {ACM},
 title = {{Auto-tuning SkePU: a Multi-Backend Skeleton Programming Framework for Multi-GPU Systems}},
 year = {2011}
}

@misc{Dastgeer2013,
 author = {Dastgeer, U. and Li, L. and Kessler, C.},
 booktitle = {APPT},
 publisher = {Springer},
 title = {{Adaptive Implementation Selection in the SkePU Skeleton Programming Library}},
 year = {2013}
}

@phdthesis{Dastgeer2014,
 author = {Dastgeer, U},
 title = {{Performance-aware Component Composition for GPU-based systems}},
 year = {2014}
}

@article{Dastgeer2015a,
 author = {Dastgeer, U. and Kessler, C.},
 journal = {IJPP},
 publisher = {Springer},
 title = {{Smart Containers and Skeleton Programming for GPU-Based Systems}},
 year = {2015}
}

@misc{David2001,
 author = {David, A.},
 title = {{SLOCCount}},
 year = {2001}
}

@inproceedings{David2016a,
 address = {Santa Barbara, CA},
 author = {David, Yaniv and Yahav, Eran},
 booktitle = {PLDI},
 number = {212},
 publisher = {ACM},
 title = {{Statistical Similarity of Binaries}},
 volume = {1},
 year = {2016}
}

@article{David2019,
 author = {David, Y. and Alon, U. and Yahav, E.},
 journal = {arXiv:1902.09122},
 title = {{Neural Reverse Engineering of Stripped Binaries}},
 year = {2019}
}

@article{Dean2008,
 author = {Dean, Jeffrey and Ghemawat, Sanjay},
 journal = {Communications of the ACM},
 number = {1},
 title = {{MapReduce: Simplified Data Processing on Large Clusters}},
 volume = {51},
 year = {2008}
}

@article{DeBoom2018,
 author = {{De Boom}, C. and Dhoedt, B. and Demeester, T.},
 journal = {arXiv:1801.00632},
 title = {{Character-level Recurrent Neural Networks in Practice: Comparing Training and Sampling Schemes}},
 year = {2018}
}

@inproceedings{Defferrard2016,
 author = {Defferrard, M. and Bresson, X. and Vandergheynst, P.},
 booktitle = {NIPS},
 title = {{Convolutional Neural Networks on Graphs with Fast Localized Spectral Filtering}},
 year = {2016}
}

@inproceedings{DeMesmay2009,
 author = {{De Mesmay}, F. and Rimmel, A. and Voronenko, Y. and Puschel, M.},
 booktitle = {ICML},
 publisher = {PMLR},
 title = {{Bandit-Based Optimization on Graphs with Application to Library Performance Tuning}},
 year = {2009}
}

@article{Demme2012,
 author = {Demme, J. and Sethumadhavan, S.},
 journal = {TACO},
 number = {4},
 publisher = {ACM},
 title = {{Approximate Graph Clustering for Program Characterization}},
 volume = {8},
 year = {2012}
}

@inproceedings{Deng2009a,
 author = {Deng, J. and Dong, W. and Socher, R. and Li, L. and Li, K. and Fei-fei, L.},
 booktitle = {CVPR},
 publisher = {IEEE},
 title = {{ImageNet: a Large-Scale Hierarchical Image Database}},
 year = {2009}
}

@article{Deshpandea,
 author = {Deshpande, A. and Rock, J. and Forsyth, D.},
 title = {{Learning Large-Scale Automatic Image Colorization}}
}

@article{Devlin1993,
 author = {Devlin, Keith and Gouvea, Fernando and Granville, Andrew},
 journal = {Focus},
 number = {3},
 title = {{Fermat's Last Theorem, a theorem at last}},
 volume = {13},
 year = {1993}
}

@article{Devlin2019,
 author = {Devlin, J. and Chang, M. and Lee, K. and Toutanova, K.},
 journal = {arXiv:1810.04805},
 title = {{BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding}},
 year = {2019}
}

@article{Dezani-ciancaglini2010,
 author = {Dezani-ciancaglini, Mariangiola and Liguoro, Ugo De},
 journal = {Web Services and Formal Methods},
 publisher = {Springer},
 title = {{Sessions and Session Types: An Overview}},
 year = {2010}
}

@inproceedings{Dhok2016,
 author = {Dhok, M. and Ramanathan, M. K.},
 booktitle = {FSE},
 publisher = {ACM},
 title = {{Directed Test Generation to Detect Loop Inefficiencies}},
 year = {2016}
}

@inproceedings{Diego,
 author = {Saygin, A. P. and C

repository: ChrisCummins/ProGraML

license_type: permissive

repo_name: ChrisCummins/ProGraML

branch_name: refs/heads/development

gha_license_id: NOASSERTION

extension: bib