forked from ChrisCummins/phd
-
Notifications
You must be signed in to change notification settings - Fork 0
/
bibliography.bib
12373 lines (10718 loc) Β· 383 KB
/
bibliography.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
@comment{Automatically generated by Mendeley Desktop 1.19.4
Any changes to this file will be lost if it is regenerated by Mendeley.
BibTeX export options can be customized via Preferences -> BibTeX in Mendeley Desktop}
@article{Aaronson2005,
author = {Aaronson, S.},
journal = {arXiv:quant-ph/0502072},
month = {feb},
title = {{NP-complete Problems and Physical Reality}},
year = {2005}
}
@incollection{Aarts2006,
author = {Aarts, E. and Encarna{\c{c}}{\~{a}}o, J.},
booktitle = {True Visions: The Emergence of Ambient Intelligence},
publisher = {Springer},
title = {{Into ambient intelligence}},
year = {2006}
}
@inproceedings{Abadi,
author = {Abadi, M. and Barham, P. and Chen, J. and Chen, Z. and Davis, A. and Dean, J. and Devin, M. and Ghemawat, S. and Irving, G. and Isard, M. and Kudlur, M. and Levenberg, J. and Monga, R. and Moore, S. and Murray, D. G. and Steiner, B. and Tucker, P. and Vasudevan, V. and Warden, P. and Wicke, M. and Yu, Y. and Zheng, X.},
booktitle = {USENIX Symposium on Operating Systems Design and Implementation (OSDI)},
title = {{TensorFlow: A System for Large-scale Machine Learning}},
year = {2016}
}
@inproceedings{Abadi2017,
author = {Abadi, M. and Isard, M. and Murray, D. G.},
booktitle = {Machine Learning and Programming Languages (MAPL)},
title = {{A Computational Model for TensorFlow: An Introduction}},
year = {2017}
}
@article{Abadi2019,
author = {Abadi, Mart{\'{i}}n and Plotkin, Gordon D.},
journal = {Proceedings of the ACM on Programming Languages},
number = {POPL},
title = {{A simple differentiable programming language}},
volume = {4},
year = {2019}
}
@inproceedings{Abbeel2004,
author = {Abbeel, P. and Ng, A. Y.},
booktitle = {Conference on Neural Information Processing Systems (NIPS)},
title = {{Learning first-order Markov models for control}},
year = {2005}
}
@article{Abramson1989,
author = {Abramson, B. and Yung, M.},
journal = {Journal of Parallel and Distributed Computing},
month = {jun},
number = {3},
title = {{Divide and conquer under global constraints: A solution to the N-queens problem}},
volume = {6},
year = {1989}
}
@inproceedings{Acharya,
author = {Acharya, A.},
booktitle = {ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP)},
title = {{PLUTO+: Near-Complete Modeling of Affine Transformations for Parallelism and Locality}},
year = {2015}
}
@inproceedings{Achour2016,
address = {Santa Barbara, CA},
author = {Achour, S. and Sarpeshkar, R. and Rinard, M. C.},
booktitle = {ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)},
publisher = {ACM},
title = {{Configuration Synthesis for Programmable Analog Devices with Arco}},
year = {2016}
}
@article{Adams2019,
author = {Adams, A. and Ma, K. and Anderson, L. and Baghdadi, R. and Johnson, S. and Fatahalian, K. and Durand, F. and Ragan-Kelly, K.},
journal = {ACM Trans Graph},
number = {4},
title = {{Learning to Optimize Halide with Tree Search and Random Programs}},
volume = {38},
year = {2019}
}
@article{Adhianto2010,
author = {Adhianto, L. and Banerjee, S. and Fagan, M. and Krentel, M. and Marin, G. and Mellor-Crummey, J. and Tallent, N. R.},
journal = {Concurrency Computation Practice and Experience},
number = {6},
title = {{HPCTOOLKIT: Tools for performance analysis of optimized parallel programs}},
volume = {22},
year = {2010}
}
@inproceedings{Agakov,
author = {Agakov, F. and Bonilla, E. and Cavazos, J. and Franke, B. and Fursin, G. and O'Boyle, M. and Thomson, J. and Toussaint, M. and Williams, C. K. I.},
booktitle = {International Symposium on Code Generation and Optimization (CGO)},
publisher = {IEEE},
title = {{Using Machine Learning to Focus Iterative Optimization}},
year = {2006}
}
@article{Agrawal2004,
author = {Agrawal, M. and Kayal, N. and Saxena, N.},
journal = {Annals of Mathematics},
number = {2},
title = {{PRIMES is in P}},
volume = {160},
year = {2004}
}
@article{Aho1976,
author = {Aho, A. V. and Johnson, S. C.},
journal = {JACM},
number = {3},
title = {{Optimal Code Generation for Expression Trees}},
volume = {23},
year = {1976}
}
@article{Aimone2017,
author = {Aimone, J. B.},
journal = {arXiv:1705.02042},
title = {{Exponential scaling of neural algorithms - a future beyond Moore's Law?}},
year = {2017}
}
@inproceedings{Alan1991,
author = {Alan, J.},
booktitle = {ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP)},
title = {{Debugging Parallel Programs}},
year = {2015}
}
@misc{AlanBundy2014,
author = {Bundy, Alan},
title = {{How to be My Student}},
year = {2014}
}
@inproceedings{Aldinucci2008,
author = {Aldinucci, M. and Campa, S. and Danelutto, M. and Vanneschi, M. and Kilpatrick, P. and Dazzi, P. and Laforenza, D. and Tonellotto, N.},
booktitle = {PDP},
month = {feb},
publisher = {Ieee},
title = {{Behavioural Skeletons in GCM: Autonomic Management of Grid Components}},
year = {2008}
}
@inproceedings{Aldinucci2010,
author = {Aldinucci, M. and Meneghin, M. and Torquati, M.},
booktitle = {PDP},
publisher = {IEEE},
title = {{Efficient Smith-Waterman on multi-core with FastFlow}},
year = {2010}
}
@incollection{Aldinucci2011,
author = {Aldinucci, M. and Danelutto, M. and Kilpatrick, P. and Torquati, M.},
booktitle = {Programming Multi-core and Many-core Computing Systems},
chapter = {13},
publisher = {Wiley},
title = {{FastFlow: high-level and efficient streaming on multi-core (A FastFlow short tutorial)}},
year = {2011}
}
@inproceedings{Aldinucci2011a,
author = {Aldinucci, M. and Danelutto, M. and Kilpatrick, P. and Meneghin, M. and Torquati, M.},
booktitle = {Euro-Par},
publisher = {Springer},
title = {{Accelerating code on multi-cores with FastFlow}},
year = {2011}
}
@article{Aldinucci2012,
author = {Aldinucci, M. and Svizzera, C. S. and Danelutto, M. and Kilpatrick, P. and Torquati, M.},
journal = {Parallel Processing Letters},
number = {02},
publisher = {World Scientific},
title = {{Targeting heterogeneous architectures via macro data flow}},
volume = {22},
year = {2012}
}
@inproceedings{Aldinucci2013,
author = {Aldinucci, M. and Campa, S. and Danelutto, M. and Kilpatrick, P. and Torquati, M.},
booktitle = {Euro-Par},
publisher = {Springer},
title = {{Targeting Distributed Systems in FastFlow}},
year = {2013}
}
@inproceedings{Aldinucci2014,
author = {Aldinucci, M. and Torquati, M. and Drocco, M. and {Peretti Pezzi}, G. and Spampinato, C.},
booktitle = {GTC},
title = {{An Overview of FastFlow: Combining Pattern-Level Abstraction and Efficiency in GPGPUs}},
year = {2014}
}
@inproceedings{Alglave2015,
author = {Alglave, J. and Batty, M. and Donaldson, A. and Gopalakrishnan, G. and Ketema, J. and Poetzl, D. and Sorensen, T. and Wickerson, J.},
booktitle = {International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)},
title = {{GPU Concurrency: Weak Behaviours and Programming Assumptions}},
year = {2015}
}
@article{Alipour2016,
author = {Alipour, A. and Groce, A. and Gopinath, R. and Christi, A.},
journal = {ISSTA},
title = {{Generating Focused Random Tests Using Directed Swarm Testing}},
year = {2016}
}
@inproceedings{Alistarh2014,
author = {Alistarh, D. and Kopinsky, J. and Li, J. and Shavit, N.},
booktitle = {ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP)},
title = {{The SprayList: A Scalable Relaxed Priority Queue}},
year = {2015}
}
@inproceedings{Allamanis2013a,
author = {Allamanis, M. and Sutton, C.},
booktitle = {Working Conference on Mining Software Repositories (MSR)},
title = {{Mining Source Code Repositories at Massive Scale using Language Modeling}},
year = {2013}
}
@inproceedings{Allamanis2014,
author = {Allamanis, M. and Sutton, C.},
booktitle = {ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE)},
publisher = {ACM},
title = {{Mining Idioms from Source Code}},
year = {2014}
}
@inproceedings{Allamanis2014a,
author = {Allamanis, M. and Barr, E. T. and Bird, C. and Sutton, C.},
booktitle = {ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE)},
publisher = {ACM},
title = {{Learning Natural Coding Conventions}},
year = {2014}
}
@inproceedings{Allamanis2015,
author = {Allamanis, M. and Tarlow, D. and Gordon, A. D. and Wei, Y.},
booktitle = {International Conference on Machine Learning (ICML)},
publisher = {PMLR},
title = {{Bimodal Modelling of Source Code and Natural Language}},
volume = {37},
year = {2015}
}
@inproceedings{Allamanis2016,
author = {Allamanis, M. and Peng, H. and Sutton, C.},
booktitle = {International Conference on Machine Learning (ICML)},
publisher = {PMLR},
title = {{A Convolutional Attention Network for Extreme Summarization of Source Code}},
year = {2016}
}
@article{Allamanis2016a,
author = {Allamanis, M. and Barr, E. T. and Just, R. and Sutton, C.},
journal = {arXiv:1611.02516},
title = {{Tailored Mutants Fit Bugs Better}},
year = {2016}
}
@techreport{Allamanis2016b,
author = {Allamanis, M. and Barr, E. T. and Bird, C. and Marron, M. and Sutton, C.},
title = {{Mining Semantic Loop Idioms from Big Code}},
year = {2016}
}
@phdthesis{Allamanis2016d,
author = {Allamanis, M.},
title = {{Learning Natural Coding Conventions}},
year = {2016}
}
@article{Allamanis2017,
author = {Allamanis, M. and Chanthirasegaran, P. and Kohli, P. and Sutton, C.},
journal = {arXiv:1611.01423},
title = {{Learning Continuous Semantic Representations of Symbolic Expressions}},
year = {2016}
}
@article{Allamanis2017a,
author = {Allamanis, M. and Barr, E. T. and Devanbu, P. and Sutton, C.},
journal = {ACM Computing Surveys (CSUR)},
number = {4},
title = {{A Survey of Machine Learning for Big Code and Naturalness}},
volume = {51},
year = {2018}
}
@inproceedings{Allamanis2017b,
author = {Allamanis, M. and Brockschmidt, M. and Khademi, M.},
booktitle = {International Conference on Learning Representations (ICLR)},
title = {{Learning to Represent Programs with Graphs}},
year = {2017}
}
@inproceedings{Allamanis2018,
author = {Allamanis, M.},
booktitle = {ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software},
publisher = {ACM},
title = {{The Adverse Effects of Code Duplication in Machine Learning Models of Code}},
year = {2019}
}
@misc{Allen1984,
author = {Allen, J. R. and Kennedy, K.},
booktitle = {Supercomputers: Design and Applications},
title = {{PFC: A Program to Convert Fortran to Parallel Form}},
year = {1984}
}
@misc{Allen1987,
author = {Allen, R. and Callahan, D. and Kennedy, K.},
booktitle = {POPL},
title = {{Automatic Decomposition of Scientific Programs for Parallel Execution}},
url = {http://portal.acm.org/citation.cfm?doid=41625.41631{\%}5Cnhttp://dl.acm.org/citation.cfm?id=41631},
year = {1987}
}
@inproceedings{Alnaeli2012a,
author = {Alnaeli, S. M. and Maletic, J. I.},
booktitle = {WCRE},
title = {{Empirically Examining the Parallelizability of Open Source Software Systems}},
year = {2012}
}
@inproceedings{Alon2018a,
author = {Alon, U. and Zilberstein, M. and Levy, O. and Yahav, E.},
booktitle = {Symposium on Principles of Programming Languages (POPL)},
title = {{code2vec: Learning Distributed Representations of Code}},
year = {2018}
}
@inproceedings{Alon2018c,
author = {Alon, U. and Zilberstein, M. and Levy, O. and Yahav, E.},
booktitle = {ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)},
publisher = {ACM},
title = {{A General Path-Based Representation for Predicting Program Properties}},
year = {2018}
}
@inproceedings{Alsaber2013,
author = {Alsaber, N. and Kulkarni, M.},
booktitle = {ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP)},
title = {{SemCache: Semantics-aware Caching for Efficient GPU Offloading}},
year = {2015}
}
@inproceedings{Amaris2015,
author = {Amar{\'{i}}s, M. and Cordeiro, D. and Goldman, A. and {De Camargo}, R. Y.},
booktitle = {International Conference on High Performance Computing (HiPC)},
title = {{A Simple BSP-based Model to Predict Execution Time in GPU Applications}},
year = {2015}
}
@inproceedings{Amato,
author = {Amato, N. M.},
booktitle = {ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP)},
title = {{A Hierarchical Approach to Reducing Communication in Parallel Graph Algorithms}},
year = {2015}
}
@inproceedings{Amer2015,
author = {Amer, A. and Lu, H.},
booktitle = {ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP)},
title = {{MPI + Threads : Runtime Contention and Remedies}},
year = {2015}
}
@misc{Anderson,
title = {{Notes on Machine Learning Models}},
year = {2018}
}
@article{Anderson2017,
author = {Anderson, A. and Gregg, D.},
journal = {arXiv:1710.01079},
title = {{Optimal DNN Primitive Selection with Partitioned Boolean Quadratic Programming}},
year = {2017}
}
@misc{AndersonP.W.1972,
author = {{Anderson P. W.}},
booktitle = {Science},
number = {4047},
title = {{More is Different}},
volume = {177},
year = {1972}
}
@article{Andor2016,
author = {Andor, D. and Alberti, C. and Weiss, D. and Severyn, A. and Presta, A. and Ganchev, K. and Petrov, S. and Collins, M.},
title = {{Globally Normalized Transition-Based Neural Networks}},
year = {2016}
}
@article{Andrae2015,
author = {Andrae, A. S. G. and Edler, T.},
journal = {Challenges},
number = {1},
title = {{On Global Electricity Usage of Communication Technology: Trends to 2030}},
volume = {6},
year = {2015}
}
@article{Andrae2019,
author = {Andrae, A. S. G.},
journal = {International Journal of Science and Engineering Investigations (IJSEI)},
number = {86},
title = {{Prediction Studies of Electricity Use of Global Computing in 2030}},
volume = {8},
year = {2019}
}
@inproceedings{Andrychowicz2016a,
author = {Andrychowicz, M. and Denil, M. and Gomez, S. and Hoffman, M. W. and Pfau, D. and Schaul, T. and de Freitas, N.},
booktitle = {Conference on Neural Information Processing Systems (NIPS)},
title = {{Learning to Learn by Gradient Descent by Gradient Descent}},
year = {2016}
}
@inproceedings{Annesi2014,
author = {Annesi, P. and Croce, D. and Basili, R.},
booktitle = {CIKM},
title = {{Semantic Compositionality in Tree Kernels}},
year = {2014}
}
@inproceedings{Anonymous2019,
author = {Anonymous},
booktitle = {Under Review},
title = {{Program Synthesis with Learned Code Idioms}},
year = {2018}
}
@phdthesis{Ansel2009,
author = {Ansel, Jason},
school = {MIT},
title = {{PetaBricks: a language and compiler for algorithmic choice}},
year = {2009}
}
@inproceedings{Ansel2009a,
author = {Ansel, A. and Chan, C. and Wong, Y. L. and Olszewski, M. and Zhao, Q. and Edelman, A. and Amarasinghe, S.},
booktitle = {ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)},
publisher = {ACM},
title = {{PetaBricks: A Language and Compiler for Algorithmic Choice}},
year = {2009}
}
@article{Ansel2010,
author = {Ansel, J. and Chan, C.},
journal = {XRDS: Crossroads, The ACM Magazine for Students},
month = {sep},
number = {1},
title = {{PetaBricks}},
volume = {17},
year = {2010}
}
@inproceedings{Ansel2012,
author = {Ansel, J. and Reilly, U. O.},
booktitle = {International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES)},
publisher = {ACM},
title = {{SiblingRivalry: Online Autotuning Through Local Competitions}},
year = {2012}
}
@inproceedings{Ansel2013,
author = {Ansel, J. and Kamil, S. and Veeramachaneni, K. and Reilly, U. O. and Amarasinghe, S.},
booktitle = {International Conference on Parallel Architectures and Compilation Techniques (PACT)},
publisher = {ACM},
title = {{OpenTuner: An Extensible Framework for Program Autotuning}},
year = {2013}
}
@phdthesis{Ansel2014,
author = {Ansel, J.},
school = {Massachusetts Institute of Technology},
title = {{Autotuning Programs with Algorithmic Choice}},
year = {2014}
}
@inproceedings{Anzt,
author = {Anzt, H. and Dongarra, J.},
booktitle = {ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP)},
title = {{Energy Efficiency and Performance Frontiers for Sparse Computations on GPU Supercomputers}},
year = {2015}
}
@misc{Api2011,
author = {{Khronos OpenCL Group Inc}},
title = {{OpenCL 1.2 Reference Card}},
year = {2011}
}
@misc{Arapinis2014,
author = {{University of Edinburgh}},
title = {{02. Propositional Logic}},
year = {2015}
}
@misc{Arapinis2014a,
author = {{University of Edinburgh}},
title = {{03. Predicate logic}},
year = {2015}
}
@misc{Arapinis2014b,
author = {{University of Edinburgh}},
title = {{14. Algorithms}},
year = {2015}
}
@misc{Arapinis2014c,
author = {{University of Edinburgh}},
title = {{04. Proof techniques}},
year = {2015}
}
@misc{Arapinis2014d,
author = {{University of Edinburgh}},
title = {{10. The principle of (ordinary) induction}},
year = {2015}
}
@misc{Arapinis2014e,
author = {{University of Edinburgh}},
title = {{06. Relations}},
year = {2015}
}
@misc{Arapinis2014f,
author = {{University of Edinburgh}},
title = {{08. Sequences, sums, cardinality}},
year = {2015}
}
@article{Archer2018,
author = {Archer, Aaron and Aydin, Kevin and Bateni, Mohammad Hossein and Mirrokni, Vahab and Schild, Aaron and Yang, Ray},
journal = {Proceedings of the VLDB Endowment},
number = {6},
title = {{Cacheaware load balancing of data center applications}},
volume = {12},
year = {2018}
}
@article{Arcuri2012,
author = {Arcuri, Andrea and Iqbal, Muhammad Zohaib and Briand, Lionel},
journal = {TSE},
number = {2},
title = {{Random testing: Theoretical results and practical implications}},
volume = {38},
year = {2012}
}
@article{Arjovsky2017a,
author = {Arjovsky, M. and Chintala, S. and Bottou, L.},
journal = {arXiv:1701.07875},
title = {{Wasserstein GAN}},
year = {2017}
}
@inproceedings{Arslan,
author = {Arslan, Mehmet Ali},
booktitle = {ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP)},
title = {{Programming Support for Reconfigurable Custom Vector Architectures}},
year = {2015}
}
@article{Asanovic2009,
author = {Asanovic, K. and Wawrzynek, J. and Wessel, D. and Yelick, K. and Bodik, R. and Demmel, J. and Keaveny, T. and Keutzer, K. and Kubiatowicz, J. and Morgan, N. and Patterson, D. and Sen, K.},
journal = {Communications of the ACM},
month = {oct},
number = {10},
title = {{A view of the parallel computing landscape}},
volume = {52},
year = {2009}
}
@inproceedings{Ashari2015a,
author = {Ashari, A. and Boehm, M. and Reinwald, B. and Campbell, K.},
booktitle = {ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP)},
title = {{On Optimizing Machine Learning Workloads via Kernel Fusion}},
year = {2015}
}
@article{Ashouri2016,
author = {Ashouri, A. H. and Milano, G. and Palermo, G. and Park, E. and Cavazos, J. and Silvano, C.},
journal = {ACM Transactions on Architecture and Code Optimization (TACO)},
number = {2},
title = {{COBAYN: Compiler Autotuning Framework Using Bayesian Networks}},
volume = {13},
year = {2016}
}
@inproceedings{Ashouri2016a,
author = {Ashouri, A. H. and Bignoli, A. and Palermo, G. and Silvano, C.},
booktitle = {PARMA-DITAM},
title = {{Predictive Modeling Methodology for Compiler Phase-Ordering}},
year = {2016}
}
@article{Ashouri2017,
author = {Ashouri, A. H. and Bignoli, A. and Palermo, G. and Silvano, C. and Kulkarni, S. and Cavazos, J.},
journal = {ACM Transactions on Architecture and Code Optimization (TACO)},
title = {{MiCOMP: Mitigating the Compiler Phase-ordering Problem Using Optimization Sub-sequences and Machine Learning}},
year = {2017}
}
@article{Ashouri2018,
author = {Ashouri, A. H. and Killian, W. and Cavazos, J. and Palermo, G. and Silvano, C.},
journal = {ACM Computing Surveys (CSUR)},
number = {5},
title = {{A Survey on Compiler Autotuning using Machine Learning}},
volume = {51},
year = {2018}
}
@inproceedings{Astorga2016,
author = {Astorga, Rio and Dolz, Manuel F and Sanchez, Luis Miguel and Garc{\'{i}}a, J Daniel},
booktitle = {PMAM},
title = {{Discovering Pipeline Parallel Patterns in Sequential Legacy C ++ Codes}},
year = {2016}
}
@phdthesis{Atkin-granville2013,
author = {Atkin-granville, C. E.},
school = {University of Edinburgh},
title = {{Parallelism Detection using Dynamic Instrumentation in a Virtual Machine}},
year = {2013}
}
@unpublished{Atre,
author = {Atre, R. and Jannesari, A.},
title = {{The Basic Building Blocks of Parallel Tasks}}
}
@inproceedings{Aubrey-Jones2014,
author = {Aubrey-Jones, T and Fischer, B},
booktitle = {HLPP},
title = {{Synthesizing MPI Implementations from Functional Data-Parallel Programs}},
year = {2014}
}
@inproceedings{Auler2014,
author = {Auler, R. and Borin, E. and de Halleux, P. and Moskal, M. and Tillmann, N.},
booktitle = {CC},
publisher = {Springer},
title = {{Addressing JavaScript JIT engines performance quirks: A crowdsourced adaptive compiler}},
year = {2014}
}
@inproceedings{Ausavarungnirun2015,
author = {Ausavarungnirun, R. and Ghose, S. and Kayiran, O. and Loh, G. H. and Das, C. R. and Kandemir, M. T. and Mutlu, O.},
booktitle = {International Conference on Parallel Architectures and Compilation Techniques (PACT)},
publisher = {ACM},
title = {{Exploiting Inter-Warp Heterogeneity to Improve GPGPU Performance}},
year = {2015}
}
@inproceedings{Auslander1996,
address = {New York, New York, USA},
author = {Auslander, J. and Philipose, M. and Chambers, C. and Eggers, S. J. and Bershad, B. N.},
booktitle = {ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)},
publisher = {ACM},
title = {{Fast, effective dynamic compilation}},
year = {1996}
}
@article{Authors2019,
author = {Authors, Anonymous},
number = {Icml},
title = {{Reinforcement Compiler Fuzzing}},
year = {2019}
}
@inproceedings{Awatramani2015,
author = {Awatramani, M. and Zhu, X. and Zambreno, J. and Rover, D.},
booktitle = {International Conference on Parallel Architectures and Compilation Techniques (PACT)},
publisher = {ACM},
title = {{Phase Aware Warp Scheduling: Mitigating Effects of Phase Behavior in GPGPU Applications}},
year = {2015}
}
@article{Ayguade2009a,
author = {Ayguade, E. and Copty, Nawal and Duran, Alejandro and Hoeflinger, Jay and Massaioli, Federico and Teruel, Xavier and Unnikrishnan, Priya and Society, Ieee Computer and Lin, Yuan and Zhang, Guansong},
journal = {TPDS},
month = {mar},
number = {3},
shorttitle = {Parallel and Distributed Systems, IEEE Transaction},
title = {{The Design of OpenMP Tasks}},
volume = {20},
year = {2009}
}
@article{Ba2014,
author = {Ba, L. J. and Caruana, R.},
journal = {arXiv:1312.6184},
title = {{Do Deep Nets Really Need to be Deep?}},
year = {2014}
}
@article{Ba2016,
author = {Ba, J. L. and Kiros, J. R. and Hinton, G. E.},
journal = {arXiv:1607.06450},
title = {{Layer Normalization}},
year = {2016}
}
@article{Babii,
author = {Babii, H. and Janes, A. and Robbes, R.},
journal = {arXiv:1904.01873},
title = {{Modeling Vocabulary for Big Code Machine Learning}},
year = {2019}
}
@article{Bacci1999,
author = {Bacci, B. and Danelutto, M. and Pelagatti, S. and Vanneschi, M.},
journal = {Parallel Computing},
number = {13-14},
title = {{SkIE: A heterogeneous environment for HPC applications}},
volume = {25},
year = {1999}
}
@article{Bacon1994,
author = {Bacon, D. F. and Graham, S. L. and Sharp, O. J.},
journal = {ACM Computing Surveys (CSUR)},
number = {4},
title = {{Compiler transformations for high-performance computing}},
volume = {26},
year = {1994}
}
@article{Bacoyannis2018,
author = {Bacoyannis, V. and Glukhov, V. and Jin, T. and Kochems, J. and {Re Song}, D.},
journal = {arXiv:1811.09549},
title = {{Idiosyncrasies and challenges of data driven learning in electronic trading}},
year = {2018}
}
@article{Bader2019,
author = {Bader, J. and Scott, A. and Pradel, M. and Chandra, S.},
journal = {arXiv:1902.06111},
title = {{Getafix: Learning to Fix Bugs Automatically}},
year = {2019}
}
@inproceedings{Baek2010,
author = {Baek, Woongki and Chilimbi, Trishul M.},
booktitle = {ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)},
publisher = {ACM},
title = {{Green: A Framework for Supporting Energy-Conscious Programming using Controlled Approximation}},
year = {2010}
}
@inproceedings{Baghsorkhi2010,
author = {Baghsorkhi, S. S. and Delahaye, M. and Patel, S. J. and Gropp, W. D. and Hwu, W. W.},
booktitle = {ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP)},
title = {{An Adaptive Performance Modeling Tool for GPU Architectures}},
year = {2010}
}
@inproceedings{Baghsorkhi2016,
address = {Santa Barbara, CA},
author = {Baghsorkhi, S. S. and Vasudevan, N. and Wu, Y.},
booktitle = {ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)},
publisher = {ACM},
title = {{FlexVec: auto-vectorization for irregular loops}},
year = {2016}
}
@article{Bahdanau2015,
author = {Bahdanau, D. and Chorowski, J. and Serdyuk, D. and Brakel, P. and Bengio, U.},
journal = {arXiv:1508.04395},
title = {{End-to-End Attention-based Large Vocabulary Speech Recognition}},
year = {2015}
}
@article{Bailey1991,
author = {Bailey, D. H.},
number = {4},
title = {{Automatic Translation of Fortran Programs to Multiprecision}},
volume = {9},
year = {1991}
}
@article{Bailey1991a,
author = {Bailey, D. H. and Barszcz, E. and Barton, J. and Browning, D. and Carter, R. and Dagum, L. and Fatoohi, R. and Fineberg, S. and Frederickson, P. and Lasinski, T. and Schreiber, R. and Simon, H. and Venkatakrishnan, V. and Weeratunga, S.},
journal = {International Journal of High Performance Computing Applications (IJHPCA)},
number = {3},
title = {{The NAS Parallel Benchmarks}},
volume = {5},
year = {1991}
}
@inproceedings{Baishakhi2014a,
author = {Baishakhi, R. and Posnett, D. and Filkov, V. and Devanbu, P.},
booktitle = {ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE)},
publisher = {ACM},
title = {{A Large Scale Study of Programming Languages and Code Quality in Github}},
year = {2014}
}
@article{Baker2016,
author = {Baker, B. and Gupta, O. and Naik, N. and Raskar, R.},
journal = {arXiv:1611.02167v2},
title = {{Designing Neural Network Architectures using Reinforcement Learning}},
year = {2016}
}
@inproceedings{Bakker2001,
author = {Bakker, B.},
booktitle = {Conference on Neural Information Processing Systems (NIPS)},
title = {{Reinforcement Learning with Long Short-Term Memory}},
year = {2001}
}
@inproceedings{Bala2000,
author = {Bala, V. and Duesterwald, E. and Banerjia, S.},
booktitle = {ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)},
publisher = {ACM},
title = {{Dynamo: A Transparent Dynamic Optimization System}},
year = {2000}
}
@inproceedings{Balaprakash2012,
author = {Balaprakash, P. and Wild, S. M. and Norris, B.},
booktitle = {Procedia Computer Science},
title = {{SPAPT: Search problems in automatic performance tuning}},
year = {2012}
}
@inproceedings{Balaprakash2013,
author = {Balaprakash, P. and Gramacy, R. B. and Wild, S. M.},
booktitle = {CLUSTER},
publisher = {IEEE},
title = {{Active-learning-based surrogate models for empirical performance tuning}},
year = {2013}
}
@book{Balasundaram1991,
author = {Balasundaram, V. and Fox, G. and Kennedy, K. and Kremer, U.},
publisher = {ACM},
title = {{A static performance estimator to guide data partitioning decisions}},
year = {1991}
}
@article{Baldassi2016,
author = {Baldassi, C. and Borgs, C. and Chayes, J. and Ingrosso, A. and Lucibello, C. and Saglietti, L. and Zecchina, R.},
journal = {arXiv:1605.06444},
title = {{Unreasonable Effectiveness of Learning Neural Nets: Accessible States and Robust Ensembles}},
year = {2016}
}
@inproceedings{Baldassin,
author = {Baldassin, Alexandro and Araujo, Guido},
booktitle = {ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP)},
title = {{Performance Implications of Dynamic Memory Allocators on Transactional Memory Systems}},
year = {2015}
}
@article{Balduzzi2017,
author = {Balduzzi, D. and Frean, M. and Leary, L. and Lewis, J. and Ma, K. W. and McWilliams, B.},
journal = {arXiv:1702.08591},
title = {{The Shattered Gradients Problem: If resnets are the answer, then what is the question?}},
year = {2017}
}
@article{Ball1994,
author = {Ball, T. and Larus, J. R.},
journal = {TOPLAS},
number = {4},
title = {{Optimally profiling and tracing programs}},
volume = {16},
year = {1994}
}
@inproceedings{Balog2017,
author = {Balog, M. and Gaunt, A. L. and Brockschmidt, M. and Nowozin, S. and Tarlow, D.},
booktitle = {International Conference on Learning Representations (ICLR)},
title = {{DeepCoder: Learning to Write Programs}},
year = {2017}
}
@book{Banerjee1990,
author = {Banerjee, Utpal},
publisher = {University of Illinois at Urbana-Champaign, Center for Supercomputing Research and Development},
title = {{Unimodular transformations of double loops}},
year = {1990}
}
@article{Banerjee1993,
author = {Banerjee, Utpal and Eigenmann, Rudolf and Nicolau, Alexandru},
journal = {Proceedings of the IEEE},
number = {2},
title = {{Automatic program parallelization}},
volume = {81},
year = {1993}
}
@inproceedings{Bansal2006,
author = {Bansal, S. and Aiken, A.},
booktitle = {International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)},
publisher = {ACM},
title = {{Automatic generation of peephole superoptimizers}},
year = {2006}
}
@inproceedings{Bardsley2014,
author = {Bardsley, E. and Betts, A. and Chong, N. and Collingbourne, P. and Deligiannis, P. and Donaldson, A. and Ketema, J. and Liew, D. and Qadeer, S.},
booktitle = {CAV},
title = {{Engineering a Static Verification Tool for GPU Kernels}},
year = {2014}
}
@inproceedings{Barik2016,
author = {Barik, Rajkishore and Lewis, Brian T},
booktitle = {International Symposium on Code Generation and Optimization (CGO)},
publisher = {IEEE},
title = {{A Black-box Approach to Energy-Aware Scheduling on Integrated CPU-GPU Systems}},
year = {2016}
}
@inproceedings{Barik2017,
author = {Barik, T. and Smith, J. and Lubick, K. and Holmes, E. and Feng, J. and Murphy-Hill, E. and Parnin, C.},
booktitle = {International Conference on Software Engineering (ICSE)},
publisher = {IEEE},
title = {{Do Developers Read Compiler Error Messages?}},
year = {2017}
}
@inproceedings{Barnes2008,
author = {Barnes, B. J. and Rountree, B. and Lowenthal, D. K. and Livermore, L. and Schulz, M.},
booktitle = {ACM/IEEE Supercomputing Conference (SC)},
publisher = {ACM},
title = {{A Regression-Based Approach to Scalability Prediction}},
year = {2008}
}
@inproceedings{Baroni2014,
author = {Baroni, M. and Dinu, G. and Kruszewski, G.},
booktitle = {Annual Meeting of the Association for Computational Linguistics (ACL)},
title = {{Don't Count, Predict! A Systematic Comparison of Context-Counting vs . Context-Predicting Semantic Vectors}},
year = {2014}
}
@inproceedings{Barrett2015,
author = {Barrett, Richard F and Stark, Dylan T and Vaughan, Courtenay T and Olivier, Stephen L and Pedretti, Kevin T and Grant, Ryan E},
booktitle = {ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP)},
title = {{Toward an Evolutionary Task Parallel Integrated MPI + X Programming Model}},
year = {2015}
}
@article{Barrett2016,
author = {Barrett, E. and Bolz-Tereick, C. F. and Killick, R. and Mount, S. and Tratt, L.},
journal = {arXiv:1602.00602},
title = {{Virtual Machine Warmup Blows Hot and Cold}},
year = {2016}
}
@inproceedings{Bash2015,
author = {Dijkstra, E. W.},
booktitle = {ACM Turing Lecture},
title = {{The Humble Programmer}},
year = {1972}
}
@phdthesis{Bash2015a,
author = {Manson, Jeremy},
title = {{The Java Memory Model}},
year = {2004}
}
@phdthesis{Bash2015b,
author = {Lutz, Thibaut},
school = {University of Edinburgh},
title = {{Enhancing Productivity and Performance Portability of OpenCL Applications on Heterogeneous Systems using Runtime Optimizations}},
year = {2015}
}
@article{Basically1995,
author = {Basically, C},
journal = {C++ Report},
number = {January},
title = {min, max, and more},
year = {1995}
}
@inproceedings{Baskaran2010,
author = {Baskaran, Muthu Manikandan and Ramanujam, J. and Sadayappan, P.},
booktitle = {CC},