-
Notifications
You must be signed in to change notification settings - Fork 0
/
refs.bib
9438 lines (8490 loc) · 328 KB
/
refs.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 First, our group's publications, reverse chronological
@Comment ================================================================================
@Comment Submitted papers
@Comment ----------------------------------------
@misc{generic-proofs-draft,
title={Deriving Law-Abiding Instances},
author={{Ryan G. Scott} and {Vikraman Choudhury} and {Ryan R. Newton} and {Niki Vazou} and {Ranjit Jhala}},
series = {Haskell '17},
location = {Oxford, UK},
year = {2017},
publisher = {ACM},
howpublished ={In submission to Haskell'17, draft at: \url{http://www.cs.indiana.edu/~rrnewton/lawabiding_draft.pdf}}
}
@misc{draft-ambrosia,
author = {Jonathan Goldstein and Ahmed Abdelhamid and Mike Barnett and Sebastian Burckhardt and Badrish Chandramouli and Darren Gehring and Niel Lebeck and Umar Farooq Minhas and Ryan Newton and Rahee Ghosh Peshawaria and Irene Zhang},
title = {A.M.B.R.O.S.I.A: Providing Performant Virtual Resiliency for Distributed Applications},
howpublished = {In submission to SIGMOD 2019, draft at \url{https://bit.ly/2rH3HPf}}
}
@Comment \url{https://www.microsoft.com/en-us/research/publication/a-m-b-r-o-s-i-a-providing-performant-virtual-resiliency-for-distributed-applications/}
@misc{draft-detbox,
title={Reproducible Containers for Bitwise-Exact Software Builds},
author={Omar Navarro Leija and Kelly Shiptoski and Ryan Scott and Ryan Newton and Joseph Devietti},
howpublished = {Working draft for submission to SOSP'18, draft at
\url{https://www.cs.indiana.edu/~rrnewton/papers/2018-08-dettrace-draft.pdf}},
}
@misc{draft-location-calc,
title={LoCal: A Language for Programs Operating on Serialized Data},
author={Michael Vollmer and Chaitanya Koparkar and Mike Rainey and Laith Sakka and Milind Kulkarni and Ryan Newton},
howpublished = {In submission to PLDI'19, draft at
\url{https://www.cs.indiana.edu/~rrnewton/papers/2018-11-location-calc-draft.pdf}},
}
@misc{draft-treefuser2,
title={Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees},
author={Laith Sakka and Kirshanthan Sundararajah and Ryan R. Newton and Milind Kulkarni},
howpublished = {In submission to PLDI'19.},
}
@Comment Published/Accepted papers
@Comment ----------------------------------------
@Comment |2018|
@Comment ------
@article{popl18-linear-haskell,
author = {Bernardy, Jean-Philippe and Boespflug, Mathieu and Newton, Ryan R. and Peyton Jones, Simon and Spiwack, Arnaud},
title = {Linear Haskell: Practical Linearity in a Higher-order Polymorphic Language},
journal = {Proc. of ACM Principles of Programming Languages (POPL) 2018},
issue_date = {January 2018},
url = {http://doi.acm.org/10.1145/3158093},
doi = {10.1145/3158093},
acmid = {3158093},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {GHC, Haskell, laziness, linear logic, linear types, polymorphism, typestate},
}
@article{popl18-lh-prover,
author = {Vazou, Niki and Tondwalkar, Anish and Choudhury, Vikraman and Scott, Ryan G. and Newton, Ryan R. and Wadler, Philip and Jhala, Ranjit},
title = {Refinement Reflection: Complete Verification with SMT},
journal = {Proc. of ACM Principles of Programming Languages (POPL) 2018},
url = {http://doi.acm.org/10.1145/3158141},
doi = {10.1145/3158141},
acmid = {3158141},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Haskell, refinement types, theorem proving, verification},
}
@Comment |2017|
@Comment ------
@article{oopsla17-detflow,
author = {Scott, Ryan G. and Navarro Leija, Omar S. and Devietti, Joseph and Newton, Ryan R.},
title = {Monadic Composition for Deterministic, Parallel Batch Processing},
journal = {Proc. ACM Program. Lang.},
issue_date = {October 2017},
volume = {1},
number = {OOPSLA},
month = oct,
year = {2017},
issn = {2475-1421},
pages = {73:1--73:26},
articleno = {73},
numpages = {26},
url = {http://doi.acm.org/10.1145/3133897},
doi = {10.1145/3133897},
acmid = {3133897},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Haskell, concurrency, deterministic parallelism},
}
@article{pldi17-liteprof,
author = {Chamith, Buddhika and Svensson, Bo Joel and Dalessandro, Luke and Newton, Ryan R.},
title = {Instruction Punning: Lightweight Instrumentation for x86-64},
journal = {Proceedings of the ACM SIGPLAN Conference on Programming Language Design And Implementation (PLDI)},
issue_date = {June 2017},
volume = {52},
number = {6},
month = jun,
year = {2017},
issn = {0362-1340},
pages = {320--332},
numpages = {13},
url = {http://doi.acm.org/10.1145/3140587.3062344},
doi = {10.1145/3140587.3062344},
acmid = {3062344},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {application profiling, dynamic instrumentation},
}
@InProceedings{ecoop17-gibbon,
author = {Michael Vollmer and Sarah Spall and Buddhika Chamith and Laith Sakka and Chaitanya Koparkar and Milind Kulkarni and Sam Tobin-Hochstadt and Ryan R. Newton},
title = {{Compiling Tree Transforms to Operate on Packed Representations}},
booktitle = {31st European Conference on Object-Oriented Programming (ECOOP 2017)},
pages = {26:1--26:29},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-035-4},
ISSN = {1868-8969},
year = {2017},
volume = {74},
editor = {Peter M{\"u}ller},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2017/7273},
URN = {urn:nbn:de:0030-drops-72737},
doi = {10.4230/LIPIcs.ECOOP.2017.26},
annote = {Keywords: compiler optimization, program transformation, tree traversal}
}
@article{ppopp17-sc-haskell,
author = {Vollmer, Michael and Scott, Ryan G. and Musuvathi, Madanlal and Newton, Ryan R.},
title = {SC-Haskell: Sequential Consistency in Languages That Minimize Mutable Shared Heap},
journal = {SIGPLAN Not.},
issue_date = {August 2017},
volume = {52},
number = {8},
month = jan,
year = {2017},
issn = {0362-1340},
pages = {283--298},
numpages = {16},
url = {http://doi.acm.org/10.1145/3155284.3018746},
doi = {10.1145/3155284.3018746},
acmid = {3018746},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {functional programming, memory models, sequential consistency},
}
@misc{haskell17-adaptive,
title={Adaptive Lock-Free Data Structures: A General Method for Concurrent Implementation Swapping},
author={{Chao-Hong Chen} and {Vikraman Choudhury} and Ryan R. Newton},
series = {Haskell '17},
location = {Oxford, UK},
year = {2017},
publisher = {ACM},
howpublished ={In submission to Haskell'17, draft at: \url{http://www.cs.indiana.edu/~rrnewton/papers/adaptive2_draft.pdf}}
}
@Comment |2016|
@Comment ------
@inproceedings{ghostbuster,
author = {McDonell, Trevor L. and Zakian, Timothy A. K. and Cimini, Matteo and Newton, Ryan R.},
title = {Ghostbuster: A Tool for Simplifying and Converting GADTs},
booktitle = {Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming},
series = {ICFP 2016},
year = {2016},
isbn = {978-1-4503-4219-3},
location = {Nara, Japan},
pages = {338--350},
numpages = {13},
url = {http://doi.acm.org/10.1145/2951913.2951914},
doi = {10.1145/2951913.2951914},
acmid = {2951914},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Datatypes, GADTs, Haskell},
}
@inproceedings{pldi16-crossmod,
author = {Buddhika Chamith and
Bo Joel Svensson and
Luke Dalessandro and
Ryan R. Newton},
title = {Living on the Edge: Rapid-Toggling Probes with Cross-Modification
on x86},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation (PLDI), Santa Barbara, CA,
USA, June 13-17, 2016},
pages = {16--26},
year = {2016},
url = {http://www.cs.indiana.edu/~rrnewton/papers/pldi16-crossmod.pdf},
doi = {10.1145/2908080.2908084},
timestamp = {Mon, 06 Jun 2016 12:07:41 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/pldi/ChamithSDN16},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@Comment url = {http://doi.acm.org/10.1145/2908080.2908084},
@inproceedings{lvish-ppopp,
author = {Newton, Ryan R. and A\u{g}acan, \"{O}mer S. and Fogg, Peter and Tobin-Hochstadt, Sam},
title = {Parallel Type-checking with Haskell Using Saturating LVars and Stream Generators},
booktitle = {Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming},
series = {PPoPP '16},
year = {2016},
isbn = {978-1-4503-4092-2},
location = {Barcelona, Spain},
pages = {6:1--6:12},
articleno = {6},
numpages = {12},
url = {http://doi.acm.org/10.1145/2851141.2851142},
doi = {10.1145/2851141.2851142},
acmid = {2851142},
publisher = {ACM},
address = {New York, NY, USA},
}
@article{obsidian-jfp16,
author = {Bo Joel Svensson and
Ryan R. Newton and
Mary Sheeran},
title = {A language for hierarchical data parallel design-space exploration
on GPUs},
journal = {J. Funct. Program.},
volume = {26},
pages = {e6},
year = {2016},
url = {http://dx.doi.org/10.1017/S0956796816000046},
doi = {10.1017/S0956796816000046},
timestamp = {Thu, 22 Sep 2016 01:00:00 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/journals/jfp/SvenssonNS16},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@Comment |2015|
@Comment ------
@Comment |2014|
@Comment ------
@Comment |2013|
@Comment ------
@Comment |2012|
@Comment ------
@Comment |2011|
@Comment ------
@inproceedings{monad-par,
author = {Marlow, Simon and Newton, Ryan R. and Peyton Jones, Simon},
title = {A monad for deterministic parallelism},
booktitle = {Proceedings of the 4th ACM symposium on {H}askell},
series = {Haskell '11},
year = {2011},
pages = {71--82},
publisher = {ACM},
}
isbn = {978-1-4503-0860-1},
location = {Tokyo, Japan},
numpages = {12},
url = {http://doi.acm.org/10.1145/2034675.2034685},
doi = {http://doi.acm.org/10.1145/2034675.2034685},
acmid = {2034685},
address = {New York, NY, USA},
keywords = {haskell, parallel},
@Comment |2009|
@Comment ------
@phdthesis{ryan-thesis,
author = {Ryan Rhodes Newton},
title = {Language Design for Distributed Stream Processing},
year = {2009},
school = {MIT},
OPTpublisher = {MIT},
url = {\url{http://dspace.mit.edu/handle/1721.1/46795}},
}
@Comment Other publications:
@Comment ================================================================================
@inproceedings{Atkey:Unembedding,
author = {Robert Atkey and
Sam Lindley and
Jeremy Yallop},
title = {Unembedding domain-specific languages},
booktitle = {Haskell Symposium},
year = {2009}
}
@inproceedings{Grewe:2013,
author = {Dominik Grewe and Zheng Wang and Michael O'Boyle},
title = {{OpenCL} Task Partitioning in the Presence of {GPU} Contention},
booktitle = {Languages and Compilers for Parallel Computing},
year = {2013},
}
@inproceedings{Grewe:2011,
author = {Grewe, Dominik and O'Boyle, Michael F. P.},
title = {A Static Task Partitioning Approach for Heterogeneous Systems Using OpenCL},
booktitle = {International Conference on Compiler Construction},
year = {2011},
publisher = {Springer-Verlag},
}
series = {CC'11/ETAPS'11},
isbn = {978-3-642-19860-1},
location = {Saarbr\&\#252;cken, Germany},
pages = {286--305},
numpages = {20},
url = {http://dl.acm.org/citation.cfm?id=1987237.1987259},
acmid = {1987259},
address = {Berlin, Heidelberg},
keywords = {heterogeneous programming, openCL, parallel programming, static code analysis, task partitioning},
@inproceedings{Merrill:2012dl,
author = {Merrill, Duane and Garland, Michael and Grimshaw, Andrew and Merrill, Duane and Garland, Michael and Grimshaw, Andrew},
title = {{Scalable GPU graph traversal}},
booktitle = {Principles and Practice of Parallel Programming},
year = {2012},
publisher = {ACM},
}
pages = {117--128},
address = {New York, New York, USA},
month = sep
@inproceedings{Rompf:2013er,
author = {Rompf, Tiark and Sujeeth, Arvind K and Amin, Nada and Brown, Kevin J and Jovanovic, Vojin and Lee, HyoukJoong and Jonnalagedda, Manohar and Olukotun, Kunle and Odersky, Martin},
title = {{Optimizing data structures in high-level programs: new directions for extensible compilers based on staging}},
booktitle = {Principles of programming languages},
year = {2013},
publisher = {ACM},
}
month = jan
@inproceedings{Goldfarb:2013,
author = {Goldfarb, Michael and Jo, Youngjoon and Kulkarni, Milind},
title = {General Transformations for {GPU} Execution of Tree Traversals},
booktitle = {High Performance Computing, Networking, Storage and Analysis},
year = {2013},
publisher = {ACM},
}
series = {SC '13},
isbn = {978-1-4503-2378-9},
location = {Denver, Colorado},
pages = {10:1--10:12},
articleno = {10},
numpages = {12},
url = {http://doi.acm.org/10.1145/2503210.2503223},
doi = {10.1145/2503210.2503223},
acmid = {2503223},
address = {New York, NY, USA},
keywords = {GPU, irregular programs, tree traversals, vectorization},
@inproceedings{Chen:2012,
author = {Chen, Linchuan and Huo, Xin and Agrawal, Gagan},
title = {Accelerating {MapReduce} on a Coupled {CPU-GPU} Architecture},
booktitle = {High Performance Computing, Networking, Storage and Analysis},
year = {2012},
publisher={IEEE}
}
pages = {1--11},
series = {SC '12},
isbn = {978-1-4673-0804-5},
location = {Salt Lake City, Utah},
articleno = {25},
numpages = {11},
url = {http://dl.acm.org/citation.cfm?id=2388996.2389030},
acmid = {2389030},
publisher = {IEEE Computer Society Press},
address = {Los Alamitos, CA, USA},
@article{Grelck:2006,
author = {Grelck, Clemens and Scholz, Sven-Bodo},
title = {{SAC:} {A} Functional Array Language for Efficient Multi-threaded Execution},
journal = {Journal of Parallel Programming},
issue_date = {August 2006},
volume = {34},
number = {4},
month = aug,
year = {2006},
issn = {0885-7458},
pages = {383--427},
numpages = {45},
url = {http://dx.doi.org/10.1007/s10766-006-0018-x},
doi = {10.1007/s10766-006-0018-x},
acmid = {1182760},
publisher = {Kluwer Academic Publishers},
address = {Norwell, MA, USA},
keywords = {compiler optimisation, data parallel programming, multithreading, single assignment C},
}
@misc{matlab,
title={MATLAB},
author={{The MathWorks, Inc.}},
address={Natick, Massachusetts, United States},
}
@inproceedings{Iverson:1962,
author = {Iverson, Kenneth E.},
title = {{A programming language}},
booktitle = {AIEE-IRE: Joint Computer Conference},
year = {1962},
publisher = {ACM},
}
pages = {345--351},
address = {New York, NY, USA},
month = may
@inproceedings{Axelsson:2012,
author = {Axelsson, Emil},
title = {A Generic Abstract Syntax Model for Embedded Languages},
booktitle = {ICFP: International Conference on Functional Programming},
year = {2012},
publisher = {ACM},
}
series = {ICFP '12},
isbn = {978-1-4503-1054-3},
location = {Copenhagen, Denmark},
pages = {323--334},
numpages = {12},
url = {http://doi.acm.org/10.1145/2364527.2364573},
doi = {10.1145/2364527.2364573},
acmid = {2364573},
address = {New York, NY, USA},
keywords = {embedded domain-specific languages, generic programming, the expression problem},
@INPROCEEDINGS{bto-blas,
author={Siek, J.G. and Karlin, I. and Jessup, E.R.},
booktitle={Parallel and Distributed Processing},
title={Build to order linear algebra kernels},
year={2008},
}
month={April},
pages={1-8},
keywords={linear algebra;mathematics computing;program compilers;software libraries;build to order linear algebra kernels;domain-specific compiler;linear algebra subprograms;memory access;memory efficiency;software libraries;Application software;Computer interfaces;Computer science;Costs;Kernel;Linear algebra;Optimizing compilers;Productivity;Read-write memory;Software libraries},
doi={10.1109/IPDPS.2008.4536183},
ISSN={1530-2075}
@Article{fftw,
author = {Frigo, Matteo and Johnson, Steven~G.},
title = {The Design and Implementation of {FFTW3}},
journal = {Proceedings of the IEEE},
year = 2005,
volume = 93,
number = 2,
pages = {216--231},
note = {Special issue on ``Program Generation, Optimization, and Platform Adaptation''}
}
@inproceedings{Burckhardt:2011,
author = {Burckhardt, Sebastian and Leijen, Daan and Sadowski, Caitlin and Yi, Jaeheon and Ball, Thomas},
title = {Two for the Price of One: A Model for Parallel and Incremental Computation},
booktitle = {OOPSLA: International Conference on Object Oriented Programming Systems Languages and Applications},
year = {2011},
publisher = {ACM},
}
pages = {427--444},
series = {OOPSLA '11},
isbn = {978-1-4503-0940-0},
location = {Portland, Oregon, USA},
numpages = {18},
url = {http://doi.acm.org/10.1145/2048066.2048101},
doi = {10.1145/2048066.2048101},
acmid = {2048101},
address = {New York, NY, USA},
keywords = {incremental memoization, parallel programming, self-adjusting computation},
@inproceedings{dthreads,
author = {Liu, Tongping and Curtsinger, Charlie and Berger, Emery D.},
title = {Dthreads: Efficient Deterministic Multithreading},
booktitle = {Symposium on Operating Systems Principles},
year = {2011},
publisher = {ACM},
}
series = {SOSP '11},
isbn = {978-1-4503-0977-6},
location = {Cascais, Portugal},
pages = {327--336},
numpages = {10},
url = {http://doi.acm.org/10.1145/2043556.2043587},
doi = {10.1145/2043556.2043587},
acmid = {2043587},
address = {New York, NY, USA},
@misc{pgi-cuda-x86,
title={{PGI CUDA-x86}},
howpublished={\url{http://www.pgroup.com/resources/cuda-x86.htm}}
}
@misc{gpu-ocelot,
title={gpuocelot: A dynamic compilation framework for PTX},
howpublished={\url{https://code.google.com/p/gpuocelot/}}
}
@inproceedings{Diamos:2010dc,
author = {Diamos, Gregory Frederick and Kerr, Andrew Robert and Yalamanchili, Sudhakar and Clark, Nathan},
title = {{Ocelot: A dynamic optimization framework for bulk-synchronous applications in heterogeneous systems}},
booktitle = {PACT '10: The 19th international conference on Parallel Architectures and Compilation Techniques},
year = {2010},
pages = {353--364},
publisher = {ACM Press},
address = {New York, New York, USA}
}
@inproceedings{Lippmeier:2013vz,
author = {Lippmeier, Ben and Chakravarty, Manuel M T and Keller, Gabriele and Robinson, Amos},
title = {{Data Flow Fusion with Series Expressions in Haskell}},
booktitle = {Haskell Symposium},
year = {2013},
publisher = {ACM},
}
@inproceedings{Lippmeier:2012gx,
author = {Lippmeier, Ben and Chakravarty, Manuel M T and Keller, Gabriele and Jones, Simon Peyton},
title = {{Guiding parallel array fusion with indexed types}},
booktitle = {Haskell Symposium},
year = {2012},
publisher = {ACM},
}
@inproceedings{Coutts:2007kp,
author = {Coutts, Duncan and Leshchinskiy, Roman and Stewart, Don},
title = {{Stream fusion: from lists to streams to nothing at all}},
booktitle = {ICFP: International Conference on Functional Programming},
year = {2007},
publisher = {ACM},
}
pages = {315--326},
address = {New York, NY, USA}
@article{Herlihy:1995:SCC:210223.210225,
author = {Herlihy, Maurice and Lim, Beng-Hong and Shavit, Nir},
title = {Scalable concurrent counting},
journal = {ACM Trans. Comput. Syst.},
issue_date = {Nov. 1995},
volume = {13},
number = {4},
month = nov,
year = {1995},
issn = {0734-2071},
pages = {343--364},
numpages = {22},
url = {http://doi.acm.org/10.1145/210223.210225},
doi = {10.1145/210223.210225},
acmid = {210225},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {combining trees, counting networks},
}
@misc{IntelCnC,
author = {{Intel Corporation}},
title = {Intel (r) {C}oncurrent {C}ollections for {C}++},
howpublished = {\url{http://software.intel.com/en-us/articles/intel-concurrent-collections-for-cc/}}
}
@misc{IntelMIC,
author = {{Intel Corporation}},
title = {Intel (r) {M}any {I}ntegrated {Core} Architecture},
howpublished = {\url{http://www.intel.com/content/www/us/en/architecture-and-technology/many-integrated-core/intel-many-integrated-core-architecture.html}}
}
@article{IStructures,
author = {Arvind and Nikhil, Rishiyur S. and Pingali, Keshav K.},
title = {I-structures: {D}ata structures for parallel computing},
journal = {ACM Trans. Program. Lang. Syst.},
issue_date = {Oct. 1989},
volume = {11},
issue = {4},
month = {October},
year = {1989},
issn = {0164-0925},
pages = {598--632},
numpages = {35},
url = {http://doi.acm.org/10.1145/69558.69562},
doi = {http://doi.acm.org/10.1145/69558.69562},
acmid = {69562},
publisher = {ACM},
address = {New York, NY, USA},
}
@inproceedings{SessionTypesHonda,
author = {Honda, Kohei and Vasconcelos, Vasco Thudichum and Kubo, Makoto},
title = {Language Primitives and Type Discipline for Structured Communication-Based Programming},
booktitle = {Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems},
series = {ESOP '98},
year = {1998},
isbn = {3-540-64302-8},
pages = {122--138},
numpages = {17},
url = {http://dl.acm.org/citation.cfm?id=645392.651876},
acmid = {651876},
publisher = {Springer-Verlag},
address = {London, UK, UK},
}
@article{TTRegions,
author = {Tofte, Mads and Talpin, Jean-Pierre},
title = {Region-based memory management},
journal = {Inf. Comput.},
volume = {132},
issue = {2},
month = {February},
year = {1997},
issn = {0890-5401},
pages = {109--176},
numpages = {68},
url = {http://dl.acm.org/citation.cfm?id=249657.249661},
doi = {10.1006/inco.1996.2613},
acmid = {249661},
publisher = {Academic Press, Inc.},
address = {Duluth, MN, USA},
}
@inproceedings{LightweightMonadicRegions,
author = {Kiselyov, Oleg and Shan, Chung-chieh},
title = {Lightweight monadic regions},
booktitle = {Proceedings of the first {ACM} {SIGPLAN} symposium on {H}askell},
series = {Haskell '08},
year = {2008},
isbn = {978-1-60558-064-7},
location = {Victoria, BC, Canada},
pages = {1--12},
numpages = {12},
url = {http://doi.acm.org/10.1145/1411286.1411288},
doi = {http://doi.acm.org/10.1145/1411286.1411288},
acmid = {1411288},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {effect systems, monads, parametric polymorphism, regions, resource management, subtyping, type classes, type systems},
}
@INPROCEEDINGS{LinearRegions,
author = {Matthew Fluet and Greg Morrisett and Amal Ahmed},
title = {Linear Regions Are All You Need},
booktitle = {In Proc. ESOP’06},
year = {2006},
pages = {7--21},
}
@article{MonadicRegions,
author = {Fluet, Matthew and Morrisett, Greg},
title = {Monadic regions},
journal = {J. Funct. Program.},
volume = {16},
issue = {4-5},
month = {July},
year = {2006},
issn = {0956-7968},
pages = {485--545},
numpages = {61},
url = {http://dl.acm.org/citation.cfm?id=1166013.1166015},
doi = {10.1017/S095679680600596X},
acmid = {1166015},
publisher = {Cambridge University Press},
address = {New York, NY, USA},
}
@inproceedings{LambdaEek,
author = {Jia, Limin and Zhao, Jianzhou and Sj\"{o}berg, Vilhelm and Weirich, Stephanie},
title = {Dependent types and program equivalence},
booktitle = {Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
series = {POPL '10},
year = {2010},
isbn = {978-1-60558-479-9},
location = {Madrid, Spain},
pages = {275--286},
numpages = {12},
url = {http://doi.acm.org/10.1145/1706299.1706333},
doi = {http://doi.acm.org/10.1145/1706299.1706333},
acmid = {1706333},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {dependent types, program equivalence},
}
@INPROCEEDINGS{ConcurrentKripke,
author = {Vineet Gupta},
title = {Concurrent {K}ripke Structures},
booktitle = {In Proceedings of the North American Process Algebra Workshop, Cornell CS-TR-93-1369},
year = {1993}
}
@TECHREPORT{DistributedKripke,
author = {Rohit Chadha and Damiano Macedonio and Vladimiro Sassone},
title = {A Distributed {K}ripke Semantics},
institution = {},
year = {2004}
}
@phdthesis{AmalThesis,
author = {Ahmed, Amal Jamil},
title = {Semantics of types for mutable state},
year = {2004},
note = {AAI3136691},
publisher = {Princeton University},
address = {Princeton, NJ, USA},
}
@inproceedings{IndirectionTheory,
author = {Hobor, Aquinas and Dockins, Robert and Appel, Andrew W.},
title = {A theory of indirection via approximation},
booktitle = {Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
series = {POPL '10},
year = {2010},
isbn = {978-1-60558-479-9},
location = {Madrid, Spain},
pages = {171--184},
numpages = {14},
url = {http://doi.acm.org/10.1145/1706299.1706322},
doi = {http://doi.acm.org/10.1145/1706299.1706322},
acmid = {1706322},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {indirection theory, step-indexed models},
}
@inproceedings{LSLR,
author = {Dreyer, Derek and Ahmed, Amal and Birkedal, Lars},
title = {Logical Step-Indexed Logical Relations},
booktitle = {Proceedings of the 2009 24th Annual IEEE Symposium on Logic In Computer Science},
year = {2009},
isbn = {978-0-7695-3746-7},
pages = {71--80},
numpages = {10},
url = {http://dl.acm.org/citation.cfm?id=1606752.1607440},
doi = {10.1109/LICS.2009.34},
acmid = {1607440},
publisher = {IEEE Computer Society},
address = {Washington, DC, USA},
keywords = {Step-indexed logical relations, Plotkin-Abadi logic, parametricity, recursive types, contextual equivalence},
}
@INPROCEEDINGS{StepIndexedNondeterminism,
title = {Step-indexed Relational Reasoning for Countable Nondeterminism},
author = {Jan Schwinghammer and Lars Birkedal},
year = {2011},
month = {Sep},
editor = {Marc Bezem},
publisher = {Leibniz International Proceedings in Informatics (LIPIcs)},
booktitle = {Computer Science Logic (CSL'11)},
pages = {512-524},
}
@article{OriginsBisimulation,
author = {Sangiorgi, Davide},
title = {On the origins of bisimulation and coinduction},
journal = {ACM Trans. Program. Lang. Syst.},
issue_date = {May 2009},
volume = {31},
issue = {4},
month = {May},
year = {2009},
issn = {0164-0925},
pages = {15:1--15:41},
articleno = {15},
numpages = {41},
url = {http://doi.acm.org/10.1145/1516507.1516510},
doi = {http://doi.acm.org/10.1145/1516507.1516510},
acmid = {1516510},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Bisimulation, coinduction, fixed points, greatest fixed points, history},
}
@MISC{RelatingSILRsBisimulations,
author = {Dimitrios Vytiniotis and Vasileios Koutavas},
title = {Relating step-indexed logical relations and bisimulations},
year = {2009}
}
%% To appear in POPL 2012.
@MISC{MarriageKLRsBisimulations,
author = {Chung-Kil Hur and Derek Dreyer and Georg Neis and Viktor Vafeiadis},
title = {The Marriage of {K}ripke Logical Relations and Bisimulations},
year = {2012}
}
@book{Sabot_Paralation,
author = {Sabot, Gary W.},
title = {The Paralation Model: {A}rchitecture-Independent Parallel Programming},
year = {1989},
isbn = {0262192772},
publisher = {MIT Press},
address = {Cambridge, MA, USA},
}
@inproceedings{par_by_default,
author = {Bocchino,Jr., Robert L. and Adve, Vikram S. and Adve, Sarita V. and Snir, Marc},
title = {Parallel programming must be deterministic by default},
booktitle = {Proceedings of the First USENIX conference on Hot topics in parallelism},
series = {HotPar'09},
year = {2009},
location = {Berkeley, California},
pages = {4--4},
numpages = {1},
url = {http://dl.acm.org/citation.cfm?id=1855591.1855595},
acmid = {1855595},
publisher = {USENIX Association},
address = {Berkeley, CA, USA},
}
@article{FelleisenHiebEvalCtxts,
author = {Felleisen, Matthias and Hieb, Robert},
title = {The revised report on the syntactic theories of sequential control and state},
journal = {Theor. Comput. Sci.},
volume = {103},
issue = {2},
month = {September},
year = {1992},
issn = {0304-3975},
pages = {235--271},
numpages = {37},
url = {http://dl.acm.org/citation.cfm?id=136293.136297},
doi = {10.1016/0304-3975(92)90014-7},
acmid = {136297},
publisher = {Elsevier Science Publishers Ltd.},
address = {Essex, UK},
}
@INPROCEEDINGS{kahn-1974,
AUTHOR = {G. Kahn},
TITLE = {The semantics of a simple language for parallel
programming},
BOOKTITLE = {Information {P}rocessing},
EDITOR = {J. L. Rosenfeld},
PUBLISHER = {North Holland, Amsterdam},
ADDRESS = {Stockholm, Sweden},
MONTH = {Aug},
YEAR = {1974},
PAGES = {471--475}
}
@article{MapReduce,
author = {Dean, Jeffrey and Ghemawat, Sanjay},
title = {{MapReduce}: {S}implified data processing on large clusters},
journal = {Commun. ACM},
issue_date = {January 2008},
volume = {51},
issue = {1},
month = jan,
year = {2008},
issn = {0001-0782},
pages = {107--113},
numpages = {7},
url = {http://doi.acm.org/10.1145/1327452.1327492},
doi = {http://doi.acm.org/10.1145/1327452.1327492},
acmid = {1327492},
publisher = {ACM},
address = {New York, NY, USA},
}
@article{hammond_par_90s,
author = {Trinder, P. W. and Hammond, K. and Mattson,Jr., J. S. and Partridge, A. S. and Peyton Jones, S. L.},
title = {{GUM}: a portable parallel implementation of {Haskell}},
journal = {SIGPLAN Not.},
volume = {31},
issue = {5},
month = {May},
year = {1996},
issn = {0362-1340},
pages = {79--88},
numpages = {10},
url = {http://doi.acm.org/10.1145/249069.231392},
doi = {http://doi.acm.org/10.1145/249069.231392},
acmid = {231392},
publisher = {ACM},
address = {New York, NY, USA},
}
@inproceedings{nesl-space-efficient,
author = {Blelloch, Guy E. and Greiner, John},
title = {A provable time and space efficient implementation of {NESL}},
booktitle = {ICFP: International Conference on Functional programming},
publisher = {ACM},
}
series = {ICFP '96},
year = {1996},
isbn = {0-89791-770-7},
location = {Philadelphia, Pennsylvania, United States},
pages = {213--225},
numpages = {13},
url = {http://doi.acm.org/10.1145/232627.232650},
doi = {http://doi.acm.org/10.1145/232627.232650},
acmid = {232650},
address = {New York, NY, USA},
@techreport{nesl-manual,
title={{NESL: A Nested Data-Parallel Language}},
author={Blelloch, Guy E},
year={1995},
number={CMU-CS-95-170},
version={3.1},
}
@inproceedings{manticore_parallel_tuples,
author = {Fluet, Matthew and Bergstrom, Lars and Ford, Nic and Rainey, Mike and Reppy, John and Shaw, Adam and Xiao, Yingqi},
title = {Programming in {Manticore}, a heterogenous parallel functional language},
booktitle = {Proceedings of the Third summer school conference on Central European functional programming school},
series = {CEFP'09},
year = {2010},
isbn = {3-642-17684-4, 978-3-642-17684-5},
location = {Budapest, Hungary},
pages = {94--145},
numpages = {52},
url = {http://dl.acm.org/citation.cfm?id=1939128.1939132},
acmid = {1939132},
publisher = {Springer-Verlag},
address = {Berlin, Heidelberg},
}
@book{ph,
author ={Nikhil, Rishiyur and Arvind},
title = {Implicit parallel programming in pH},
year = {2001},
isbn = {1-55860-644-0},
publisher = {Morgan Kaufmann Publishers Inc.},
address = {San Francisco, CA, USA},
key = {{$\!\!$}} ,
}
@article{HuetZipper,
author = {Huet, G\'{e}rard},
title = {The Zipper},
journal = {J. Funct. Program.},
volume = {7},
issue = {5},
month = {September},
year = {1997},
issn = {0956-7968},
pages = {549--554},
numpages = {6},
url = {http://dl.acm.org/citation.cfm?id=969867.969872},
doi = {10.1017/S0956796897002864},
acmid = {969872},
publisher = {Cambridge University Press},
address = {New York, NY, USA},
}
@inproceedings{Tesler-1968,
author = {Tesler, L. G. and Enea, H. J.},
title = {A language design for concurrent processes},
booktitle = {Proceedings of the April 30--May 2, 1968, spring joint computer conference},
series = {AFIPS '68 (Spring)},
year = {1968},
location = {Atlantic City, New Jersey},
pages = {403--408},
numpages = {6},
url = {http://doi.acm.org/10.1145/1468075.1468134},
doi = {http://doi.acm.org/10.1145/1468075.1468134},
acmid = {1468134},
publisher = {ACM},
address = {New York, NY, USA},
}
@phdthesis{spoonhower-thesis,
author = {Spoonhower, Daniel John},
advisor = {Blelloch, Guy E. and Harper, Robert},
title = {Scheduling deterministic parallel programs},
year = {2009},
isbn = {978-1-109-16297-4},
note = {AAI3358062},
publisher = {Carnegie Mellon University},
address = {Pittsburgh, PA, USA},
}