text:
title = {{Functional Programming HOWTO}},
 year = {2016}
}

@article{Rossum2012f,
 author = {Rossum, Guido Van},
 title = {{Unicode HOWTO}},
 year = {2016}
}

@article{Rossum2012g,
 author = {Rossum, Guido Van},
 title = {{HOWTO Fetch Internet Resources Using The urllib Package}},
 year = {2016}
}

@article{Rossum2014,
 author = {Rossum, Guido Van},
 title = {{Argparse Tutorial}},
 year = {2016}
}

@article{Rossum2014a,
 author = {Rossum, Guido Van},
 title = {{Argument Clinic How-To}},
 year = {2016}
}

@article{Rossum2014b,
 author = {Rossum, Guido Van},
 title = {{Sorting HOW TO}},
 year = {2016}
}

@article{Rossum2014c,
 author = {Rossum, Guido Van},
 title = {{An introduction to the ipaddress module}},
 year = {2016}
}

@article{Rossum2014d,
 author = {Rossum, Guido Van},
 title = {{Python Setup and Usage}},
 year = {2016}
}

@article{Rossum2015,
 author = {Rossum, Guido Van},
 title = {{Python Frequently Asked Questions}},
 year = {2016}
}

@article{Rossum2016,
 author = {Rossum, Guido Van},
 title = {{Porting Extension Modules to Python}},
 year = {2016}
}

@techreport{Rovatsou2015,
 author = {{Khronos OpenCL Group Inc}},
 title = {{SYCL Specification Vesion 1.2}},
 year = {2015}
}

@inproceedings{Rubin2014,
 author = {Rubin, Norm},
 booktitle = {CGO},
 publisher = {IEEE},
 title = {{Heterogeneous computing - What Does It Mean for Compiler Research}},
 year = {2014}
}

@inproceedings{Rul2010,
 author = {Rul, S. and Vandierendonck, H. and Haene, J. D. and Bosschere, K. D.},
 booktitle = {SAAHPC},
 title = {{An Experimental Study on Performance Portability of OpenCL Kernels}},
 year = {2010}
}

@article{Rumelhart1986,
 author = {Rumelhart, D. E. and Hinton, G. E. and Williams, R. J.},
 journal = {Nature},
 title = {{Learning Representations by Back-propagating Errors}},
 volume = {323},
 year = {1986}
}

@inproceedings{Runciman2008,
 author = {Runciman, C. and Naylor, M. and Lindblad, F.},
 booktitle = {Haskell},
 publisher = {ACM},
 title = {{SmallCheck and Lazy SmallCheck Automatic Exhaustive Testing for Small Values}},
 year = {2008}
}

@inproceedings{Runciman2014,
 author = {Trilla, Jose Manuel Calderon and Runciman, Colin},
 booktitle = {IFL},
 title = {{An Iterative Compiler for Implicit Parallelism}},
 year = {2014}
}

@inproceedings{Rupp2010,
 author = {Rupp, Karl and Rudolf, Florian and Weinbub, J},
 booktitle = {GPUScA},
 title = {{ViennaCL-a high level linear algebra library for GPUs and multi-core CPUs}},
 year = {2010}
}

@article{Russ2016,
 author = {Russ, B and Mike, M and Steve, H},
 title = {{GCHQ: BOILING FROGS ?}},
 year = {2016}
}

@article{Rusu2016a,
 author = {Rusu, A. A. and Rabinowitz, N. C. and Desjardins, G. and Soyer, H. and Kirkpatrick, J. and Kavukcuoglu, K. and Pascanu, R. and Hadsell, R.},
 journal = {arXiv:1606.04671},
 title = {{Progressive Neural Networks}},
 year = {2016}
}

@article{Ryabko2016,
 author = {Ryabko, D},
 journal = {arXiv:1610.08239},
 title = {{Things Bayes can't do}},
 year = {2016}
}

@inproceedings{Ryoo2008,
 author = {Ryoo, S. and Rodrigues, C. I. and Stone, S. S. and Baghsorkhi, S. S. and Ueng, S. and Stratton, J. A. and Hwu, W. W.},
 booktitle = {CGO},
 publisher = {IEEE},
 title = {{Program Optimization Space Pruning for a Multithreaded GPU}},
 year = {2008}
}

@inproceedings{Ryoo2008a,
 author = {Ryoo, S. and Rodrigues, C. I. and Baghsorkhi, S. S. and Stone, S. S. and Kirk, D. B. and Hwu, W. W.},
 booktitle = {PPoPP},
 title = {{Optimization Principles and Application Performance Evaluation of a Multithreaded GPU Using CUDA}},
 year = {2008}
}

@inproceedings{Ryoo2015,
 author = {Ryoo, J. H. and Quirem, S. J. and Lebeane, M. and Panda, R. and Song, S. and John, L. K.},
 booktitle = {ICPP},
 publisher = {ACM},
 title = {{GPGPU Benchmark Suites: How Well Do They Sample the Performance Spectrum?}},
 year = {2015}
}

@article{Saclay2010,
 author = {Fursin, G. and Temam, O.},
 journal = {TACO},
 number = {4},
 title = {{Collective Optimization: A Practical Collaborative Approach}},
 volume = {7},
 year = {2010}
}

@inproceedings{Saeed,
 author = {Saeed, I.},
 booktitle = {PPoPP},
 title = {{A Portable Benchmark Suite for Highly Parallel Data Intensive Query Processing}},
 year = {2015}
}

@inproceedings{Sahoo2013,
 author = {Sahoo, S. K. and Criswell, J. and Geigle, C. and Adve, V.},
 booktitle = {ASPLOS},
 title = {{Using Likely Invariants for Automated Software Fault Localization}},
 year = {2013}
}

@inproceedings{Saillard2015,
 author = {Saillard, E. and Carribault, P. and Barthou, D.},
 booktitle = {PPoPP},
 title = {{Static / Dynamic Validation of MPI Collective Communications in Multi-threaded Context}},
 year = {2015}
}

@inproceedings{Sainath2015,
 author = {Sainath, T. N. and Vinyals, O. and Senior, A. and Sak, H.},
 booktitle = {ICASSP},
 title = {{Convolutional, Long Short-Term Memory, fully connected Deep Neural Networks}},
 volume = {2015-Augus},
 year = {2015}
}

@article{Sak2014,
 author = {Sak, H. and Senior, A. and Beaufays, F.},
 journal = {arXiv:1402.1128},
 title = {{Long Short-Term Memory Based Recurrent Neural Network Architectures for Large Vocabulary Speech Recognition}},
 year = {2014}
}

@inproceedings{Sakellariou2001,
 author = {Ripeanu, M. and Iamnitchi, A. and Foster, I.},
 booktitle = {Euro-Par},
 title = {{Cactus application: Performance predictions in grid environments}},
 year = {2001}
}

@inproceedings{Salimans2016a,
 author = {Salimans, T. and Goodfellow, I. and Zaremba, W. and Cheung, V. and Radford, A. and Chen, Xi},
 booktitle = {NIPS},
 title = {{Improved Techniques for Training GANs}},
 year = {2016}
}

@article{Saltz1991,
 author = {Saltz, Joel H and Mirchandaney, Ravi and Crowley, Kay},
 journal = {TC},
 number = {5},
 publisher = {IEEE},
 title = {{Run-time parallelization and scheduling of loops}},
 volume = {40},
 year = {1991}
}

@article{Samanta2018,
 author = {Samanta, B. and De, A. and Ganguly, N. and Gomez-Rodriguez, M.},
 journal = {arXiv:1802.05283},
 title = {{Designing Random Graph Models Using Variational Autoencoders With Applications to Chemical Design}},
 year = {2018}
}

@inproceedings{Sampson2017,
 author = {Sampson, A. and McKinley, K. S. and Mytkowicz, T.},
 booktitle = {OOPSLA},
 title = {{Static Stages for Heterogeneous Programming}},
 year = {2017}
}

@inproceedings{Sanchez-Gonzalez2018,
 author = {Sanchez-Gonzalez, A. and Heess, N. and Springenberg, J. T. and Merel, J. and Riedmiller, M. and Hadsell, R. and Battaglia, P.},
 booktitle = {ICML},
 publisher = {PMLR},
 title = {{Graph Networks as Learnable Physics Engines for Inference and Control}},
 year = {2018}
}

@article{Sander2012,
 author = {Sander, Ben},
 journal = {AMD Fusion Developer Summit},
 title = {{Bolt: A C++ Templater Library for HSA}},
 volume = {12},
 year = {2012}
}

@article{Sands,
 author = {Sands, Duncan},
 title = {{Super-optimizing LLVM IR}}
}

@inproceedings{Santambrogio2010,
 author = {Santambrogio, M D and Hoffmann, H and Eastep, J and Agarwal, A},
 booktitle = {AHS},
 month = {jun},
 publisher = {Ieee},
 title = {{Enabling technologies for self-aware adaptive systems}},
 year = {2010}
}

@book{Santner2013,
 author = {Santner, Thomas J and Williams, Brian J and Notz, William I},
 publisher = {Springer Science {\&} Business Media},
 title = {{The Design and Analysis of Computer Experiments}},
 year = {2013}
}

@article{Santoro2017,
 author = {Santoro, A. and Raposo, D. and Barrett, D. G. T. and Malinowski, M. and Pascanu, R. and Battaglia, P. and Lillicrap, T.},
 journal = {arXiv:1706.01427},
 title = {{A Simple Neural Network Module for Relational Reasoning}},
 year = {2017}
}

@article{Santos2017,
 author = {Santos, E. A. and Campbell, J. C. and Hindle, A. and Amaral, N.},
 journal = {PeerJ Preprints},
 title = {{Finding and correcting syntax errors using recurrent neural networks}},
 year = {2017}
}

@article{Sarkar,
 author = {Sarkar, V. and Fleming, S. and Bacon, D. and Field, J. and Rogers, I. and Smith, R.},
 journal = {Google Fellowship Proposal},
 title = {{Software Modernization via Code Mining}}
}

@article{Sasnauskas2017,
 author = {Sasnauskas, R. and Chen, Y. and Collingbourne, P. and Ketema, J. and Lup, G. and Taneja, J. and Regehr, J.},
 journal = {arXiv:1711.04422},
 title = {{Souper: A Synthesizing Superoptimizer}},
 year = {2017}
}

@article{Scaife2005,
 author = {Scaife, N. and Horiguchi, S. and Michaelson, G. and Bristow, P.},
 journal = {Journal of Functional Programming},
 number = {4},
 title = {{A parallel SML compiler based on algorithmic skeletons}},
 volume = {15},
 year = {2005}
}

@article{Scanniello2017,
 author = {Scanniello, G. and Risi, M. and Tramontana, P. and Romano, S.},
 journal = {TOSEM},
 number = {2},
 title = {{Fixing Faults in C and Java Source Code: Abbreviated vs. Full-word Identifier Names}},
 volume = {26},
 year = {2017}
}

@article{Scarselli2009,
 author = {Scarselli, S. and Gori, M. and Tsoi, A. C. and Hagenbuchner, M. and Monfardini, G.},
 journal = {IEEE Transactions on Neural Networks},
 number = {1},
 title = {{The Graph Neural Network Model}},
 volume = {20},
 year = {2009}
}

@article{Schaarschmidt2018,
 author = {Schaarschmidt, M. and Kuhnle, A. and Ellis, B. and Fricke, K. and Gessert, F. and Yoneki, E.},
 journal = {arXiv:1808.07903},
 title = {{LIFT: Reinforcement Learning in Computer Systems by Learning From Demonstrations}},
 year = {2018}
}

@article{Schadd2008,
 author = {Schadd, M. P. D. and Winands, M. H. M. and van den Herik, H. J. and Chaslot, G. M. J. B. and Uiterwijk, J. W. H. M.},
 title = {{Single-Player Monte-Carlo Tree Search}},
 year = {2008}
}

@inproceedings{Schkufza2013,
 author = {Schkufza, E. and Sharma, R. and Aiken, A.},
 booktitle = {ASPLOS},
 publisher = {ACM},
 title = {{Stochastic superoptimization}},
 year = {2013}
}

@inproceedings{Schlichtkrull2018a,
 author = {Schlichtkrull, M. and Kipf, T. N. and Bloem, P. and van den Berg, R. and Titov, I. and Welling, M.},
 booktitle = {ESWC},
 title = {{Modeling Relational Data with Graph Convolutional Networks}},
 year = {2018}
}

@article{Schmidhuber2014,
 author = {Schmidhuber, J.},
 journal = {Neural networks},
 title = {{Deep Learning in Neural Networks: An Overview}},
 year = {2014}
}

@misc{Schroeder1989,
 author = {{University of Edinburgh}},
 title = {{12. Number theory}},
 volume = {8},
 year = {2015}
}

@misc{Schulman2016,
 author = {Schulman, J.},
 title = {{The Nuts and Bolts of Deep RL Research}},
 year = {2016}
}

@inproceedings{Sedaghati2015,
 author = {Sedaghati, Naser and Parthasarathy, Srinivasan},
 booktitle = {PPoPP},
 title = {{Characterizing Dataset Dependence for Sparse Matrix-Vector Multiplication on GPUs}},
 year = {2015}
}

@phdthesis{Seeker2017,
 author = {Seeker, V.},
 school = {University of Edinburgh},
 title = {{User Experience Driven CPU Frequency Scaling On Mobile Devices Towards Better Energy Efficiency Volker Seeker}},
 year = {2017}
}

@article{Seff2017,
 author = {Seff, A. and Beatson, A. and Suo, D. and Liu, H.},
 journal = {arXiv:1705.08395},
 title = {{Continual Learning in Generative Adversarial Nets}},
 year = {2017}
}

@article{Segler2018,
 author = {Segler, M. H. S. and Preuss, M. and Waller, M. P.},
 journal = {Nature},
 number = {7698},
 publisher = {Nature Publishing Group},
 title = {{Planning Chemical Syntheses with Deep Neural Networks and Symbolic AI}},
 volume = {555},
 year = {2018}
}

@article{Sejnowski2020,
 author = {Sejnowski, Terrence J.},
 journal = {Proceedings of the National Academy of Sciences},
 title = {{The unreasonable effectiveness of deep learning in artificial intelligence}},
 year = {2020}
}

@article{Sellappa2004,
 author = {Sellappa, S. and Chatterjee, S.},
 journal = {IJHPCA},
 title = {{Cache-Efficient Multigrid Algorithms}},
 volume = {18},
 year = {2004}
}

@inproceedings{Seo2011,
 author = {Seo, S. and Jo, G. and Lee, J.},
 booktitle = {IISWC},
 publisher = {IEEE},
 title = {{Performance Characterization of the NAS Parallel Benchmarks in OpenCL}},
 year = {2011}
}

@inproceedings{Seo2013,
 author = {Seo, Sangmin and Lee, Jun and Jo, Gangwon and Lee, Jaejin},
 booktitle = {PACT},
 publisher = {ACM},
 title = {{Automatic OpenCL work-group size selection for multicore CPUs}},
 year = {2013}
}

@article{Serot1999,
 author = {S{\'{e}}rot, J and Ginhac, D and D{\'{e}}rutin, JP},
 journal = {Parallel Computing Technologies},
 number = {1998},
 title = {{SKiPPER: a skeleton-based parallel programming environment for real-time image processing applications}},
 volume = {1662},
 year = {1999}
}

@inproceedings{Sethia2013,
 author = {Sethia, A. and Dasika, G. and Samadi, M. and Mahlke, S.},
 booktitle = {PACT},
 publisher = {ACM},
 title = {{APOGEE: Adaptive Prefetching On GPU}},
 year = {2013}
}

@article{Shahriari2016,
 author = {Shahriari, B. and Swersky, K. and Wang, Z. and Adams, R. P. and de Freitas, N.},
 journal = {Proceedings of the IEEE},
 number = {1},
 title = {{Taking the Human Out of the Loop: A Review of Bayesian Optimization}},
 volume = {104},
 year = {2016}
}

@phdthesis{Shalev-shwartz2007,
 author = {Shalev-Shwartz, S.},
 number = {July},
 title = {{Online Learning: Theory, Algorithms, and Applications}},
 year = {2007}
}

@article{Shalev-Shwartz2017,
 author = {Shalev-Shwartz, S. and Shamir, O. and Shammah, S.},
 journal = {arXiv:1703.07950},
 title = {{Failures of Deep Learning}},
 year = {2017}
}

@inproceedings{Shan,
 author = {Shan, H. and Williams, S. and Jong, W. D. and Oliker, L.},
 booktitle = {PPoPP},
 title = {{Thread-Level Parallelization and Optimization of NWChem for the Intel MIC Architecture Categories and Subject Descriptors}},
 year = {2015}
}

@misc{Shannon1993,
 author = {Shannon, Bill},
 title = {{C Style and Coding Standards for SunOS C Style and Coding Standards for SunOS}},
 year = {1993}
}

@inproceedings{Sharifi,
 author = {Sharifi, H. and Aaziz, O. and Cook, J.},
 booktitle = {PPoPP},
 title = {{Monitoring HPC Applications in the Production Environment}},
 year = {2015}
}

@inproceedings{Sharma2015,
 author = {LSharma, R. and Bauer, M. and Aiken, A.},
 booktitle = {PLDI},
 publisher = {ACM},
 title = {{Verification of Producer-Consumer Synchronization in GPU Programs}},
 year = {2015}
}

@article{Shasha1988,
 author = {Shasha, Dennis and Snir, Marc},
 journal = {TOPLAS},
 number = {2},
 title = {{Efficient and Correct Execution of Parallel Programs that Share Memory}},
 volume = {10},
 year = {1988}
}

@inproceedings{Shazeer2017,
 author = {Shazeer, N. and Mirhoseini, A. and Maziarz, K. and Davis, A. and Le, Q. and Dean, J.},
 booktitle = {ICLR},
 title = {{Outrageously Large Neural Networks: the Sparsely Gated Mixture-of-Experts Layer}},
 year = {2017}
}

@inproceedings{Shazeer2017a,
 author = {Shazeer, N. and Mirhoseini, A. and Maziarz, K. and Davis, A. and Le, Q. and Hinton, G. and Dean, J.},
 booktitle = {ICLR},
 title = {{Outrageously Large Neural Networks: The Sparsely-Gated Mixture-of-Experts Layer}},
 year = {2017}
}

@inproceedings{Shazeer2017c,
 author = {Shazeer, N. and Mirhoseini, A. and Maziarz, K. and Davis, A. and Le, Q. and Hinton, G. and Dean, J.},
 booktitle = {ICLR},
 title = {{Outrageously Large Neural Networks: the Sparsely-Gated Mixture-of-Experts Layer}},
 year = {2017}
}

@article{She2018,
 author = {She, D. and Pei, K. and Epstein, D. and Yang, J. and Ray, B. and Jana, S.},
 journal = {arXiv:1807.05620},
 title = {{NEUZZ: Efficient Fuzzing with Neural Program Learning}},
 year = {2018}
}

@article{She2019,
 author = {She, Dongdong and Chen, Yizheng and Shah, Abhishek and Ray, Baishakhi and Jana, Suman},
 journal = {arXiv:1907.03756},
 title = {{Neutaint: Efficient Dynamic Taint Analysis with Neural Networks}},
 year = {2019}
}

@article{Sheridan2007,
 author = {Sheridan, F.},
 journal = {Software: Practice and Experience},
 number = {14},
 publisher = {Wiley Online Library},
 title = {{Practical Testing of a C99 Compiler Using Output Comparison}},
 volume = {37},
 year = {2007}
}

@inproceedings{Shi2015a,
 author = {Shi, X. and Liang, J. and Di, S. and He, B. and Jin, H. and Lu, L. and Wang, Z. and Luo, X. and Zhong, J.},
 booktitle = {PPoPP},
 title = {{Optimization of Asynchronous Graph Processing on GPU with Hybrid Coloring Model}},
 year = {2015}
}

@inproceedings{Shi2015b,
 author = {Shi, X. and Chen, Z. and Wang, H. and Dit-Yan, Y. and Wong, W. and Woo, W. and Yeung, D.},
 booktitle = {NIPS},
 title = {{Convolutional LSTM Network: A Machine Learning Approach for Precipitation Nowcasting}},
 year = {2015}
}

@article{Shieber1994,
 author = {Shieber, S.},
 journal = {Communications of the ACM},
 number = {6},
 title = {{Lessons from a Restricted Turing Test}},
 volume = {37},
 year = {1994}
}

@article{Shin2019,
 author = {Shin, Richard and Kant, Neel and Gupta, Kavi and Bender, Christopher and Trabucco, Brandon and Singh, Rishabh and Song, Dawn},
 journal = {7th International Conference on Learning Representations, ICLR 2019},
 title = {{Synthetic datasets for neural program synthesis}},
 year = {2019}
}

@misc{Shivers1991,
 author = {Shivers, Olin},
 number = {May},
 title = {{Control-Flow Analysis of Higher-Order Languages}},
 year = {1991}
}

@article{Shotts2013,
 author = {Shotts, William E. Jr.},
 title = {{The Linux Command Line, 2nd Internet Edition}},
 year = {2013}
}

@inproceedings{Si2018,
 author = {Si, X. and Dai, H. and Raghothaman, M. and Naik, M. and Song, L.},
 booktitle = {NeurIPS},
 title = {{Learning Loop Invariants for Program Verification}},
 year = {2018}
}

@article{Sidwell2012,
 author = {Sidwell, N. and Prus, V. and Alves, P. and Loosemore, S. and Blandy, J.},
 title = {{Non-stop Multi-threaded debugging in GDB}},
 year = {2012}
}

@article{Silva2018,
 author = {Silva, T. W. B. and Morais, D. C. and Andrade, H. G. R. and Lima, A. M. N. and Melcher, E. U. K. and Brito, A. V.},
 journal = {JISA},
 number = {1},
 publisher = {Journal of Internet Services and Applications},
 title = {{Environment for integration of distributed heterogeneous computing systems}},
 volume = {9},
 year = {2018}
}

@misc{Silver2014,
 author = {Silver, D.},
 booktitle = {Courses},
 title = {{Lecture 9 : Exploration and Exploitation}},
 year = {2014}
}

@misc{Silver2015a,
 author = {Silver, D},
 title = {{Reinforcement Learning Exam}},
 year = {2015}
}

@misc{Silver2015c,
 author = {Silver, D.},
 title = {{Reinforcement Learning Exam Answers}},
 year = {2015}
}

@misc{Silver2015d,
 author = {Silver, D.},
 booktitle = {UCL,Computer Science Department, Reinforcement Learning Lectures},
 title = {{Lecture 2 : Markov Decision Processes}},
 url = {http://www0.cs.ucl.ac.uk/staff/d.silver/web/Teaching{\_}files/MDP.pdf},
 year = {2015}
}

@misc{Silver2015f,
 author = {Silver, D.},
 booktitle = {UCL,Computer Science Department, Reinforcement Learning Lectures},
 title = {{Lecture 3 : Planning by Dynamic Programming Outline}},
 year = {2015}
}

@misc{Silver2015g,
 author = {Silver, D.},
 booktitle = {UCL,Computer Science Department, Reinforcement Learning Lectures},
 title = {{Lecture 4 : Model-Free Prediction}},
 year = {2015}
}

@misc{Silver2015h,
 author = {Silver, D.},
 booktitle = {UCL,Computer Science Department, Reinforcement Learning Lectures},
 title = {{Lecture 5 : Model-Free Control}},
 year = {2015}
}

@misc{Silver2015j,
 author = {Silver, D.},
 booktitle = {UCL,Computer Science Department, Reinforcement Learning Lectures},
 title = {{Lecture 6: Value Function Approximation}},
 year = {2015}
}

@misc{Silver2015k,
 author = {Silver, D.},
 booktitle = {UCL,Computer Science Department, Reinforcement Learning Lectures},
 title = {{Lecture 7 : Policy Gradient}},
 year = {2015}
}

@misc{Silver2015l,
 author = {Silver, D.},
 title = {{Lecture 8 : Integrating Learning and Planning}},
 year = {2015}
}

@misc{Silver2015n,
 author = {Silver, D.},
 booktitle = {UCL,Computer Science Department, Reinforcement Learning Lectures},
 title = {{Lecture 10 : Classic Games}},
 year = {2015}
}

@misc{Silver2015p,
 author = {Silver, D.},
 booktitle = {UCL,Computer Science Department, Reinforcement Learning Lectures},
 title = {{Lecture 1 : Introduction to Reinforcement Learning Outline}},
 year = {2015}
}

@article{Silver2016,
 author = {Silver, D. and Huang, A. and Maddison, C. J. and Guez, A. and Sifre, L. and van den Driessche, G. and Schrittwieser, J. and Antonoglou, I. and Panneershelvam, V. and Lanctot, M. and Dieleman, S. and Grewe, D. and Nham, J. and Kalchbrenner, N. and Sutskever, I. and Lillicrap, T. and Leach, M. and Kavukcuoglu, K. and Graepel, T. and Hassabis, D.},
 journal = {Nature},
 number = {7587},
 publisher = {Nature Publishing Group},
 title = {{Mastering the game of Go with deep neural networks and tree search}},
 volume = {529},
 year = {2016}
}

@article{Silver2017a,
 author = {Silver, D. and Schrittwieser, J. and Simonyan, K. and Antonoglou, I. and Huang, A. and Guez, A. and Hubert, T. and Baker, L. and Lai, M. and Bolton, A. and Chen, Y. and Lillicrap, T. and Hui, F. and Sifre, L. and {Van Den Driessche}, G. and Graepel, T. and Hassabis, D.},
 journal = {Nature},
 number = {7676},
 publisher = {Nature Publishing Group},
 title = {{Mastering the game of Go without human knowledge}},
 volume = {550},
 year = {2017}
}

@inproceedings{Sim2012,
 author = {Sim, J. and Dasgupta, A. and Kim, H. and Vuduc, R.},
 booktitle = {PPoPP},
 publisher = {ACM},
 title = {{A Performance Analysis Framework for Identifying Potential Benefits in GPGPU Applications}},
 year = {2012}
}

@article{Simon1994,
 author = {Simon, Daniel R},
 journal = {SICOMP},
 number = {5},
 title = {{On the Power of Quantum Computation}},
 volume = {26},
 year = {1994}
}

@inproceedings{Singh1998,
 author = {Singh, S. and Cohn, D.},
 booktitle = {NIPS},
 publisher = {Citeseer},
 title = {{How to Dynamically Merge Markov Decision Processes}},
 volume = {10},
 year = {1998}
}

@article{Singh2017,
 author = {Singh, R. and Kohli, P.},
 journal = {SNAPL},
 title = {{AP: Artificial Programming}},
 year = {2017}
}

@inproceedings{Singh2019,
 author = {Singh, G. and Gehr, T. and P{\"{u}}schel, M. and Vechev, M.},
 booktitle = {POPL},
 title = {{An Abstract Domain for Certifying Neural Networks}},
 year = {2019}
}

@article{Skillicorn1998,
 author = {Skillicorn, David B. and Talia, Domenico},
 journal = {CSUR},
 number = {2},
 title = {{Models and languages for parallel computation}},
 volume = {30},
 year = {1998}
}

@article{Slee2007,
 author = {Slee, M. and Agarwal, A. and Kwiatkowski, M.},
 journal = {Facebook White Paper},
 number = {8},
 title = {{Thrift: Scalable cross-language services implementation}},
 volume = {5},
 year = {2007}
}

@inproceedings{Smith,
 author = {Smith, C.},
 booktitle = {PLDI},
 publisher = {ACM},
 title = {{MapReduce Program Synthesis}},
 year = {2016}
}

@article{Smith1999,
 author = {Smith, Alan Jay},
 journal = {Computer},
 number = {4},
 title = {{The Task of the Referee}},
 volume = {23},
 year = {1999}
}

@inproceedings{Snoek2012b,
 author = {Snoek, J. and Larochelle, H. and Adams, R. P.},
 booktitle = {NIPS},
 title = {{Practical Bayesian Optimization of Machine Learning Algorithms}},
 year = {2012}
}

@article{Sokolova2009,
 author = {Sokolova, Marina and Lapalme, Guy},
 journal = {Information Processing and Management},
 number = {4},
 publisher = {Elsevier Ltd},
 title = {{A systematic analysis of performance measures for classification tasks}},
 volume = {45},
 year = {2009}
}

@inproceedings{Solomonik2010,
 author = {Solomonik, E. and Kal, L. V.},
 booktitle = {IPDPS},
 title = {{Highly Scalable Parallel Sorting}},
 year = {2010}
}

@article{Sontag1991a,
 author = {Siegelmann, H. T. and Sontag, E. D.},
 journal = {Applied Mathematics Letters},
 number = {6},
 title = {{Turing Computability with Neural Networks}},
 volume = {4},
 year = {1991}
}

@inproceedings{Sorensen2016,
 author = {Sorensen, T. and Donaldson, A.},
 booktitle = {PLDI},
 publisher = {ACM},
 title = {{Exposing Errors Related to Weak Memory in GPU Applications}},
 year = {2016}
}

@inproceedings{Spafford2010,
 author = {Spafford, Kyle and Meredith, Jeremy and Vetter, Jeffrey},
 booktitle = {Euro-Par},
 title = {{Maestro: Data orchestration and tuning for OpenCL devices}},
 year = {2010}
}

@inproceedings{Spampinato2014,
 author = {Spampinato, D. G. and P{\"{u}}schel, M.},
 booktitle = {CGO},
 publisher = {IEEE},
 title = {{A Basic Linear Algebra Compiler}},
 year = {2014}
}

@article{Spath2019,
 author = {Sp{\"{a}}th, Johannes and Ali, Karim and Bodden, Eric},
 journal = {Proceedings of the ACM on Programming Languages},
 number = {POPL},
 title = {{Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems}},
 volume = {3},
 year = {2019}
}

@article{Spector2002,
 author = {Spector, Lee and Robinson, Alan},
 journal = {GPEM},
 number = {1},
 title = {{Genetic Programming and Autoconstructive Evolution with the Push Programming Language}},
 volume = {3},
 year = {2002}
}

@inproceedings{Spector2005,
 author = {Spector, L. and Klein, J. and Keijzer, M.},
 booktitle = {GECCO},
 title = {{The Push3 execution stack and the evolution of control}},
 year = {2005}
}

@inproceedings{Spiegelman2016,
 address = {Santa Barbara, CA},
 author = {Spiegelman, Alexander and Golan-gueta, Guy and Keidar, Idit},
 booktitle = {PLDI},
 publisher = {ACM},
 title = {{Transactional Data Structure Libraries}},
 year = {2016}
}

@inproceedings{Spieker2017,
 author = {Spieker, Helge and Gotlieb, Arnaud and Marijan, Dusica and Mossige, Morten},
 booktitle = {ISSTA},
 title = {{Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration}},
 year = {2017}
}

@misc{Spolsky2003,
 author = {Spolsky, Joel},
 title = {{The absolute minimum every software developer absolutely, positively must know about unicode and character sets (no excuses!)}},
 url = {http://intra.iam.hva.nl/content/1112/verdieping2/internetstandaarden{\_}2/intro-en-materiaal/06-The-Absolute-Minimum-Every-Software-Developer-Absolutely-Positively-Must-Know-About-Unicode-and-Character-Sets-(No-Excuses)-Joel-on-Software.pdf},
 year = {2003}
}

@article{Squires1984,
 author = {Kelly, W. and Pugh, W.},
 title = {{A framework for unifying reordering transformations}},
 year = {1998}
}

@incollection{Squyres2014,
 author = {Squyres, Jeffrey M},
 booktitle = {The Architecture of Open Source Applications},
 number = {Volume 2},
 title = {{Open MPI}},
 volume = {2},
 year = {2014}
}

@article{Srivastava2014,
 author = {Srivastava, N. and Hinton, G. and Krizhevsky, A. and Sutskever, I. and Salakhutdinov, R.},
 journal = {JMLR},
 title = {{Dropout: A Simple Way to Prevent Neural Networks from Overfitting}},
 volume = {15},
 year = {2014}
}

@inproceedings{Srivastava2015,
 author = {Srivastava, N. and Mansimov, E. and Salakhutdinov, R.},
 booktitle = {ICML},
 publisher = {PMLR},
 title = {{Unsupervised Learning of Video Representations using LSTMs}},
 year = {2015}
}

@article{Stefan2010,
 author = {Stefan, Melanie},
 journal = {Nature},
 number = {7322},
 title = {{A CV of failures}},
 volume = {468},
 year = {2010}
}

@inproceedings{Stephenson2003,
 author = {Stephenson, M. and Martin, M. and Reilly, U. O.},
 booktitle = {PLDI},
 publisher = {ACM},
 title = {{Meta Optimization: Improving Compiler Heuristics with Machine Learning}},
 year = {2003}
}

@inproceedings{Stephenson2005,
 author = {Stephenson, M. and Amarasinghe, S.},
 booktitle = {CGO},
 publisher = {IEEE},
 title = {{Predicting Unroll Factors Using Supervised Classification}},
 year = {2005}
}

@inproceedings{Steuwer2011,
 author = {Steuwer, Michel and Kegel, Philipp and Gorlatch, Sergei},
 booktitle = {IPDPSW},
 month = {may},
 publisher = {IEEE},
 title = {{SkelCL - A Portable Skeleton Library for High-Level GPU Programming}},
 year = {2011}
}

@inproceedings{Steuwer2012,
 author = {Steuwer, Michel and Kegel, Philipp and Gorlatch, Sergei},
 booktitle = {IPDPSW},
 month = {may},
 publisher = {IEEE},
 title = {{Towards High-Level Programming of Multi-GPU Systems Using the SkelCL Library}},
 year = {2012}
}

@article{Steuwer2013,
 author = {Steuwer, Michel and Gorlatch, Sergei},
 journal = {Procedia Computer Science},
 month = {jan},
 publisher = {Elsevier B.V.},
 title = {{High-level Programming for Medical Imaging on Multi-GPU Systems Using the SkelCL Library}},
 volume = {18},
 year = {2013}
}

@article{Steuwer2013a,
 author = {Steuwer, Michel and Gorlatch, Sergei},
 journal = {Parallel Computing Technologies},
 publisher = {Springer Berlin Heidelberg},
 title = {{SkelCL: Enhancing OpenCL for High-Level Programming of Multi-GPU Systems}},
 volume = {7979},
 year = {2013}
}

@article{Steuwer2014,
 author = {Steuwer, M. and Friese, M. and Albers, S. and Gorlatch, S.},
 journal = {IJPP},
 title = {{Introducing and implementing the allpairs skeleton for programming multi-GPU Systems}},
 volume = {42},
 year = {2014}
}

@article{Steuwer2015,
 author = {Steuwer, M. and Fensch, C. and Dubach, C.},
 journal = {arXiv:1502.02389},
 title = {{Patterns and Rewrite Rules for Systematic Code Generation From High-Level Functional Patterns to High-Performance OpenCL Code}},
 year = {2015}
}

@phdthesis{Steuwer2015a,
 author = {Steuwer, Michel},
 title = {{Improving Programmability and Performance Portability on many-core processors}},
 year = {2015}
}

@inproceedings{Steuwer2016,
 author = {Steuwer, M. and Remmelg, T. and Dubach, C.},
 title = {{Matrix Multiplication Beyond Auto-Tuning: Rewrite-based GPU Code Generation}},
 year = {2016}
}

@inproceedings{Steuwer2017,
 author = {Steuwer, M. and Dubach, C.},
 booktitle = {CGO},
 publisher = {IEEE},
 title = {{Lift: A Functional Data-Parallel IR for High-Performance GPU Code Generation}},
 year = {2017}
}

@misc{Stirling,
 author = {{University of Edinburgh}},
 number = {Chapter 7},
 title = {{27. Random variables, Expectation, and Variance}},
 volume = {7},
 year = {2015}
}

@misc{Stirlinga,
 author = {{University of Edinburgh}},
 number = {Chapter 7},
 title = {{26. Conditional probabability {\&} Bayes' theorem}},
 volume = {7},
 year = {2015}
}

@misc{Stirlingb,
 author = {{University of Edinburgh}},
 number = {Chapter 7},
 title = {{30. Ramsey numbers}},
 volume = {7},
 year = {2015}
}

@article{Stock2012,
 author = {Stock, K. and Pouchet, L. and Sadayappan, P.},
 journal = {TACO},
 title = {{Using Machine Learning to Improve Automatic Vectorization Vectorization}},
 year = {2012}
}

@article{Stone2010,
 author = {Stone, J. E. and Gohara, D. and Shi, G.},
 journal = {CS{\&}E},
 number = {3},
 title = {{OpenCL: A Parallel Programming Standard for Heterogeneous Computing Systems}},
 volume = {12},
 year = {2010}
}

@misc{Stork1982,
 author = {{University of Edinburgh}},
 title = {{07. Functions}},
 volume = {1297},
 year = {2015}
}

@article{Stratton2012,
 author = {Stratton, J. A. and Rodrigues, C. and Sung, I. and Obeid, N. and Chang, L. and Anssari, N. and Liu, G. D. and Hwu, W. W.},
 journal = {Center for Reliable and High-Performance Computing},
 title = {{Parboil: A Revised Benchmark Suite for Scientific and Commercial Throughput Computing}},
 year = {2012}
}

@techreport{Striegnitz2000,
 author = {Striegnitz, J},
 number = {September},
 title = {{Making C ++ Ready for Algorithmic Skeletons}},
 volume = {2000},
 year = {2000}
}

@article{Strobelt2016,
 author = {Strobelt, H. and Gehrmann, S. and Huber, B. and Pfister, H. and Rush, A. M.},
 journal = {arXiv:1606.07461},
 month = {jun},
 title = {{Visual Analysis of Hidden State Dynamics in Recurrent Neural Networks}},
 year = {2016}
}

@article{Stroustrup2010,
 author = {Stroustrup, Bjarne},
 title = {{"New" Value Terminology}},
 year = {2010}
}

@book{Stroustrup2013,
 author = {Stroustrup, Bjarne},
 title = {{The C ++ Programming Language}},
 year = {2013}
}

@inproceedings{Strzodka2010,
 author = {Strzodka, Robert and Shaheen, Mohammed and Pajak, D},
 booktitle = {SC},
 publisher = {ACM},
 title = {{Cache oblivious parallelograms in iterative stencil computations}},
 year = {2010}
}

@inproceedings{Stuart2011,
 author = {Stuart, Jeff A. and Owens, John D.},
 booktitle = {IPDPS},
 title = {{Multi-GPU MapReduce on GPU clusters}},
 year = {2011}
}

@article{Study,
 author = {{Embecosm Limited}},
 title = {{Superoptimization: Feasibility Study}}
}

@inproceedings{Su2013,
 author = {Su, Yu and Ye, Ding and Xue, Jingling},
 booktitle = {HiPC},
 title = {{Accelerating Inclusion-based Pointer Analysis on Heterogeneous CPU-GPU Systems}},
 year = {2013}
}

@inproceedings{Sui2016a,
 author = {Sui, X. and Lenharth, A. and Fussell, D. S. and Pingali, K.},
 booktitle = {ASPLOS},
 publisher = {ACM},
 title = {{Proactive Control of Approximate Programs}},
 year = {2016}
}

@article{Sujeeth2014,
 author = {Sujeeth, A. K. and Brown, K. J. and Lee, H. and Rompf, T. and Chafi, H. and Odersky, M. and Olukotun, K.},
 journal = {TECS},
 number = {4s},
 title = {{Delite: A Compiler Architecture for Performance-Oriented Embedded Domain-Specific Languages}},
 volume = {13},
 year = {2014}
}

@inproceedings{Sun2016,
 author = {Sun, C. and Le, V. and Zhang, Q. and Su, Z.},
 booktitle = {ISSTA},
 title = {{Toward Understanding Compiler Bugs in GCC and LLVM}},
 year = {2016}
}

@inproceedings{Sun2016a,
 author = {Sun, C. and Le, V. and Su, Z.},
 booktitle = {OOPSLA},
 title = {{Finding Compiler Bugs via Live Code Mutation}},
 year = {2016}
}

@inproceedings{Sundermeyer2012,
 author = {Sundermeyer, M. and Schl, R. and Ney, H.},
 booktitle = {Interspeech},
 title = {{LSTM Neural Networks for Language Modeling}},
 year = {2012}
}

@inproceedings{Sura2005,
 author = {Sura, Z and Fang, X and Wong, CL and Midkiff, SP},
 booktitle = {PPoPP},
 title = {{Compiler techniques for high performance sequentially consistent java programs}},
 year = {2005}
}

@inproceedings{Sutskever2014,
 author = {Sutskever, I. and Vinyals, O. and Le, Q. V.},
 booktitle = {NIPS},
 title = {{Sequence to Sequence Learning with Neural Networks}},
 year = {2014}
}

@misc{Swanson2004,
 title = {{Weka Primer}},
 year = {2004}
}

@article{Swersky2014,
 author = {Swersky, K. and Snoek, J. and Adams, R. P.},
 journal = {arXiv:1406.3896},
 title = {{Freeze-Thaw Bayesian Optimization}},
 year = {2014}
}

@article{System2004,
 author = {System, Optimization},
 journal = {Journal of Instruction-Level Parallelism},
 number = {4},
 title = {{Design and Implementation of a Lightweight Dynamic Optimization System}},
 volume = {6},
 year = {2004}
}

@article{Tai2015a,
 author = {Tai, K. S. and Socher, R. and Manning, C. D.},
 journal = {arXiv:1503.00075},
 title = {{Improved Semantic Representations From Tree-Structured Long Short-Term Memory Networks}},
 year = {2015}
}

@inproceedings{Taigman2014,
 author = {Taigman, Y. and Yang, M. and Ranzato, M. A. and Wolf, L.},
 booktitle = {CVPR},
 publisher = {IEEE},
 title = {{DeepFace: Closing the Gap to Human-Level Performance in Face Verification}},
 year = {2014}
}

@inproceedings{Tallent2015,
 author = {Tallent, Nathan R and Vishnu, Abhinav and Dam, Hubertus Van and Daily, Jeff and Kerbyson, Darren J and Hoisie, Adolfy},
 booktitle = {PPoPP},
 title = {{Diagnosing the Causes and Severity of One-Sided Message Contention}},
 year = {2015}
}

@misc{Tamrawi2012a,
 author = {Tamrawi, Ahmed and Nguyen, Hoan Anh and Nguyen, Hung Viet and Nguyen, Tien N.},
 booktitle = {ICSE},
 title = {{Build code analysis with symbolic evaluation}},
 year = {2012}
}

@inproceedings{Tan2014,
 author = {Tan, Antoine Tran and Falcou, Joel and Etiemble, Daniel and Kaiser, Hartmut},
 booktitle = {HLPP},
 title = {{Automatic Task-based Code Generation for High Performance Domain Specific Embedded Language}},
 year = {2014}
}

@phdthesis{Tan2017,
 author = {Tan, T.},
 school = {University of New South Wales},
 title = {{Precise and Efficient Points-to Analysis via New Context-Sensitivity and Heap Abstraction}},
 year = {2017}
}

@inproceedings{Tan2017a,
 author = {Tan, T. and Li, Y. and Xue, J.},
 booktitle = {PLDI},
 publisher = {ACM},
 title = {{Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata}},
 year = {2017}
}

@inproceedings{Tarakji,
 author = {Tarakji, Ayman and B{\"{o}}rger, Lukas and Leupers, Rainer},
 booktitle = {PPoPP},
 title = {{A Comparative Investigation of Device-Specific Mechanisms for Exploiting HPC Accelerators}},
 year = {2015}
}

@article{Tartara2013,
 author = {Tartara, M. and {Crespi Reghizzi}, S.},
 journal = {TACO},
 number = {4},
 title = {{Continuous Learning of Compiler Heuristics}},
 volume = {9},
 year = {2013}
}

@article{Tassa2018,
 author = {Tassa, Y. and Doron, Y. and Muldal, A. and Erez, T. and Li, Y. and De, D. and Casas, L. and Budden, D. and Abdolmaleki, A. and Merel, J. and Lefrancq, A. and Lillicrap, T. and Riedmiller, M.},
 journal = {arXiv:1801.00690},
 title = {{DeepMind Control Suite}},
 year = {2018}
}

@article{Tate2009,
 author = {Tate, Ross and Stepp, Michael and Tatlock, Zachary and Lerner, Sorin},
 journal = {LMCS},
 publisher = {ACM},
 title = {{Equality Saturation: A New Approach to Optimization}},
 year = {2009}
}

@inproceedings{Taylor,
 author = {Taylor, B. and Marco, V. S. and Wang, Z.},
 booktitle = {LCTES},
 title = {{Adaptive Optimization for OpenCL Programs on Embedded Heterogeneous Systems}},
 year = {2017}
}

@inproceedings{Terence2016,
 author = {Terence, P. and Vinju, J.},
 booktitle = {SLE},
 title = {{Towards a Universal Code Formatter through Machine Learning}},
 year = {2016}
}

@inproceedings{Terragni2016,
 author = {Terragni, V. and Liu, Y. and Cheung, S.},
 booktitle = {ISSTA},
 title = {{CSNIPPEX: Automated Synthesis of Compilable Code Snippets from Q{\&}A Sites}},
 year = {2016}
}

@inproceedings{Tesauro2005,
 author = {Tesauro, G.},
 booktitle = {AAAI},
 title = {{Online Resource Allocation Using Decompositional Reinforcement Learning}},
 year = {2005}
}

@inproceedings{Thebault,
 author = {Th{\'{e}}bault, Lo{\"{i}}c and Petit, Eric},
 booktitle = {PPoPP},
 title = {{Scalable and Efficient Implementation of 3D Unstructured Meshes Computation : A Case Study on Matrix Assembly}},
 year = {2015}
}

@inproceedings{Theis2015a,
 author = {Theis, L. and Bethge, M.},
 booktitle = {NIPS},
 title = {{Generative Image Modeling Using Spatial LSTMs}},
 year = {2015}
}

@inproceedings{Thier2018,
 author = {Thier, P. and {Anton Ertl}, M. and Krall, A.},
 booktitle = {CC},
 title = {{Fast and Flexible Instruction Selection with Constraints}},
 year = {2018}
}

@inproceedings{Thies2002,
 author = {Thies, W. and Karczmarek, M. and Amarasinghe, S.},
 booktitle = {CC},
 title = {{StreamIt: A language for streaming applications}},
 volume = {LNCS 2304},
 year = {2002}
}

@techreport{This2016,
 author = {Zinkevich, M.},
 title = {{Rules of Machine Learning: Best Practices for ML Engineering}},
 year = {2016}
}

@article{Thomson2009,
 author = {Thomson, J. D.},
 title = {{Using Machine Learning to Automate Compiler Optimisation}},
 year = {2009}
}

@inproceedings{Thomson2015,
 author = {Thomson, P. and Donaldson, A.},
 booktitle = {PPoPP},
 title = {{The Lazy Happens-Before Relation : Better Partial-Order Reduction for Systematic Concurrency Testing }},
 year = {2015}
}

@inproceedings{Tian,
 author = {Tian, Y. and Greathouse, J. L. and Beckmann, B. M. and Jim{\'{e}}nez, D. A.},
 booktitle = {PPoPP},
 title = {{Adaptive GPU Cache Bypassing Categories and Subject Descriptors}},
 year = {2015}
}

@inproceedings{Tian2015a,
 author = {Tian, Y. and Puthoor, S. and Greathouse, J. L. and Beckmann, B. M. and Jim{\'{e}}nez, D. A.},
 booktitle = {GPGPU},
 title = {{Adaptive GPU cache bypassing}},
 year = {2015}
}

@article{Tillet2012,
 author = {Tillet, P. and Rupp, K. and Selberherr, S.},
 journal = {Simulation Series},
 number = {6},
 title = {{An Automatic OpenCL Compute Kernel Generator for Basic Linear Algebra Operations}},
 volume = {44},
 year = {2012}
}

@article{Tillmann2014,
 author = {Tillmann, M. and Karcher, T. and Dachsbacher, C. and Tichy, W. F.},
 journal = {Advances in Parallel Computing},
 number = {1},
 title = {{Application-independent autotuning for GPUs}},
 volume = {25},
 year = {2014}
}

@inproceedings{Ting2016,
 author = {Ting, P. and Tu, C. and Chen, P. and Lo, Y. and Cheng, S.},
 booktitle = {AINA},
 title = {{FEAST: An Automated Feature Selection Framework for Compilation Tasks}},
 year = {2017}
}

@article{Tip1995,
 author = {Tip, Frank},
 journal = {Journal of Programming Languages},
 title = {{A Survey of Program Slicing Techniques}},
 volume = {5399},
 year = {1995}
}

@inproceedings{Tobergte2013a,
 author = {Aviv, Rotem and Wang, Guohui},
 booktitle = {IWOCL},
 title = {{OpenCL-Based Mobile GPGPU Benchmarking: Methods and Challenges}},
 year = {2016}
}

@inproceedings{Tobias,
 author = {Tobias, M},
 booktitle = {PPoPP},
 title = {{Patty : A Pattern-based Parallelization Tool for the Multicore Age}},
 year = {2015}
}

@inproceedings{Toffola2018,
 author = {Toffola, L. D. and Pradel, M. and Gross, T. R.},
 booktitle = {CGO},
 publisher = {IEEE},
 title = {{Synthesizing Programs That Expose Performance Bottlenecks}},
 year = {2018}
}

@article{Toit2013,
 author = {Toit, Stefanus Du and Corporation, Intel},
 title = {{N4594: Working Draft, Standard for Programming Language C ++}},
 year = {2013}
}

@article{Tok2006,
 author = {Tok, Teck Bok and Guyer, Samuel Z and Lin, Calvin},
 journal = {Cc},
 title = {{Analysis in the Presence of Pointers}},
 year = {2006}
}

@techreport{Torquati,
 author = {Torquati, M},
 institution = {Computer Science Department, University of Pisa},
 title = {{Parallel Programming Using FastFlow}},
 year = {2014}
}

@inproceedings{Toshev2014,
 author = {Toshev, A. and Szegedy, C.},
 booktitle = {CVPR},
 publisher = {IEEE},
 title = {{DeepPose: Human Pose Estimation via Deep Neural Networks}},
 year = {2014}
}

@article{Totoo2014,
 author = {Totoo, P and Loidl, HW},
 journal = {Concurrency and Computation: Practice and Experience},
 number = {4},
 title = {{Parallel Haskell implementations of the N-body problem}},
 volume = {26},
 year = {2014}
}

@article{Touati2013a,
 author = {Touati, Sid Ahmed Ali and Worms, Julien and Briais, S{\'{e}}bastien},
 journal = {Concurrency and Computation: Practice and Experience},
 number = {10},
 title = {{The Speedup-Test: A statistical methodology for programme speedup analysis and computation}},
 volume = {25},
 year = {2013}
}

@inproceedings{Tournavitis2009,
 author = {Tournavitis, G. and Wang, Z. and Franke, B. and O'Boyle, M.},
 booktitle = {MPSoCs},
 publisher = {ACM},
 title = {{Towards a holistic approach to auto-parallelization: integrating profile-driven parallelism detection and machine-learning based mapping}},
 year = {2009}
}

@inproceedings{Trachsel2010,
 author = {Trachsel, Oliver and Gross, Thomas R},
 booktitle = {CF},
 publisher = {ACM},
 title = {{Variant-based Competitive Parallel Execution of Sequential Programs}},
 year = {2010}
}

@article{Tram2016,
 author = {Tram, F. and Zhang, F. and Reiter, M. K. and Juels, A. and Tech, C. and Ristenpart, T. and Sep, C. R.},
 journal = {arXiv:1609.02943},
 title = {{Stealing Machine Learning Models via Prediction APIs}},
 year = {2016}
}

@article{Tran2017,
 author = {Tran, D. and Saurous, R. A. and Hoffman, M. D. and Brevdo, E. and Murphy, K. and Blei, D. M.},
 journal = {arXiv:1701.03757},
 title = {{Deep Probabilistic Programming}},
 year = {2017}
}

@book{Trask,
 author = {Trask, A. W.},
 publisher = {Manning Publications},
 title = {{Grokking Deep Learning}},
 year = {2016}
}

@inproceedings{Triantafyllis2003,
 author = {Triantafyllis, S. and August, D. I.},
 booktitle = {CGO},
 publisher = {IEEE},
 title = {{Compiler Optimization-Space Exploration}},
 year = {2003}
}

@inproceedings{Trifunovic2011a,
 author = {Trifunovic, K. and Cohen, A. and Edelsohn, D. and Li, F. and Grosser, T. and Jagasia, H. and Ladelsky, R. and Pop, S. and Sj, J.},
 booktitle = {GROW},
 title = {{GRAPHITE Two Years After: First Lessons Learned From Real-World Polyhedral Compilation}},
 year = {2010}
}

@phdthesis{Trigkas2014,
 author = {Trigkas, Angelos},
 school = {University of Edinburgh},
 title = {{Investigation of the OpenCL SYCL Programming Model}},
 year = {2014}
}

@inproceedings{Tristan2015a,
 author = {Tristan, J. and Tassarotti, J. and Steele, G.},
 booktitle = {ICML},
 publisher = {PMLR},
 title = {{Efficient Training of LDA on a GPU by Mean-for-Mode Estimation}},
 volume = {37},
 year = {2015}
}

@inproceedings{Truong2016,
 author = {Truong, L. and Barik, R. and Totoni, E. and Liu, H. and Markley, C. and Fox, A. and Shpeisman, T.},
 booktitle = {PLDI},
 publisher = {ACM},
 title = {{Latte: a language, compiler, and runtime for elegant and efficient deep neural networks}},
 year = {2016}
}

@inproceedings{Tsay2014,
 author = {Tsay, Jason and Dabbish, Laura and Herbsleb, James},
 booktitle = {ICSE},
 title = {{Influence of social and technical factors for evaluating contribution in GitHub}},
 year = {2014}
}

@inproceedings{Tufano2019,
 author = {Tufano, M. and Pantiuchina, J. and Watson, C. and Bavota, G. and Poshyvanyk, D.},
 booktitle = {ICSE},
 title = {{On Learning Meaningful Code Changes via Neural Machine Translation}},
 year = {2019}
}

@article{Turing1937,
 author = {Turing, A. M.},
 journal = {Proceedings of the London Mathematical Society},
 number = {1931},
 title = {{On computable numbers, with an application to the Entscheidungsproblem}},
 volume = {42},
 year = {1937}
}

@phdthesis{Ungureanu2013,
 author = {Ungureanu, George},
 school = {KTH Royal Institute of Technology},
 title = {{Automatic Software Synthesis from High-Level ForSyDe Models Targeting Massively Parallel Processors}},
 year = {2013}
}

@misc{UniversityofEdinburgh,
 author = {{University of Edinburgh}},
 title = {{3. Computational Complexity}},
 year = {2015}
}

@misc{UniversityofEdinburgh1993,
 author = {{University of Edinburgh}},
 title = {{7. Computational Complexity}},
 volume = {52},
 year = {2015}
}

@misc{UniversityofEdinburgh2009,
 author = {{University of Edinburgh}},
 number = {May},
 title = {{IAML 2012 Exam}},
 year = {2009}
}

@misc{UniversityofEdinburgh2009a,
 author = {{University of Edinburgh}},
 number = {April},
 title = {{IAML 2014 Exam}},
 year = {2009}
}

@misc{UniversityofEdinburgh2009b,
 author = {{University of Edinburgh}},
 number = {August},
 title = {{IAML 2014 Resit Exam}},
 year = {2009}
}

@misc{UniversityofEdinburgh2009c,
 author = {{University of Edinburgh}},
 number = {August},
 title = {{IAML 2012 Resit Exam}},
 year = {2009}
}

@misc{UniversityofEdinburgh2013,
 author = {{University of Edinburgh}},
 number = {May},
 title = {{IAML 2013 Exam}},
 year = {2013}
}

@misc{UniversityofEdinburgh2014,
 author = {{University of Edinburgh}},
 title = {{2. Compiling techniques}},
 volume = {9},
 year = {2015}
}

@misc{UniversityofEdinburgh2014a,
 author = {{University of Edinburgh}},
 number = {1},
 title = {{6. Compiling Techniques}},
 year = {2015}
}

@misc{UniversityofEdinburgh2014b,
 author = {{University of Edinburgh}},
 title = {{3. Dataflow analysis}},
 year = {2015}
}

@misc{UniversityofEdinburgh2014ba,
 author = {{University of Edinburgh}},
 title = {{IAML 13}},
 year = {2014}
}

@misc{UniversityofEdinburgh2014bb,
 author = {{University of Edinburgh}},
 title = {{IAML 12}},
 year = {2014}
}

@misc{UniversityofEdinburgh2014bc,
 author = {{University of Edinburgh}},
 title = {{IAML 14}},
 year = {2014}
}

@misc{UniversityofEdinburgh2014c,
 author = {{University of Edinburgh}},
 booktitle = {Parallel Architectures},
 title = {{5. Parallel Architectures}},
 year = {2014}
}

@misc{UniversityofEdinburgh2014d,
 author = {{University of Edinburgh}},
 title = {{4. Dataflow Analysis}},
 year = {2015}
}

@misc{UniversityofEdinburgh2014e,
 author = {{University of Edinburgh}},
 title = {{2. Coursework}},
 year = {2015}
}

@misc{UniversityofEdinburgh2014f,
 author = {{University of Edinburgh}},
 booktitle = {Parallel Architectures},
 title = {{6. Parallel Architectures}},
 year = {2014}
}

@misc{UniversityofEdinburgh2014g,
 author = {{University of Edinburgh}},
 title = {{5. Compiling techniques}},
 volume = {9},
 year = {2015}
}

@misc{UniversityofEdinburgh2014h,
 author = {{University of Edinburgh}},
 booktitle = {Parallel Architectures},
 title = {{2. Parallel Architectures}},
 year = {2014}
}

@misc{UniversityofEdinburgh2014i,
 author = {{University of Edinburgh}},
 title = {{4. Compiling techniques}},
 volume = {9},
 year = {2015}
}

@misc{UniversityofEdinburgh2014j,
 author = {{University of Edinburgh}},
 booktitle = {Parallel Architectures},
 title = {{3. Parallel Architectures}},
 year = {2014}
}

@misc{UniversityofEdinburgh2014k,
 author = {{University of Edinburgh}},
 title = {{5. Instruction Selection}},
 year = {2015}
}

@misc{UniversityofEdinburgh2014l,
 author = {{University of Edinburgh}},
 title = {{3. Compiling techniques}},
 volume = {9},
 year = {2015}
}

@misc{UniversityofEdinburgh2014m,
 author = {{University of Edinburgh}},
 booktitle = {Parallel Architectures},
 title = {{1. Parallel Architectures}},
 year = {2014}
}

@misc{UniversityofEdinburgh2014n,
 author = {{University of Edinburgh}},
 title = {{6. Instruction Scheduling}},
 year = {2015}
}

@misc{UniversityofEdinburgh2014p,
 author = {{University of Edinburgh}},
 booktitle = {Parallel Architectures},
 title = {{4. Parallel Architectures}},
 volume = {8},
 year = {2014}
}

@misc{UniversityofEdinburgh2014q,
 author = {{University of Edinburgh}},
 title = {{1. Compiler Optimisation}},
 year = {2015}
}

@misc{UniversityofEdinburgh2014r,
 author = {{University of Edinburgh}},
 title = {{1. Compiling techniques}},
 volume = {9},
 year = {2015}
}

@misc{UniversityofEdinburgh2014s,
 author = {{University of Edinburgh}},
 title = {{7. Compiling techniques}},
 volume = {9},
 year = {2015}
}

@misc{UniversityofEdinburgh2014t,
 author = {{University of Edinburgh}},
 title = {{IAML 11}},
 year = {2014}
}

@misc{UniversityofEdinburgh2014u,
 author = {{University of Edinburgh}},
 title = {{IAML 10}},
 year = {2014}
}

@misc{UniversityofEdinburgh2014v,
 author = {{University of Edinburgh}},
 title = {{IAML 4}},
 year = {2014}
}

@misc{UniversityofEdinburgh2014w,
 author = {{University of Edinburgh}},
 title = {{IAML 2}},
 year = {2014}
}

@misc{UniversityofEdinburgh2014x,
 author = {{University of Edinburgh}},
 title = {{IAML 3}},
 year = {2014}
}

@misc{UniversityofEdinburgh2014y,
 author = {{University of Edinburgh}},
 title = {{IAML 9}},
 year = {2014}
}

@misc{UniversityofEdinburgh2014z,
 author = {{University of Edinburgh}},
 title = {{IAML 1}},
 year = {2014}
}

@misc{UniversityofEdinburgh2015a,
 author = {{University of Edinburgh}},
 title = {{8. Depenedence Analysis}},
 year = {2015}
}

@misc{UniversityofEdinburgh2015b,
 author = {{University of Edinburgh}},
 title = {{9. Program Transformations}},
 year = {2015}
}

@misc{UniversityofEdinburgh2015c,
 author = {{University of Edinburgh}},
 title = {{10. Vectorisation}},
 year = {2015}
}

@unpublished{UniversityofEdinburgh2015d,
 author = {{University of Edinburgh}},
 title = {{7. Register Allocation}},
 year = {2015}
}

@misc{UniversityofEdinburgha,
 author = {{University of Edinburgh}},
 title = {{6. Computational Complexity}},
 year = {2015}
}

@misc{UniversityofEdinburghb,
 author = {{University of Edinburgh}},
 title = {{4. Computational Complexity}},
 year = {2015}
}

@misc{UniversityofEdinburghc,
 author = {{University of Edinburgh}},
 title = {{2. Computational Complexity}},
 year = {2015}
}

@misc{UniversityofEdinburghd,
 author = {{University of Edinburgh}},
 title = {{1. Computational Complexity}},
 year = {2015}
}

@misc{UniversityofEdinburghe,
 author = {{University of Edinburgh}},
 title = {{5. Computational Complexity}},
 year = {2015}
}

@inproceedings{Vachharajani,
 author = {Vachharajani, N. and August, D. I.},
 booktitle = {CGO},
 publisher = {IEEE},
 title = {{Spice: Speculative Parallel Iteration Chunk Execution}},
 year = {2008}
}

@article{Valiant1990,
 author = {Valiant, Leslie G},
 journal = {Communications of the ACM},
 number = {8},
 title = {{A bridging model for parallel computation}},
 volume = {33},
 year = {1990}
}

@inproceedings{VanCraeynest2012,
 author = {{Van Craeynest}, K. and Jaleel, A. and Eeckhout, L. and Narvaez, P. and Emer, J.},
 booktitle = {ISCA},
 title = {{Scheduling heterogeneous multi-cores through performance impact estimation (PIE)}},
 year = {2012}
}

@inproceedings{Vanderbruggen2014,
 author = {Vanderbruggen, T. and Cavazos, J.},
 booktitle = {IWOCL},
 title = {{Generating OpenCL C Kernels from OpenACC}},
 year = {2014}
}

@phdthesis{Vanderbruggen2018,
 author = {Vanderbruggen, T.},
 title = {{Application of Deep-Learning to Compiler-Based Graphs}},
 year = {2018}
}

@book{VanderLinden1994,
 author = {{Van der Linden}, Peter},
 publisher = {Prentice Hall Professional},
 title = {{Expert C programming: deep C secrets}},
 year = {1994}
}

@article{VanDerWalt2011a,
 author = {{Van Der Walt}, St??fan and Colbert, S. Chris and Varoquaux, Ga??l},
 journal = {Computing in Science and Engineering},
 number = {2},
 title = {{The NumPy array: A structure for efficient numerical computation}},
 volume = {13},
 year = {2011}
}

@article{Vasic2019,
 author = {Vasic, M. and Kanade, A. and Maniatis, P. and Bieber, D. and Singh, R.},
 journal = {ICLR},
 title = {{Neural Program Repair by Jointly Learning to Localize and Repair}},
 year = {2019}
}

@article{Vasic2019a,
 author = {Vasic, M. and Kanade, A. and Maniatis, P. and Bieber, D. and Singh, R.},
 journal = {ICLR},
 title = {{Neural Program Repair by Jointly Learning to Localize and Repair}},
 year = {2019}
}

@article{Vasilescu,
 author = {Vasilescu, Bogdan and Filkov, Vladimir and Serebrenik, Alexander},
 title = {{StackOverflow and GitHub: Associations Between Software Development and Crowdsourced Knowledge}}
}

@inproceedings{Vasilescu2015,
 author = {Vasilescu, B. and Filkov, V. and Serebrenik, A.},
 booktitle = {CHASE},
 title = {{Perceptions of Diversity on GitHub: A User Survey}},
 year = {2015}
}

@article{Vasilescu2015b,
 author = {Vasilescu, Bogdan and van Schuylenburg, Stef and Wulms, Jules and Serebrenik, Alexander and van den Brand, Mark G. J.},
 number = {June},
 title = {{Continuous integration in a social-coding world: Empirical evidence from GitHub. **Updated version with corrections**}},
 year = {2015}
}

@inproceedings{Vassiliadis,
 author = {Vassiliadis, Vassilis and Parasyris, Konstantinos and Chalios, Charalambos and Antonopoulos, Christos D and Bellas, Nikolaos and Nikolopoulos, Dimitrios S},
 booktitle = {PPoPP},
 title = {{A Programming Model and Runtime System for Significance-Aware Energy-Efficient Computing}},
 year = {2015}
}

@inproceedings{Vaswani2017,
 author = {Vaswani, A. and Shazeer, N. and Parmar, N. and Uszkoreit, J. and Jones, L. and Gomez, A. N. and Kaiser, L. and Polosukhin, I.},
 booktitle = {NIPS},
 title = {{Attention Is All You Need}},
 year = {2017}
}

@article{Veldhuizen1995,
 author = {Veldhuizen, T.},
 journal = {C++ Report},
 number = {5},
 title = {{Expression Templates}},
 volume = {7},
 year = {1995}
}

@article{Veldhuizen2003,
 author = {Veldhuizen, Todd L},
 title = {{C++ Templates are Turing Complete}},
 year = {2003}
}

@inproceedings{Velickovic2018,
 author = {Velickovic, P. and Cucurull, G. and Casanova, A. and Romera, A. and Lio, P. and Bengio, Y.},
 booktitle = {ICLR},
 title = {{Graph Attention Networks}},
 year = {2018}
}

@inproceedings{Verplaetse2000,
 author = {Verplaetse, P. and Campenhout, J. V. and Stroobandt, D.},
 booktitle = {ISCAS},
 publisher = {IEEE},
 title = {{On synthetic benchmark generation methods}},
 year = {2000}
}

@article{Version2016,
 author = {Keir, Paul},
 title = {{DAGR: A DSL for Legacy OpenCL Codes Porting SLAMBench KFusion to SYCL}},
 year = {2016}
}

@article{Version2016a,
 author = {Keir, Paul},
 title = {{Porting SLAMBench KFusion to Khronos SYCL}},
 year = {2016}
}

@article{Vinas2015,
 author = {Vi{\~{n}}as, M. and Fraguela, B. B. and Bozkus, Z. and Andrade, D.},
 journal = {Procedia Computer Science},
 publisher = {Elsevier},
 title = {{Improving OpenCL Programmability with the Heterogeneous Programming Library}},
 volume = {51},
 year = {2015}
}

@inproceedings{Vinyals,
 author = {Vinyals, O. and Toshev, A. and Bengio, S. and Erhan, D.},
 booktitle = {CVPR},
 publisher = {IEEE},
 title = {{Show and Tell: A Neural Image Caption Generator}},
 year = {2015}
}

@article{Vinyals2016,
 author = {Vinyals, O. and Blundell, C. and Lillicrap, T. and Kavukcuoglu, K. and Wierstra, D.},
 title = {{Matching Networks for One Shot Learning}},
 year = {2016}
}

@inproceedings{Vinyals2016b,
 author = {Vinyals, O. and Bengio, S. and Kudlur, M.},
 booktitle = {ICLR},
 title = {{Order Matters: Sequence to Sequence for Sets}},
 year = {2016}
}

@article{Vinyalsa,
 author = {Vinyals, O. and Fortunato, M. and Jaitly, N.},
 journal = {arXiv:1506.03134},
 title = {{Pointer Networks}}
}

@inproceedings{Vollmer2015,
 author = {Vollmer, Michael},
 booktitle = {FHPC},
 title = {{Meta-Programming and Auto-Tuning in the Search for High Performance GPU Code}},
 year = {2015}
}

@inproceedings{Voronenko2009,
 author = {Voronenko, Y. and {De Mesmay}, F. and P{\"{u}}schel, M.},
 booktitle = {CGO},
 publisher = {IEEE},
 title = {{Computer Generation of General Size Linear Transform Libraries}},
 year = {2009}
}

@misc{Voss,
 author = {Zhang, Yun and Voss, Michael and {Rogers Sr}, ES},
 booktitle = {IPDPS},
 publisher = {Ieee},
 title = {{Runtime empirical selection of loop schedulers on hyperthreaded SMPs}},
 url = {http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=1419864},
 year = {2005}
}

@inproceedings{Voss2000,
 author = {Voss, Michael J and Eigenmann, Rudolf},
 booktitle = {Parallel Processing},
 publisher = {IEEE},
 title = {{ADAPT: Automated De-Coupled Adaptive Program Transformation}},
 year = {2000}
}

@inproceedings{Voss2001,
 author = {Voss, Michael J and Eigenmann, Rudolf},
 booktitle = {PPoPP},
 publisher = {ACM},
 title = {{High-Level Adaptive Program Optimization with ADAPT}},
 year = {2001}
}

@inproceedings{Wadler2009,
 author = {Wadler, Philip and Findler, Robert Bruce},
 booktitle = {ESOP},
 title = {{Well-typed programs can't be blamed}},
 year = {2009}
}

@article{Wager2013,
 author = {Wager, S. and Hastie, T. and Efron, B.},
 month = {nov},
 title = {{Confidence Intervals for Random Forests: The Jackknife and the Infinitesimal Jackknife}},
 year = {2013}
}

@inproceedings{Wahib2015a,
 author = {Wahib, M. and Maruyama, N.},
 booktitle = {HPDC},
 title = {{Automated GPU Kernel Transformations in Large-Scale Production Stencil Applications}},
 year = {2015}
}

@inproceedings{Walsh1996,
 author = {Walsh, Paul and Ryan, Conor},
 booktitle = {GECCO},
 publisher = {MIT Press},
 title = {{Paragen: A Novel Technique for the Autoparallelisation of Sequential Programs using Genetic Programming}},
 year = {1996}
}

@inproceedings{Wang,
 author = {Wang, Yangzihao and Davidson, Andrew and Pan, Yuechao and Wu, Yuduo and Riffel, Andy and Owens, John D.},
 booktitle = {PPoPP},
 number = {Figure 1},
 title = {{Gunrock : A High-Performance Graph Processing Library on the GPU}},
 year = {2015}
}

@inproceedings{Wang2009,
 author = {Wang, Z. and O'Boyle, M.},
 booktitle = {PPoPP},
 number = {15},
 publisher = {ACM},
 title = {{Mapping Parallelism to Multi-cores: A Machine Learning Based Approach}},
 year = {2009}
}

@inproceedings{Wang2010,
 author = {Wang, Z. and O'Boyle, M.},
 booktitle = {PACT},
 publisher = {ACM},
 title = {{Partitioning Streaming Parallelism for Multi-cores: A Machine Learning Based Approach}},
 year = {2010}
}

@inproceedings{Wang2013,
 author = {Wang, Bin and Wu, Bo and Li, Dong and Shen, Xipeng and Yu, Weikuan and Jiao, Yizheng and Vetter, Jeffrey S.},
 booktitle = {PACT},
 number = {Section VII},
 publisher = {ACM},
 title = {{Exploring hybrid memory for GPU energy efficiency through software-hardware co-design}},
 year = {2013}
}

@article{Wang2013a,
 author = {Wang, Y. and Owens, J.},
 title = {{Large-Scale Graph Processing Algorithms on the GPU}},
 year = {2013}
}

@inproceedings{Wang2013b,
 author = {Wang, X. and Zeldovich, N. and Kaashoek, M. F. and Solar-Lezama, A.},
 booktitle = {SOSP},
 title = {{Towards Optimization-Safe Systems: Analyzing the Impact of Undefined Behavior}},
 year = {2013}
}

@inproceedings{Wang2014,
 author = {Wang, H. and Padua, D.},
 booktitle = {CGO},
 publisher = {IEEE},
 title = {{Optimizing R VM: Allocation Removal and Path Length Reduction via Interpreter-level Specialization}},
 year = {2014}
}

@inproceedings{Wang2014a,
 author = {Wang, Hao and Singh, Ripudaman and Schulte, Michael J. and Kim, Nam Sung},
 booktitle = {PACT},
 publisher = {ACM},
 title = {{Memory scheduling towards high-throughput cooperative heterogeneous computing}},
 year = {2014}
}

@article{Wang2014c,
 author = {Wang, Z. and Tournavitis, G. and Franke, B. and O'Boyle, M.},
 journal = {TACO},
 title = {{Integrating Profile-driven Parallelism Detection and Machine-learning-based Mapping}},
 year = {2014}
}

@inproceedings{Wang2015,
 author = {Wang, Chang and Jiang, Jiang and Zhu, Yongxing and Liu, Xu and Han, Xing},
 booktitle = {PPoPP},
 title = {{CRA: A Dynamic Task Allocation Algorithm for Many-core Processor}},
 year = {2015}
}

@article{Wang2016,
 author = {Wang, S. and Jiang, J.},
 journal = {arXiv:1608.07905},
 title = {{Machine Comprehension Using Match-LSTM and Answer Pointer}},
 year = {2016}
}

@article{Wang2016a,
 author = {Wang, J. and Kurth-Nelson, Z. and Tirumala, D. and Soyer, H. and Leibo, J. Z. and Munos, R. and Blundell, C. and Kumaran, D. and Botvinick, M.},
 journal = {arXiv:1611.05763},
 title = {{Learning to reinforcement learn}},
 year = {2016}
}

@inproceedings{Wang2016c,
 author = {Wang, S. and Liu, T. and Tan, L.},
 booktitle = {ICSE},
 publisher = {ACM},
 title = {{Automatically Learning Semantic Features for Defect Prediction}},
 year = {2016}
}

@article{Wang2017,
 author = {Wang, H. and Raj, B. and Xing, E. P.},
 journal = {arXiv:1702.07800},
 title = {{On the Origin of Deep Learning}},
 year = {2017}
}

@inproceedings{Wang2017a,
 author = {Wang, B. and Xiong, Y. and Shi, Y. and Zhang, L. and Hao, D.},
 booktitle = {ISSTA},
 title = {{Faster Mutation Analysis via Equivalence Modulo States}},
 year = {2017}
}

@inproceedings{Wang2017b,
 author = {Wang, X. and Dillig, I. and Singh, R.},
 booktitle = {POPL},
 title = {{Program Synthesis using Abstraction Refinement}},
 year = {2017}
}

@inproceedings{Wang2017c,
 author = {Wang, J. and Chen, B. and Wei, L. and Liu, Y.},
 booktitle = {SP},
 title = {{Skyfire: Data-Driven Seed Generation for Fuzzing}},
 year = {2017}
}

@inproceedings{Wang2017d,
 author = {Wang, K. and Singh, R. and Su, Z.},
 booktitle = {ICLR},
 title = {{Dynamic Neural Program Embeddings for Program Repair}},
 year = {2018}
}

@article{Wang2018,
 author = {Wang, Z. and O'Boyle, M.},
 journal = {Proceedings of the IEEE},
 number = {23},
 title = {{Machine learning in Compiler Optimization}},
 volume = {106},
 year = {2018}
}

@article{Wang2019,
 author = {Wang, K. and Su, Z.},
 journal = {arXiv:19007.02136},
 title = {{A Hybrid Approach for Learning Program Representations}},
 year = {2019}
}

@article{Wang2019a,
 author = {Wang, G. and Ying, R. and Huang, J. and Leskovec, J.},
 journal = {arXiv:1910.11945},
 title = {{Improving Graph Attention Networks with Large Margin-based Constraints}},
 year = {2019}
}

@article{Wangb,
 author = {Wang, Z. and Chang, S. and Ling, Q. and Huang, S. and Hu, X. and Shi, H. and Huang, T. S.},
 title = {{Stacked Approximated Regression Machine: A Simple Deep Learning Approach}}
}

@article{Ward2006,
 author = {Rossum, Guido Van},
 title = {{Distributing Python Modules}},
 year = {2016}
}

@article{Ward2008,
 author = {Rossum, Guido Van},
 title = {{Installing Python Modules}},
 year = {2016}
}

@article{Watters2010,
 author = {Rossum, Guido Van},
 title = {{python Curses Programming with Python}},
 year = {2016}
}

@inproceedings{Weber2015,
 author = {Weber, N. and Amend, S. C. and Goesele, M.},
 booktitle = {PMBS},
 publisher = {ACM},
 title = {{Guided Profiling for Auto-Tuning Array Layouts on GPUs}},
 year = {2015}
}

@inproceedings{Wei2018,
 author = {Wei, J. and Chen, J. and Feng, Y. and Ferles, K. and Dillig, Isil},
 booktitle = {ESEC/FSE},
 publisher = {ACM},
 title = {{Singularity: Pattern Fuzzing for Worst Case Complexity}},
 year = {2018}
}

@misc{Weinberger2011,
 author = {Weinberger, B. and Silverstein, C. and Eitzmann, G. and Mentovai, M. and Landray, T.},
 title = {{Google C++ Style Guide}},
 year = {2011}
}

@article{Weisfeiler1968,
 author = {Weisfeiler, B. and Lehman, A. A.},
 journal = {Nauchno-Technicheskaya Informatsia},
 number = {9},
 title = {{A Reduction of a Graph to a Canonical Form and an Algebra Arising During this Reduction}},
 volume = {2},
 year = {1968}
}

@misc{Wellein2009,
 author = {Wellein, G. and Hager, G. and Zeiser, T. and Wittmann, M. and Fehske, H.},
 booktitle = {COMPSAC},
 title = {{Efficient temporal blocking for stencil computations by multicore-aware wavefront parallelization}},
 year = {2009}
}

@inproceedings{Wen2015,
 author = {Wen, Y. and Wang, Z. and O'Boyle, M.},
 booktitle = {HiPC},
 publisher = {IEEE},
 title = {{Smart Multi-Task Scheduling for OpenCL Programs on CPU/GPU Heterogeneous Platforms}},
 year = {2014}
}

@inproceedings{Wentzlaff2014,
 author = {Wentzlaff, D. and {Gruenwald III}, C. and Beckmann, N. and Modzelewski, K. and Belay, A. and Youseff, L. and Miller, J. and Agarwal, A.},
 booktitle = {SoCC},
 publisher = {ACM},
 title = {{An Operating System for Multicore and Clouds: Mechanisms and Implementation}},
 year = {2014}
}

@article{Werbos1990a,
 author = {Werbos, P. J.},
 journal = {Proceedings of the IEEE},
 number = {10},
 title = {{Backpropagation Through Time: What It Does and How to Do It}},
 volume = {78},
 year = {1990}
}

@inproceedings{West,
 author = {West, Scott and Nanz, Sebastian and Meyer, Bertrand},
 booktitle = {PPoPP},
 title = {{Efficient and Reasonable Object-Oriented Concurrency}},
 year = {2015}
}

@inproceedings{Whaley1998,
 author = {Whaley, R. C. and Dongarra, J. J.},
 booktitle = {SC},
 publisher = {IEEE Computer Society},
 title = {{Automatically tuned linear algebra software}},
 year = {1998}
}

@misc{Wheeler2010,
 author = {Wheeler, Ric},
 title = {{One Billion Files: Scalability Limits in Linux File Systems}},
 year = {2010}
}

@inproceedings{White2015a,
 author = {White, M. and Vendome, C. and Linares-Vasquez, M. and Poshyvanyk, D.},
 booktitle = {MSR},
 title = {{Toward Deep Learning Software Repositories}},
 year = {2015}
}

@inproceedings{White2016,
 author = {White, M. and Tufano, M. and Vendome, C. and Poshyvanyk, D.},
 booktitle = {ASE},
 title = {{Deep Learning Code Fragments for Code Clone Detection}},
 year = {2016}
}

@inproceedings{White2019,
 author = {White, M. and Tufano, M. and Mart{\'{i}}nez, M. and Monperrus, M. and Poshyvanyk, D.},
 booktitle = {SANER},
 title = {{Sorting and Transforming Program Repair Ingredients via Deep Learning Code Similarities}},
 year = {2019}
}

@article{Whiteson2004,
 author = {Whiteson, Shimon and Stone, Peter},
 journal = {Engineering Applications of Artificial Intelligence},
 number = {7},
 publisher = {Elsevier},
 title = {{Adaptive Job Routing and Scheduling}},
 volume = {17},
 year = {2004}
}

@article{Wigley2015,
 author = {Wigley, P. B. and Everitt, P. J. and Hengel, A. V. D. and Bastian, J. W. and Sooriyabandara, M. A. and Mcdonald, G. D. and Hardman, K. S. and Quinlivan, C. D. and Manju, P. and Kuhn, C. C. N. and Petersen, I. R. and Luiten, A. and Hope, J. J. and Robins, N. P. and Hush, M. R.},
 journal = {Nature},
 number = {April},
 title = {{Fast machine-learning online optimization of ultra-cold-atom experiments}},
 year = {2015}
}

@article{Wigner1960,
 author = {Wigner, E.},
 journal = {Communications on Pure and Applied Mathematics},
 number = {1},
 title = {{The Unreasonable Effectiveness of Mathematics in the Natural Sciences}},
 volume = {13},
 year = {1960}
}

@article{Wiles1995,
 author = {Wiles, A.},
 journal = {Annals of Mathematics},
 number = {3},
 title = {{Modular Elliptic Curves and Fermat's Last Theorem}},
 volume = {141},
 year = {1995}
}

@phdthesis{Williams2008,
 author = {Williams, S.},
 school = {University of California, Berkeley Professor},
 title = {{Auto-tuning Performance on Multicore Computers}},
 year = {2008}
}

@misc{Williams2008a,
 author = {Williams, C.},
 number = {October},
 title = {{Support Vector Machines}},
 year = {2008}
}

@inproceedings{Wilson1995,
 author = {Wilson, R. P. and Lam, M. S.},
 booktitle = {PLDI},
 number = {6},
 publisher = {ACM},
 title = {{Efficient context-sensitive pointer analysis for C programs}},
 volume = {30},
 year = {1995}
}

@article{Wilson2014,
 author = {Wilson, G. and Aruliah, D. A. and Brown, C. T. and {Chue Hong}, N. P. and Davis, M. and Guy, R. T. and Haddock, S. H. D. and Huff, K. D. and Mitchell, I. M. and Plumbley, M. D. and Waugh, B. and White, E. P. and Wilson, P.},
 journal = {PLoS Biology},
 number = {1},
 title = {{Best Practices for Scientific Computing}},
 volume = {12},
 year = {2014}
}

@article{Wilson2020,
 author = {Wilson, A. G.},
 journal = {arXiv:2001.10995},
 title = {{The Case for Bayesian Deep Learning}},
 year = {2020}
}

@inproceedings{Wimmer,
 author = {Wimmer, Martin},
 booktitle = {PPoPP},
 title = {{The Lock-Free k -LSM Relaxed Priority Queue}},
 year = {2015}
}

@techreport{Wing2002,
 author = {Wing, Jeannette M},
 title = {{FAQ on $\pi$-Calculus}},
 year = {2002}
}

@article{Winn2011a,
 author = {Winn, J.},
 number = {September},
 title = {{Probabilistic Programming}},
 volume = {10},
 year = {2011}
}

@book{Wirth2005,
 author = {Wirth, N.},
 title = {{Compiler Construction}},
 year = {2005}
}

@article{Wirtzer2015,
 author = {Rossum, Guido Van},
 number = {6},
 title = {{What ' S New in Fillers ? What ' S New ?}},
 volume = {12},
 year = {2016}
}

@article{Wold1984,
 author = {Wold, E. H. and Despain, A. M.},
 journal = {TC},
 number = {5},
 title = {{Pipeline and Parallel-Pipeline FFT Processors for VLSI Implementations}},
 volume = {C-33},
 year = {1984}
}

@book{Wolfe1996,
 author = {Wolfe, M. J.},
 publisher = {Addison-Wesley},
 title = {{High performance compilers for parallel computing}},
 year = {1996}
}

@article{Wolpert1996,
 author = {Wolpert, D. H. and Macready, W. G.},
 journal = {IEEE Transactions on Evolutionary Computation},
 title = {{No Free Lunch Theorems for Optimization}},
 year = {1996}
}

@inproceedings{Wong2010,
 author = {Wong, H. and Papadopoulou, M. and Sadooghi-Alvandi, M. and Moshovos, A.},
 booktitle = {ISPASS},
 title = {{Demystifying GPU Microarchitecture through Microbenchmarking}},
 year = {2010}
}

@inproceedings{Wong2013,
 author = {Wong, E. and Yang, J. and Tan, L.},
 booktitle = {ASE},
 publisher = {IEEE},
 title = {{AutoComment: Mining Question and Answer Sites for Automatic Comment Generation}},
 year = {2013}
}

@techreport{Woods1973,
 author = {Woods, D. R. and Lyon, J. M.},
 title = {{The INTERCAL Programming Language Reference Manual}},
 year = {1973}
}

@inproceedings{Workshop,
 author = {Workshop, International and Sciences, Environmental and York, New and Workshop, Qsar and Workshop, The International},
 booktitle = {PPoPP},
 title = {{A Message from the Workshop Organizers}},
 year = {2015}
}

@article{Wu2008,
 author = {Wu, X. and Kumar, V. and {Ross Quinlan}, J. and Ghosh, J. and Yang, Q. and Motoda, H. and McLachlan, G. J. and Ng, A. and Liu, B. and Yu, P. S. and Zhou, Z. and Steinbach, M. and Hand, D. J. and Steinberg, D.},
 journal = {Knowledge and Information Systems},
 number = {1},
 title = {{Top 10 algorithms in data mining}},
 volume = {14},
 year = {2008}
}

@inproceedings{Wu2014,
 author = {Wu, Y. and Kropczynski, J. and Shih, P. C. and Carroll, J. M.},
 booktitle = {CSCW},
 title = {{Exploring the Ecosystem of Software Developers on GitHub and Other Platforms}},
 year = {2014}
}

@inproceedings{Wu2016,
 author = {Wu, Jingyue and Hundt, Robert and Belevich, Artem and Bendersky, Eli and Heffernan, Mark and Leary, Chris and Pienaar, Jacques and Roune, Bjarke and Springer, Rob and Weng, Xuetian},
 booktitle = {CGO},
 publisher = {IEEE},
 title = {{gpucc: An Open-Source GPGPU Compiler}},
 year = {2016}
}

@article{Wu2016a,
 author = {Wu, X. and Zhang, X.},
 journal = {arXiv:1611.04135},
 title = {{Automated Inference on Criminality using Face Images}},
 year = {2016}
}

@article{Wu2016b,
 author = {Wu, Y. and Schuster, M. and Chen, Z. and Le, Q. V. and Norouzi, M. and Macherey, W. and Krikun, M. and Cao, Y. and Gao, Q. and Macherey, K. and Klingner, J. and Shah, A. and Johnson, M. and Liu, X. and Kaiser, {\L}. and Gouws, S. and Kato, Y. and Kudo, T. and Kazawa, H. and Stevens, K. and Kurian, G. and Patil, N. and Wang, W. and Young, C. and Smith, J. and Riesa, J. and Rudnick, A. and Vinyals, O. and Corrado, G. and Hughes, M. and Dean, J.},
 journal = {ArXiv e-prints},
 title = {{Google's Neural Machine Translation System: Bridging the Gap between Human and Machine Translation}},
 year = {2016}
}

@inproceedings{Wu2017,
 author = {Wu, Y. and Tian, Y.},
 booktitle = {Iclr},
 title = {{Training Agent for First-Person Shooter Game with Actor-Critic Curriculum Learning}},
 year = {2017}
}

@article{Wu2019a,
 author = {Wu, Z. and Pan, S. and Chen, F. and Long, G. and Zhang, C. and Yu, P. S.},
 journal = {arXiv:1901.00596},
 title = {{A Comprehensive Survey on Graph Neural Networks}},
 year = {2018}
}

@article{Xian2017,
 author = {Xian, Y. and Schiele, B. and Akata, Z.},
 journal = {arXiv:1703.04394},
 title = {{Zero-Shot Learning - The Good, the Bad and the Ugly}},
 year = {2017}
}

@inproceedings{Xiang2015,
 author = {Xiang, Lingxiang and Scott, Michael L},
 booktitle = {PPoPP},
 title = {{Software Partitioning of Hardware Transactions }},
 year = {2015}
}

@inproceedings{Xiao,
 author = {Xiao, W. and Zhao, J.},
 booktitle = {PPoPP},
 title = {{Parallelizing a Discrete Event Simulation Application Using the Habanero-Java Multicore Library Categories and Subject Descriptors}},
 year = {2015}
}

@inproceedings{Xie2013,
 author = {Xie, C. and Chen, R. and Guan, H. and Zang, B. and Chen, H.},
 booktitle = {PPoPP},
 title = {{SYNC or ASYNC : Time to Fuse for Distributed Graph-parallel Computation Institute of Parallel and Distributed Systems SYNC or ASYNC : Time to Fuse for Distributed Graph-parallel Computation}},
 year = {2015}
}

@article{Xin2016,
 author = {Xin, T. and Guo, B. and Wang, Z. and Li, M. and Yu, Z.},
 title = {{FreeSense: Indoor Human Identification with WiFi Signals}},
 year = {2016}
}

@inproceedings{Xiong2013,
 author = {Xiong, W. and Yu, Z. and Bei, Z. and Zhao, J. and Zhang, F. and Zou, Y. and Bai, X. and Li, Y. and Xu, C.},
 booktitle = {Big Data},
 publisher = {IEEE},
 title = {{A Characterization of Big Data Benchmarks}},
 year = {2013}
}

@article{Xiong2016,
 author = {Xiong, W. and Droppo, J. and Huang, X. and Seide, F. and Seltzer, M. and Stolcke, A. and Yu, D. and Zweig, G.},
 journal = {arXiv:1610.05256},
 title = {{Achieving Human Parity in Conversational Speech Recognition}},
 year = {2016}
}

@inproceedings{Xu2014,
 author = {Xu, Q. and Annavaram, M.},
 booktitle = {PACT},
 publisher = {ACM},
 title = {{PATS: Pattern Aware Scheduling and Power Gating for GPGPUs}},
 year = {2014}
}

@inproceedings{Xu2019,
 author = {Xu, K. and Hu, W. and Leskovec, J. and Jegelka, S.},
 booktitle = {ICLR},
 title = {{How Powerful are Graph neural Networks?}},
 year = {2019}
}

@article{Xue1997,
 author = {Xue, Jingling},
 journal = {Parallel Computing},
 number = {12},
 publisher = {Elsevier},
 title = {{Unimodular transformations of non-perfectly nested loops}},
 volume = {22},
 year = {1997}
}

@article{Yamaguchi2014,
 author = {Yamaguchi, Fabian and Golde, Nico and Arp, Daniel and Rieck, Konrad},
 journal = {Proceedings - IEEE Symposium on Security and Privacy},
 publisher = {IEEE},
 title = {{Modeling and discovering vulnerabilities with code property graphs}},
 year = {2014}
}

@inproceedings{Yan,
 author = {Yan, Yonghong and Lin, Pei-hung and Liao, Chunhua and Supinski, Bronis R De and Quinlan, Daniel J},
 booktitle = {PPoPP},
 title = {{Supporting Multiple Accelerators in High-Level Programming Models Categories and Subject Descriptors}},
 year = {2015}
}

@inproceedings{Yan2017,
 author = {Yan, G. and Lu, J. and Shu, Z. and Kucuk, Y.},
 booktitle = {PAC},
 publisher = {IEEE},
 title = {{ExploitMeter: Combining Fuzzing with Machine Learning for Automated Evaluation of Software Exploitability}},
 year = {2017}
}

@inproceedings{Yaneva2017a,
 author = {Yaneva, V. and Rajan, A. and Dubach, C.},
 booktitle = {ISSTA},
 title = {{Compiler-assisted test acceleration on GPUs for embedded software}},
 year = {2017}
}

@inproceedings{Yang2011,
 author = {Yang, X. and Chen, Y. and Eide, E. and Regehr, J.},
 booktitle = {PLDI},
 publisher = {ACM},
 title = {{Finding and Understanding Bugs in C Compilers}},
 year = {2011}
}

@article{Yarotsky2017,
 author = {Yarotsky, D.},
 journal = {Neural Networks},
 title = {{Error Bounds for Approximations with Deep ReLU Networks}},
 volume = {94},
 year = {2017}
}

@incollection{Yearning-draft,
 author = {Ng, A.},
 booktitle = {Machine Learning Yearning},
 title = {{Machine Learning Yearning (Chapters 23-27)}},
 year = {2018}
}

@incollection{Yearning-drafta,
 author = {Ng, A.},
 booktitle = {Machine Learning Yearning},
 title = {{Machine Learning Yearning (Chapters 28-30)}},
 year = {2018}
}

@incollection{Yearning-draftb,
 author = {Ng, A.},
 booktitle = {Machine Learning Yearning},
 title = {{Machine Learning Yearning (Chapters 33-35)}},
 year = {2018}
}

@incollection{Yearning-draftc,
 author = {Ng, A.},
 booktitle = {Machine Learning Yearning},
 title = {{Machine Learning Yearning (Chapters 36-39)}},
 year = {2018}
}

@incollection{Yearning-draftd,
 author = {Ng, A.},
 booktitle = {Machine Learning Yearning},
 title = {{Machine Learning Yearning (Chapter 40-43)}},
 year = {2018}
}

@incollection{Yearning-drafte,
 author = {Ng, A.},
 booktitle = {Machine Learning Yearning},
 title = {{Machine Learning Yearning (Chapters 44-46)}},
 year = {2018}
}

@article{Yelick1998,
 author = {Yelick, K. and Semenzato, L. and Pike, G. and Miyamoto, C. and Liblit, B. and Krishnamurthy, A. and Hilfinger, P. and Graham, S. and Gay, D. and Colella, P. and Aiken, A.},
 journal = {Concurrency and Computation: Practice and Experience},
 number = {11},
 title = {{Titanium: A high-performance Java dialect}},
 volume = {10},
 year = {1998}
}

@inproceedings{Yi2007,
 author = {Yi, Q and Seymour, K and You, H and Vuduc, R and Quinlan, D},
 booktitle = {IPDPS},
 publisher = {Ieee},
 title = {{POET: Parameterized Optimization for Empirical Tuning}},
 year = {2007}
}

@inproceedings{Yi2007a,
 address = {New York, New York, USA},
 author = {Yi, Qing and Whaley, R. Clint},
 booktitle = {LCSD},
 publisher = {ACM Press},
 title = {{Automated transformation for performance-critical kernels}},
 year = {2007}
}

@article{Yi2012,
 author = {Yi, Q. and Antonio, S.},
 journal = {Software: Practice and Experience},
 number = {6},
 publisher = {Wiley Online Library},
 title = {{POET: A Scripting Language For Applying Parameterized Source-to-source Program}},
 volume = {42},
 year = {2012}
}

@article{Yi2016,
 author = {Yi, K. M. and Trulls, E. and Lepetit, V. and Fua, P.},
 title = {{LIFT: Learned Invariant Feature Transform}},
 year = {2016}
}

@article{Yin2017,
 author = {Yin, P. and Neubig, G.},
 journal = {arXiv:1704.01696},
 title = {{A Syntactic Neural Model for General-Purpose Code Generation}},
 year = {2017}
}

@article{Yin2018,
 author = {Yin, P. and Neubig, G. and Allamanis, M. and Brockschmidt, M. and Gaunt, A. L.},
 journal = {arXiv:1810.13337},
 title = {{Learning to Represent Edits}},
 year = {2018}
}

@inproceedings{Yin2018a,
 author = {Yin, Z. and Shen, Y.},
 booktitle = {NeurIPS},
 title = {{On the Dimensionality of Word Embedding}},
 year = {2018}
}

@inproceedings{Ying2018,
 author = {Ying, R. and You, J. and Morris, C. and Ren, X. and Hamilton, W. L. and Leskovec, J.},
 booktitle = {NeurIPS},
 title = {{Hierarchical Graph Representation Learning with Differentiable Pooling}},
 year = {2018}
}

@article{Yong2014,
 author = {Yong, Nathan and Chong, Seng},
 number = {September},
 title = {{Scalable Verification Techniques for Data-Parallel Programs}},
 year = {2014}
}

@inproceedings{Yosinski2014,
 author = {Yosinski, J. and Clune, J. and Bengio, Y. and Lipson, H.},
 booktitle = {NIPS},
 title = {{How Transferable are Features in Deep Neural Networks?}},
 year = {2014}
}

@inproceedings{Yotov2003,
 address = {New York, New York, USA},
 author = {Yotov, K. and Wu, P. and Li, X. and Ren, G. and Cibulskis, M. and DeJong, G. and Garzaran, M. and Padua, D. and Pingali, K. and Stodghill, P.},
 booktitle = {PLDI},
 publisher = {ACM},
 title = {{A Comparison of Empirical and Model-driven Optimization}},
 year = {2003}
}

@inproceedings{You,
 author = {You, Yi-ping and Wu, Hen-jung and Tsai, Yeh-ning and Chao, Yen-ting},
 booktitle = {PPoPP},
 title = {{VirtCL : A Framework for OpenCL Device Abstraction and Management}},
 year = {2015}
}

@article{You2019,
 author = {You, Jiaxuan and Ying, Rex and Leskovec, Jure},
 title = {{Position-aware Graph Neural Networks}},
 year = {2019}
}

@inproceedings{Yu2015,
 author = {Yu, Leiming and Zhang, Yan and Gong, Xiang and Roy, Nilay and Makowski, Lee and Kaeli, David},
 booktitle = {PPoPP},
 title = {{High Performance Computing of Fiber Scattering Simulation Categories and Subject Descriptors}},
 year = {2015}
}

@article{Yu2016,
 author = {Yu, Jintao and Nane, Razvan and Haron, Adib and Hamdioui, Said and Corporaal, Henk and Bertels, Koen},
 title = {{Skeleton-Based Design and Simulation Flow for Computation-In-Memory Architectures}},
 year = {2016}
}

@inproceedings{Yu2018,
 author = {Yu, Y. and Abadi, M. and Barham, P. and Brevdo, E. and Burrows, M. and Davis, A. and Dean, J. and Ghemawat, S. and Harley, T. and Hawkins, P. and Isard, M. and Kudlur, M. and Monga, R. and Murray, D. and Zheng, X.},
 booktitle = {EuroSys},
 title = {{Dynamic Control Flow in Large-Scale Machine Learning}},
 year = {2018}
}

@inproceedings{Yviquel2011,
 author = {Yviquel, Herve and Casseau, Emmanuel and Wipliez, Matthieu and Raulet, Mickael},
 booktitle = {SiPS},
 publisher = {IEEE},
 title = {{Efficient multicore scheduling of dataflow process networks}},
 year = {2011}
}

@article{Zadeh1965,
 author = {Zadeh, L. A.},
 journal = {Information and Control},
 title = {{Fuzzy Sets}},
 volume = {8},
 year = {1965}
}

@inproceedings{Zaharia2008,
 author = {Zaharia, Matei and Konwinski, Andy and Joseph, Ad and Katz, Rh and Stoica, Ion},
 booktitle = {OSDI},
 title = {{Improving MapReduce Performance in Heterogeneous Environments.}},
 year = {2008}
}

@inproceedings{Zakai2013,
 author = {Zakai, A.},
 booktitle = {OOPSLA},
 publisher = {ACM},
 title = {{Emscripten: An LLVM-to-JavaScript Compiler}},
 year = {2011}
}

@misc{Zalewski,
 author = {Zalewski, M.},
 title = {{American Fuzzy Lop}},
 year = {2014}
}

@article{Zandifar,
 author = {Zandifar, M. and Thomas, N. and Amato, N. and Rauchwerger, L.},
 title = {{The STAPL Skeleton Framework}}
}

@techreport{Zangeneh2019,
 author = {Zangeneh, S. and Pruett, S. and Lym, S. and Patt, Y. N.},
 title = {{BranchNet: Using Offline Deep Learning to Predict Hard-To-Predict Branches}},
 year = {2019}
}

@inproceedings{Zaremba2014,
 author = {Zaremba, W. and Sutskever, I. and Vinyals, O.},
 booktitle = {ICLR},
 title = {{Recurrent Neural Network Regularization}},
 year = {2014}
}

@inproceedings{Zaremba2015a,
 author = {Zaremba, W. and Mikolov, T. and Joulin, A. and Fergus, R.},
 booktitle = {ICML},
 publisher = {PMLR},
 title = {{Learning Simple Algorithms from Examples}},
 year = {2016}
}

@inproceedings{Zeiler2014,
 author = {Zeiler, M. D. and Fergus, R.},
 booktitle = {ECCV},
 title = {{Visualizing and Understanding Convolutional Networks}},
 year = {2014}
}

@article{Zhai2014a,
 author = {Zhai, Y. and Ong, Y. S. and Tsang, I. W.},
 journal = {IEEE CIM},
 number = {3},
 title = {{The emerging "Big dimensionality"}},
 volume = {9},
 year = {2014}
}

@inproceedings{Zhang,
 author = {Zhang, Minjia and Cao, Man and Bond, Michael D},
 booktitle = {PPoPP},
 title = {{Low-Overhead Software Transactional Memory with Progress Guarantees and Strong Semantics }},
 year = {2015}
}

@misc{Zhang2006,
 author = {Zhang, X. and Tallam, S. and Gupta, R.},
 booktitle = {FSE},
 publisher = {ACM},
 title = {{Dynamic Slicing Long Running Programs Through Execution Fast Forwarding}},
 url = {http://doi.acm.org/10.1145/1181775.1181786},
 year = {2006}
}

@inproceedings{Zhang2013,
 author = {Zhang, Yao and {Sinclair II}, Mark and Chien, Andrew A},
 booktitle = {SC},
 publisher = {Springer},
 title = {{Improving Performance Portability in OpenCL Programs}},
 volume = {7905},
 year = {2013}
}

@inproceedings{Zhang2013a,
 author = {Zhang, Y. and Mueller, F.},
 booktitle = {CGO},
 publisher = {IEEE},
 title = {{Auto-generation and Auto-tuning of 3D Stencil Codes on GPU clusters}},
 year = {2012}
}

@inproceedings{Zhang2014,
 author = {Zhang, C. and Groce, A. and Alipour, M. A.},
 booktitle = {ISSTA},
 publisher = {ACM},
 title = {{Using Test Case Reduction and Prioritization to Improve Symbolic Execution}},
 year = {2014}
}

@article{Zhang2015,
 author = {Zhang, Weizhe and Cheng, Albert and Subhlok, Jaspal},
 journal = {TC},
 number = {c},
 title = {{DwarfCode: A Performance Prediction Tool for Parallel Applications}},
 volume = {9340},
 year = {2015}
}

@inproceedings{Zhang2015a,
 author = {Gu, X. and Zhang, H. and Zhang, D. and Kim, S.},
 booktitle = {FSE},
 publisher = {ACM},
 title = {{Deep API Learning}},
 year = {2016}
}

@inproceedings{Zhang2016,
 author = {Zhang, R. and Isola, P. and Efros, A. A.},
 booktitle = {ECCV},
 title = {{Colorful Image Colorization}},
 year = {2016}
}

@article{Zhang2016a,
 author = {Zhang, H. and Xu, T. and Li, H. and Zhang, S. and Huang, X. and Wang, X. and Metaxas, D.},
 journal = {arXiv:1612.03242},
 title = {{StackGAN: Text to Photo-realistic Image Synthesis with Stacked Generative Adversarial Networks}},
 year = {2016}
}

@inproceedings{Zhang2016c,
 author = {Zhang, J. and Wang, Z. and Zhang, L. and Hao, D. and Zang, L. and Cheng, S. and Zhang, L.},
 booktitle = {ISSTA},
 title = {{Predictive mutation testing}},
 year = {2016}
}

@inproceedings{Zhang2017,
 author = {Zhang, C. and Bengio, S. and Hardt, M. and Recht, B. and Vinyals, O.},
 booktitle = {ICLR},
 title = {{Deep Learning Requires Requires Rethinking Generalization}},
 year = {2017}
}

@inproceedings{Zhang2017a,
 author = {Zhang, Q. and Sun, C. and Su, Z.},
 booktitle = {PLDI},
 publisher = {ACM},
 title = {{Skeletal Program Enumeration for Rigorous Compiler Testing}},
 year = {2017}
}

@article{Zhang2018,
 author = {Zhang, Y. and Yang, M. and Baghdadi, R. and Kamil, S. and Shun, J. and Amarasinghe, S.},
 journal = {arXiv:1805.00923},
 title = {{GraphIt - A High-Performance DSL for Graph Analytics}},
 year = {2018}
}

@inproceedings{Zhang2018a,
 author = {Zhang, L. and Rosenblatt, G. and Fetaya, E. and Liao, R. and Byrd, W. E. and Might, M. and Urtasun, R. and Zemel, R.},
 booktitle = {NeurIPS},
 title = {{Neural Guided Constraint Logic Programming for Program Synthesis}},
 year = {2018}
}

@article{Zhang2018b,
 author = {Zhang, P. and Fang, J. and Tang, T. and Yang, C. and Wang, Z.},
 journal = {arXiv:1802.02760},
 title = {{Tuning Streamed Applications on Intel Xeon Phi: A Machine Learning Based Approach}},
 year = {2018}
}

@article{Zhang2018d,
 author = {Zhang, P. and Fang, J. and Tang, T. and Yang, C. and Wang, Z.},
 journal = {IPDPS},
 publisher = {IEEE},
 title = {{Auto-tuning Streamed Applications on Intel Xeon Phi}},
 year = {2018}
}

@inproceedings{Zhang2019,
 author = {Zhang, C. and Su, T. and Yan, Y. and Zhang, F. and Pu, G. and Su, Z},
 booktitle = {ESEC/FSE},
 title = {{Finding and Understanding Bugs in Software Model Checkers}},
 year = {2019}
}

@article{Zhang2020,
 author = {Zhang, Jiawei and Zhang, Haopeng and Xia, Congying and Sun, Li},
 title = {{Graph-Bert: Only Attention is Needed for Learning Graph Representations}},
 year = {2020}
}

@article{Zhanga,
 author = {Zhang, N. and Paluri, M. and Taigman, Y. and Fergus, R. and Bourdev, L.},
 title = {{Beyond Frontal Faces: Improving Person Recognition Using Multiple Cues}}
}

@inproceedings{Zhangb,
 author = {Zhang, T. and Kim, M.},
 booktitle = {ICSE},
 title = {{Automated Transplantation and Differential Testing for Clones}},
 year = {2017}
}

@unpublished{Zhao,
 author = {Zhao, B. and Li, Z. and Jannesari, A. and Wolf, F. and Wu, W.},
 title = {{Dependence-Based Code Transformation for Coarse-Grained Parallelism}}
}

@inproceedings{Zhao2009,
 author = {Zhao, C. and Xue, Y. and Tao, Q. and Guo, L. and Wang, Z.},
 booktitle = {AST},
 title = {{Automated Test Program Generation for an Industrial Optimizing Compiler}},
 year = {2009}
}

@article{Zhao2010,
 author = {Zhao, Q. and Cutcutache, I. and Wong, W.},
 journal = {TACO},
 month = {dec},
 number = {3},
 title = {{PiPA: Pipelined profiling and analysis on multicore systems}},
 volume = {7},
 year = {2010}
}

@article{Zhou,
 author = {Zhou, Z. and Feng, J.},
 title = {{Deep Forest: Towards An Alternative to Deep Neural Networks}}
}

@inproceedings{Zhou2016,
 author = {Zhou, Hao and Xue, Jingling},
 booktitle = {CGO},
 publisher = {IEEE},
 title = {{Exploiting Mixed SIMD Parallelism by Reducing Data Reorganization Overhead}},
 year = {2016}
}

@article{Zhou2016a,
 author = {Zhou, S. and Ni, Z. and Zhou, X. and Wen, H. and Wu, Y. and Zou, Y.},
 journal = {arXiv:1606.06160},
 title = {{DoReFa-Net: Training Low Bitwidth Convolutional Neural Networks with Low Bitwidth Gradients}},
 year = {2016}
}

@article{Zhou2018,
 author = {Zhou, J. and Cui, G. and Zhang, Z. and Yang, C. and Liu, Z. and Sun, M.},
 journal = {arXiv:1812.08434},
 title = {{Graph Neural Networks: A Review of Methods and Applications}},
 year = {2018}
}

@article{Zhou2019,
 author = {Zhou, Yaqin and Liu, Shangqing and Siow, Jingkai and Du, Xiaoning and Liu, Yang},
 title = {{Devign: Effective Vulnerability Identification by Learning Comprehensive Program Semantics via Graph Neural Networks}},
 year = {2019}
}

@inproceedings{Zhu2015a,
 author = {Zhu, X. and Sobhani, P. and Guo, H.},
 booktitle = {ICML},
 publisher = {PMLR},
 title = {{Long Short-Term Memory Over Recursive Structures}},
 volume = {37},
 year = {2015}
}

@inproceedings{Zhu2018,
 author = {Zhu, He and Magill, Stephen and Jagannathan, Suresh},
 booktitle = {PLDI},
 publisher = {ACM},
 title = {{A data-driven CHC solver}},
 year = {2018}
}

@inproceedings{Zhuang2005,
 author = {Zhuang, L. and Zhou, F. and Tygar, J. D.},
 booktitle = {CCS},
 title = {{Keyboard acoustic emanations revisited}},
 year = {2005}
}

@article{Zima1988,
 author = {Zima, Hans P and Bast, Heinz-J and Gerndt, Michael},
 journal = {Parallel Computing},
 title = {{SUPERB: A tool for semi-automatic MIMD/SIMD parallelization}},
 volume =


text:
{6},
 year = {1988}
}

@article{Zoph2016,
 author = {Zoph, B. and Le, Q. V.},
 journal = {arXiv:1611.01578},
 title = {{Neural Architecture Search with Reinforcement Learning}},
 year = {2016}
}

@article{Zoran2017,
 author = {Zoran, D. and Lakshminarayanan, B. and Blundell, C.},
 journal = {arXiv:1702.08833},
 title = {{Learning Deep Nearest Neighbor Representations Using Differentiable Boundary Trees}},
 year = {2017}
}

repository: ChrisCummins/ProGraML

license_type: permissive

repo_name: ChrisCummins/ProGraML

branch_name: refs/heads/development

gha_license_id: NOASSERTION

extension: bib


text:
SUMMARY = "Exif, Iptc and XMP metadata manipulation library and tools"
LICENSE = "GPL-2.0-only"
LIC_FILES_CHKSUM = "file://COPYING;md5=625f055f41728f84a8d7938acc35bdc2"

DEPENDS = "zlib expat"

SRC_URI = "https://github.com/Exiv2/${BPN}/releases/download/v${PV}/${BP}-Source.tar.gz"
SRC_URI[sha256sum] = "4c192483a1125dc59a3d70b30d30d32edace9e14adf52802d2f853abf72db8a6"
# Once patch is obsolete (project should be aware due to PRs), dos2unix can be removed either
# inherit dos2unix
S = "${WORKDIR}/${BP}-Source"

inherit cmake gettext

do_install:append:class-target() {
    # reproducibility: remove build host path
    sed -i ${D}${libdir}/cmake/exiv2/exiv2Config.cmake \
        -e 's:${STAGING_DIR_HOST}::g'
}

license: MIT

repository: openembedded/meta-openembedded

repo_name: openembedded/meta-openembedded

branch_name: refs/heads/master

gha_license_id: MIT

gha_language: BitBake

extension: bb


text:
if(NOT TARGET cpp-optparse)

  # Module library
  file(GLOB SOURCE_FILES "cpp-optparse/OptionParser.cpp")
  set_source_files_properties(${SOURCE_FILES} PROPERTIES COMPILE_FLAGS "${PEDANTIC_COMPILE_FLAGS}")
  add_library(cpp-optparse ${SOURCE_FILES})

  # Module folder
  set_target_properties(cpp-optparse PROPERTIES FOLDER modules/cpp-optparse)

endif()

repository: coolniu/CppServer

repo_name: coolniu/CppServer

extension: cmake


text:
DESCRIPTION = "Node.js dbus lib"
HOMEPAGE = "https://github.com/sidorares/node-dbus"
LICENSE = "MIT"
LIC_FILES_CHKSUM = "file://${COMMON_LICENSE_DIR}/MIT;md5=0835ade698e0bcf8506ecda2f7b4f302"

inherit npm
DEPENDS = "nodejs-native nodejs"

S = "${WORKDIR}/git"

SRC_URI = "git://github.com/sidorares/node-dbus;protocol=git;branch=master;rev=516bf5337b6d1df0193607af8e8e42f33600fa85"

INSANE_SKIP_${PN} = "arch"

do_install () {
    export LD="${CXX}"
    export GYP_DEFINES="sysroot=${STAGING_DIR_HOST}"

    export npm_config_arch=${TARGET_ARCH}
    export npm_config_prefix=${D}${prefix}
    export TMPDIR=${T}
    npm install -g
}

FILES_${PN} += "${libdir}/node_modules/dbus/"
FILES_${PN} += "/usr/etc/"
FILES_${PN} += "/usr/"

RDEPENDS_${PN} += "perl"

# Prevents do_package failures with:
# debugsources.list: No such file or directory:
INHIBIT_PACKAGE_DEBUG_SPLIT = "1"


text:
@InProceedings{samy:arso:2019,
  author    = {Samy, Vincent and Ayusawa, Ko and Yoshiyasu, Yusuke and Sagawa, Ryusuke and Yoshida, Eiichi},
  title     = {Musculoskeletal Estimation Using Inertial Measurement Units and Single Video Image},
  booktitle = {IEEE International Conference on Advanced Robotics and its Social Impacts},
  year      = {2019},
  pages     = {39--44},
  address   = {Beijing, China},
  month     = {October 31-November 2},
  url       = {https://hal.archives-ouvertes.fr/hal-02311483v2/document},
  keywords  = {musculoskeletal analysis, inverse kinematics, IMU-based pose estimation, vision-based pose estimation, deep learning},
  doi       = {https://doi.org/10.1109/ARSO46408.2019.8948820},
  abstract  = {We address the problem of estimating the physical burden of a human body. This translates to monitor and estimate muscle tension and joint reaction forces of a musculoskeletal model in real-time. The system should minimize the discomfort generating by any sensors that needs to be fixed on the user. Our system combines a 3D pose estimation from vision and IMU sensors. We aim to minimize the number of IMU fixed to the subject while compensating the remaining lack of information with vision.}
}

gha_language: TeX


text:
require ti-xdctools.inc

PV = "3_15_01_59"

SRC_URI[xdcbin.md5sum] = "c7cd094cdc49459018b6f0e1eb95af30"
SRC_URI[xdcbin.sha256sum] = "0d5fbc8cfdaa968090ad11b0b84cfb122e2a1c54c4d261fd722b27c6d6972c23"

repository: overo/overo-oe-natty

repo_name: overo/overo-oe-natty

branch_name: HEAD


text:
SUMMARY = "A case-insensitive list for Python"
HOMEPAGE = "https://nocaselist.readthedocs.io/en/latest/"
LICENSE = "Apache-2.0"
LIC_FILES_CHKSUM = "file://LICENSE;md5=86d3f3a95c324c9479bd8986968f4327"

SRC_URI[sha256sum] = "456aa000c6777c5d21b029c52e532f94328d4fb4f15ad2a4dd3dd62db30b3892"

inherit pypi setuptools3

RDEPENDS:${PN} += " \
	${PYTHON_PN}-six \
"