Mercurial > cgi-bin > hgwebdir.cgi > VMS > 0__Writings > kshalle
view 0__Papers/PRT/PRT__intro_plus_eco_contrast/helpers/bib_for_papers.bib @ 102:15f50e49ebb7
dealing with swiching disks -- commit and push as backup
| author | Sean Halle <seanhalle@yahoo.com> |
|---|---|
| date | Tue, 17 Sep 2013 06:30:06 -0700 |
| parents | |
| children |
line source
4 ""
5 @Article{,
6 author = {},
7 title = {},
8 journal = {},
9 volume = {},
10 number = {},
11 year = {},
12 pages = {}
13 }
17 ""
18 @Book{,
19 author = {},
20 title = {},
21 publisher = {},
22 year = {},
23 pages = {}
24 }
28 ""
29 @misc{,
30 author = {},
31 title = {},
32 url = {}
33 }
36 "Lamport paper with clock sync"
37 @article{Lamport78,
38 author = {Lamport, Leslie},
39 title = {Time, clocks, and the ordering of events in a distributed system},
40 journal = {Commun. ACM},
41 volume = {21},
42 issue = {7},
43 year = {1978},
44 pages = {558--565},
45 }
47 "Lamport paper with mutex lock algorithm"
48 @article{Lamport87,
49 author = {Lamport, Leslie},
50 title = {A fast mutual exclusion algorithm},
51 journal = {ACM Trans. Comput. Syst.},
52 volume = {5},
53 issue = {1},
54 year = {1987},
55 pages = {1--11}
56 }
58 "Dijkstra semaphore definition paper"
59 @inproceedings{Dijkstra67,
60 author = {Dijkstra, Edsger W.},
61 title = {The structure of the "{THE}"-multiprogramming system},
62 booktitle = {Proceedings of the first ACM symposium on Operating System Principles},
63 series = {SOSP '67},
64 year = {1967},
65 pages = {10.1--10.6}
66 }
68 "Original coroutine paper"
69 @article{Conway63,
70 author = {Conway, Melvin E.},
71 title = {Design of a separable transition-diagram compiler},
72 journal = {Commun. ACM},
73 volume = {6},
74 issue = {7},
75 year = {1963},
76 pages = {396--408}
77 }
79 "Component model book Leavens G, Sitaraman M(eds.). Foundations of Component-Based Systems. Cambridge University Press: Cambridge, 2000"
80 @Book{ComponentModel00,
81 author = {G Leavens and M Sitaraman (eds)},
82 title = {Foundations of Component-Based Systems},
83 publisher = {Cambridge University Press},
84 year = {2000}
85 }
88 "Hewitt Actors Ref on ArXiv"
89 @misc{Hewitt10,
90 author = {Carl Hewitt},
91 title = {Actor Model of Computation},
92 year = {2010},
93 note = {http://arxiv.org/abs/1008.1459}
94 }
96 "Actors paper -- AGHA has a 1985 tech report looks like it introduces Actors as an execution model..?"
97 @article{Actors97,
98 author = {Agha,G. and Mason,I. and Smith,S. and Talcott,C.},
99 title = {A foundation for actor computation},
100 journal = {Journal of Functional Programming},
101 volume = {7},
102 number = {01},
103 pages = {1-72},
104 year = {1997},
105 }
107 "Scheduler Activations: M onto N thread technique"
108 @article{SchedActivations,
109 author = {Anderson, Thomas E. and Bershad, Brian N. and Lazowska, Edward D. and Levy, Henry M.},
110 title = {Scheduler activations: effective kernel support for the user-level management of parallelism},
111 journal = {ACM Trans. Comput. Syst.},
112 volume = {10},
113 issue = {1},
114 month = {February},
115 year = {1992},
116 pages = {53--79}
117 }
119 "BOM in Manticore project: functional language for scheduling and concurrency"
120 @inproceedings{BOMinManticore,
121 author = {Fluet, Matthew and Rainey, Mike and Reppy, John and Shaw, Adam and Xiao, Yingqi},
122 title = {Manticore: a heterogeneous parallel language},
123 booktitle = {Proceedings of the 2007 workshop on Declarative aspects of multicore programming},
124 series = {DAMP '07},
125 year = {2007},
126 pages = {37--44},
127 numpages = {8}
128 }
131 //=====================================
132 "Gain from Chaos tech report"
133 @techreport
134 {Halle92,
135 Author = {Halle, K.S. and Chua, Leon O. and Anishchenko, V.S. and Safonova, M.A.},
136 Title = {Signal Amplification via Chaos: Experimental Evidence},
137 Institution = {EECS Department, University of California, Berkeley},
138 Year = {1992},
139 URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/1992/2223.html},
140 Number = {UCB/ERL M92/130}
141 }
144 Reprinted in:
145 Madan, R. N. (1993) Chua’s Circuit : A Paradigm for Chaos, World Scientific, Singapore.
146 "Signal Amplification via Chaos: Experimental Evidence"
147 K.S. Halle, Leon O. Chua, V.S. Anishchenko and M.A. Safonova
148 pgs 290-308
151 "Spread Spectrum Communication Through Modulation of Chaos"
152 Halle K.S., Wu C.W., Itoh M., Chua L.O. Spread Spectrum Communication Through Modulation of Chaos. Int. J. of Bifur. and Chaos, (3):469–477. 1993.
153 cited by 232
156 "Experimental Demonstration of Secure Communications Via Chaotic Synchronization"
157 Kocarev V, Halle K.S., Eckert K., Chua L.O., Parlitz V. Experimental Demonstration of Secure Communications Via Chaotic Synchronization. Int. J. Bifur. and Chaos, (2):709 713. 1992.
160 //==========================================
162 "BLIS 2010 HotPar: Leveraging Semantics Attached to Function Calls to Isolate Applications from Hardware"
163 @inproceedings
164 {BLISInHotPar,
165 author = {Sean Halle and Albert Cohen},
166 booktitle = {HOTPAR '10: USENIX Workshop on Hot Topics in Parallelism},
167 month = {June},
168 title = {Leveraging Semantics Attached to Function Calls to Isolate Applications from Hardware},
169 year = {2010}
170 }
172 "2011 HotPar: "
173 @inproceedings
174 {HotPar11,
175 author = {Sean Halle and Albert Cohen},
176 booktitle = {HOTPAR '11: USENIX Workshop on Hot Topics in Parallelism},
177 month = {May},
178 title = {},
179 year = {2011}
180 }
182 "VMS in LCPC 2011"
183 @article{VMSLCPC,
184 author = {Sean Halle and Albert Cohen},
185 title = {A Mutable Hardware Abstraction to Replace Threads},
186 journal = {24th International Workshop on Languages and Compilers for Parallel Languages (LCPC11)},
187 year = {2011}
188 }
191 "A Framework to Support Research on Portable High Performance Parallelism"
192 @misc{FrameworkTechRep,
193 Author = {Halle, Sean and Nadezhkin, Dmitry and Cohen, Albert},
194 Note = {http://www.soe.ucsc.edu/share/technical-reports/2010/ucsc-soe-10-02.pdf},
195 Title = {A Framework to Support Research on Portable High Performance Parallelism},
196 Year = 2010
197 }
199 "DKU Pattern for Performance Portable Parallel Software"
200 @misc{DKUTechRep,
201 Author = {Halle, Sean and Cohen, Albert},
202 Note = {http://www.soe.ucsc.edu/share/technical-reports/2009/ucsc-soe-09-06.pdf},
203 Title = {DKU Pattern for Performance Portable Parallel Software},
204 Year = 2009
205 }
207 "An Extensible Parallel Language"
208 @misc{EQNLangTechRep,
209 Author = {Halle, Sean},
210 Note = {http://www.soe.ucsc.edu/share/technical-reports/2009/ucsc-soe-09-16.pdf},
211 Title = {An Extensible Parallel Language},
212 Year = 2009
213 }
215 "A Hardware-Independent Parallel Operating System Abstraction Layer"
216 @misc{CTOSTechRep,
217 Author = {Halle, Sean},
218 Note = {http://www.soe.ucsc.edu/share/technical-reports/2009/ucsc-soe-09-15.pdf},
219 Title = {A Hardware-Independent Parallel Operating System Abstraction LayerParallelism},
220 Year = 2009
221 }
223 "Parallel Language Extensions for Side Effects"
224 @misc{SideEffectsTechRep,
225 Author = {Halle, Sean and Cohen, Albert},
226 Note = {http://www.soe.ucsc.edu/share/technical-reports/2009/ucsc-soe-09-14.pdf},
227 Title = {Parallel Language Extensions for Side Effects},
228 Year = 2009
229 }
232 "BaCTiL: Base CodeTime Language"
233 @misc{BaCTiLTechRep,
234 Author = {Halle, Sean},
235 Note = {http://www.soe.ucsc.edu/share/technical-reports/2006/ucsc-crl-06-08.pdf},
236 Title = {BaCTiL: Base CodeTime Language},
237 Year = 2006
238 }
241 "The Elements of the CodeTime Software Platform"
242 @misc{CTPlatformTechRep,
243 Author = {Halle, Sean},
244 Note = {http://www.soe.ucsc.edu/share/technical-reports/2006/ucsc-crl-06-09.pdf},
245 Title = {The Elements of the CodeTime Software Platform},
246 Year = 2006
247 }
250 "A Scalable and Efficient Peer-to-Peer Run-Time System for a Hardware Independent Software Platform"
251 @misc{CTRTTechRep,
252 Author = {Halle, Sean},
253 Note = {http://www.soe.ucsc.edu/share/technical-reports/2006/ucsc-crl-06-10.pdf},
254 Title = {A Scalable and Efficient Peer-to-Peer Run-Time System for a Hardware Independent Software Platform},
255 Year = 2006
256 }
259 "The Big-Step Operational Semantics of CodeTime Circuits"
260 @misc{FrameworkTechRep,
261 Author = {Halle, Sean},
262 Note = {http://www.soe.ucsc.edu/share/technical-reports/2006/ucsc-crl-06-11.pdf},
263 Title = {The Big-Step Operational Semantics of CodeTime Circuits},
264 Year = 2006
265 }
268 "A Mental Framework for use in Creating Hardware Independent Parallel Languages"
269 @misc{FrameworkTechRep,
270 Author = {Halle, Sean},
271 Note = {http://www.soe.ucsc.edu/share/technical-reports/2006/ucsc-crl-06-12.pdf},
272 Title = {A Mental Framework for use in Creating Hardware Independent Parallel Languages},
273 Year = 2006
274 }
277 "The Case for an Integrated Software Platform for HEC Illustrated Using the CodeTime Platform"
278 @misc{CIPTechRep,
279 Author = {Halle, Sean},
280 Note = {http://www.soe.ucsc.edu/share/technical-reports/2005/ucsc-crl-05-05.pdf},
281 Title = {The Case for an Integrated Software Platform for HEC Illustrated Using the CodeTime Platform},
282 Year = 2005
283 }
285 //==========================================
288 "OMP Hompe page"
289 @misc{OMPHome,
290 Note = {http://www.openmediaplatform.eu/},
291 Title = {{Open Media Platform} homepage},
292 }
294 "The OMP infrastructure site"
295 @misc{Halle2008,
296 Author = {Sean Halle and Albert Cohen},
297 Note = {http://omp.musictwodotoh.com},
298 Title = {{DKU} infrastructure server}
299 }
303 "The DKU sourceforge site"
304 @misc{DKUSourceForge,
305 Author = {Sean Halle and Albert Cohen},
306 Month = {November},
307 Note = {http://dku.sourceforge.net},
308 Title = {{DKU} website},
309 Year = {2008}
310 }
313 "The BLIS sourceforge site"
314 @misc{BLISHome,
315 Author = {Sean Halle and Albert Cohen},
316 Month = {November},
317 Note = {http://blisplatform.sourceforge.net},
318 Title = {{BLIS} website},
319 Year = {2008}
320 }
323 "The VMS Home page"
324 @misc{VMSHome,
325 Author = {Sean Halle and Merten Sach and Ben Juurlink and Albert Cohen},
326 Note = {http://virtualizedmasterslave.org},
327 Title = {{VMS} Home Page},
328 Year = {2010}
329 }
332 "The PStack Home page"
333 @misc{PStackHome,
334 Author = {Sean Halle},
335 Note = {http://pstack.sourceforge.net},
336 Title = {{PStack} Home Page},
337 Year = {2012}
338 }
341 "Deblocking code in SVN"
342 @misc{DeblockingCode,
343 Note = {http://dku.svn.sourceforge.net/viewvc/dku/branches/DKU\_C\_\_Deblocking\_\_orig/},
344 Title ={{DKU-ized Deblocking Filter} code}
345 }
349 "Sample code on BLIS site"
350 @misc{SampleBLISCode,
351 Note = {http://dku.sourceforge.net/SampleCode.htm},
352 Title ={{Sample BLIS Code}}
353 }
355 "Framework Technical Report"
356 @misc{FrameworkTechRep,
357 Author = {Halle, Sean and Nadezhkin, Dmitry and Cohen, Albert},
358 Note = {http://www.soe.ucsc.edu/share/technical-reports/2010/ucsc-soe-10-02.pdf},
359 Title = {A Framework to Support Research on Portable High Performance Parallelism}
360 }
362 "Map reduce"
363 @misc{MapReduceHome,
364 Author = {Google Corp.},
365 Note = {http://labs.google.com/papers/mapreduce.html},
366 Title = {{MapReduce} Home page},
367 }
370 "TBB Thread Building Blocks"
371 @misc{TBBHome,
372 Author = {Intel Corp.},
373 Note = {http://www.threadingbuildingblocks.org},
374 Title = {{TBB} Home page},
375 }
378 "HPF Wikipedia entry"
379 @misc{HPFWikipedia,
380 Author = {Wikipedia},
381 Note = {http://en.wikipedia.org/wiki/High_Performance_Fortran},
382 Title = {{HPF} wikipedia page},
383 }
386 "OpenMP Home page"
387 @misc{OpenMPHome,
388 Author = {{OpenMP} organization},
389 Note = {http://www.openmp.org},
390 Title = {{OpenMP} Home page}
391 }
395 "Open MPI Home page"
396 @misc{MPIHome,
397 Author = {open-mpi organization},
398 Note = {http://www.open-mpi.org},
399 Title = {{Open MPI} Home page}
400 }
402 "OpenCL Home page"
403 @misc{OpenCLHome,
404 Author = {Kronos Group},
405 Note = {http://www.khronos.org/opencl},
406 Title = {{OpenCL} Home page}
407 }
410 "CILK Hompe page"
411 @misc{CILKHome,
412 Author = {Cilk group at MIT},
413 Note = {http://supertech.csail.mit.edu/cilk/},
414 Title = {{CILK} homepage},
415 }
417 @InProceedings{Fri98,
418 author = {M. Frigo and C. E. Leiserson and K. H. Randall},
419 title = {The Implementation of the Cilk-5 Multithreaded Language},
420 booktitle = {PLDI '98: Proceedings of the 1998 ACM SIGPLAN conference on Programming language design and implementation},
421 pages = {212--223},
422 year = 1998,
423 address = {Montreal, Quebec},
424 month = jun
425 }
428 "Titanium Hompe page"
429 @misc{TitaniumHome,
430 Note = {http://titanium.cs.berkeley.edu},
431 Title = {{Titanium} homepage}
432 }
435 "CnC in HotPar"
436 @inproceedings{CnCInHotPar,
437 author = {Knobe, Kathleen},
438 booktitle = {HOTPAR '09: USENIX Workshop on Hot Topics in Parallelism},
439 month = {March},
440 title = {Ease of Use with Concurrent Collections {(CnC)}},
441 year = {2009}
442 }
445 "CnC Hompe page"
446 @misc{CnCHome,
447 Author = {Intel Corp.},
448 Note = {http://software.intel.com/en-us/articles/intel-concurrent-collections-for-cc/},
449 Title = {{CnC} homepage},
450 }
452 "Spiral Home page"
453 @misc{SpiralHome,
454 Author = {Spiral Group at CMU},
455 Note = {http://www.spiral.net},
456 Title = {{Spiral} homepage},
457 }
460 "Scala Hompe page"
461 @misc{ScalaHome,
462 Author = {Scala organization},
463 Note = {http://www.scala-lang.org/},
464 Title = {{Scala} homepage},
465 }
470 "UPC Hompe page"
471 @misc{UPCHome,
472 Author = {UPC group at UC Berkeley},
473 Note = {http://upc.lbl.gov/},
474 Title = {{Unified Parallel C} homepage},
475 }
478 "Suif Hompe page"
479 @misc{SuifHome,
480 Note = {http://suif.stanford.edu},
481 Title = {{Suif} Parallelizing compiler homepage},
482 }
486 "SEJITS"
487 @article{SEJITS,
488 author = {B. Catanzaro and S. Kamil and Y. Lee and K. Asanovic and J. Demmel and K. Keutzer and J. Shalf and K. Yelick and A. Fox},
489 title = {SEJITS: Getting Productivity AND Performance With Selective Embedded JIT Specialization},
490 journal = {First Workshop on Programmable Models for Emerging Architecture at the 18th International Conference on Parallel Architectures and Compilation Techniques },
491 year = {2009}
492 }
495 "Arnaldo 3D parallel on NXP chip"
496 @inproceedings{Arnaldo3D,
497 author = {Azevedo, Arnaldo and Meenderinck, Cor and Juurlink, Ben and Terechko, Andrei and Hoogerbrugge, Jan and Alvarez, Mauricio and Ramirez, Alex},
498 title = {Parallel H.264 Decoding on an Embedded Multicore Processor},
499 booktitle = {HiPEAC '09: Proceedings of the 4th International Conference on High Performance Embedded Architectures and Compilers},
500 year = {2009},
501 pages = {404--418}
502 }
505 "Narayanan's GPU scheduling tool"
506 @article{NarayananGPUSched,
507 author = {Narayanan Sundaram and Anand Raghunathan and Srimat T. Chakradhar},
508 title = {A framework for efficient and scalable execution of domain-specific templates on GPUs},
509 journal ={International Parallel and Distributed Processing Symposium {(IPDPS)}},
510 year = {2009},
511 pages = {1-12},
512 }
514 "Polyhedral for GPU from Ohio State"
515 @inproceedings{PolyForGPU,
516 author = {Baskaran, Muthu Manikandan and Bondhugula, Uday and Krishnamoorthy, Sriram and Ramanujam, J. and Rountev, Atanas and Sadayappan, P.},
517 title = {A compiler framework for optimization of affine loop nests for gpgpus},
518 booktitle = {ICS '08: Proceedings of the 22nd annual international conference on Supercomputing},
519 year = {2008},
520 pages = {225--234},
521 }
523 "Loulou's Polyhedral loop-nest optimization paper in PLDI 08"
524 @inproceedings{Loulou08,
525 author = {Pouchet, Louis-No\"{e}l and Bastoul, C\'{e}dric and Cohen, Albert and Cavazos, John},
526 title = {Iterative optimization in the polyhedral model: part ii, multidimensional time},
527 booktitle = {ACM SIGPLAN conference on Programming language design and implementation {(PLDI)} },
528 year = {2008},
529 pages = {90--100},
530 }
533 "Merge in HotPar"
534 @inproceedings{MergeInHotPar,
535 author = {Michael D. Linderman and James Balfour and Teresa H. Meng and William J. Dally},
536 booktitle = {HOTPAR '09: USENIX Workshop on Hot Topics in Parallelism},
537 month = {March},
538 title = {Embracing Heterogeneity \- Parallel Programming for Changing Hardware},
539 year = {2009}
540 }
543 "Galois system for irregular problems"
544 @inproceedings{GaloisRef,
545 author = {Kulkarni, Milind and Pingali, Keshav and Walter, Bruce and Ramanarayanan, Ganesh and Bala, Kavita and Chew, L. Paul},
546 title = {Optimistic parallelism requires abstractions},
547 booktitle = {PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation},
548 year = {2007},
549 pages = {211--222}
550 }
552 "Cool compiler book that talks about balancing task size with machine characteristics.. the one Amit had"
553 @book{Allen2002,
554 author = {Kennedy, Ken and Allen, John R.},
555 title = {Optimizing compilers for modern architectures: a dependence-based approach},
556 year = {2002},
557 publisher = {Morgan Kaufmann Publishers Inc.}
558 }
561 "Streaming languages and tools survery paper"
562 @MISC{Stephens95,
563 author = {R. Stephens},
564 title = {A Survey Of Stream Processing},
565 year = {1995}
566 }
569 "Capsule"
570 @INPROCEEDINGS{Palatin06,
571 author = {P Palatin and Y Lhuillier and O Temam},
572 title = {CAPSULE: Hardware-assisted parallel execution of componentbased programs},
573 booktitle = {In Proceedings of the 39th Annual International Symposium on Microarchitecture},
574 year = {2006},
575 pages = {247--258}
576 }
578 "Sequioa"
579 @inproceedings{Sequioa06,
580 author = {Fatahalian,, Kayvon and Horn,, Daniel Reiter and Knight,, Timothy J. and Leem,, Larkhoon and Houston,, Mike and Park,, Ji Young and Erez,, Mattan and Ren,, Manman and Aiken,, Alex and Dally,, William J. and Hanrahan,, Pat},
581 title = {Sequoia: programming the memory hierarchy},
582 booktitle = {SC '06: Proceedings of the 2006 ACM/IEEE conference on Supercomputing},
583 year = {2006},
584 pages = {83}
585 }
590 "Cole meta skeletons book"
591 @Book{Cole89,
592 author = {M Cole},
593 title = {Algorithmic skeletons: Structured management of parallel computation},
594 publisher = {Pitman},
595 year = {1989}
596 }
599 "Meta programming skeletons example"
600 @INPROCEEDINGS{Ginhac98,
601 author = {Dominique Ginhac and Jocelyn Serot and Jean Pierre Derutin},
602 title = {Fast prototyping of image processing applications using functional skeletons on a MIMD-DM architecture},
603 booktitle = {In IAPR Workshop on Machine Vision and Applications},
604 year = {1998},
605 pages = {468--471}
606 }
609 "Parallel Skeletons meta programming"
610 @inproceedings{Serot08MetaParallel,
611 author = {Serot, Jocelyn and Falcou, Joel},
612 title = {Functional Meta-programming for Parallel Skeletons},
613 booktitle = {ICCS '08: Proceedings of the 8th international conference on Computational Science, Part I},
614 year = {2008},
615 pages = {154--163}
616 }
619 "Random skeletons for parallel programming article with lots of citations"
620 @INPROCEEDINGS{Darlington93,
621 author = {J. Darlington and A. J. Field and P. G. Harrison and P. H. J. Kelly and D. W. N. Sharp and Q. Wu},
622 title = {Parallel programming using skeleton functions},
623 booktitle = {},
624 year = {1993},
625 pages = {146--160},
626 publisher = {Springer-Verlag}
627 }
630 "View from Berkeley paper"
631 @article{Asanovic06BerkeleyView,
632 title={{The landscape of parallel computing research: A view from berkeley}},
633 author={Asanovic, K. and Bodik, R. and Catanzaro, B.C. and Gebis, J.J. and Husbands, P. and Keutzer, K. and Patterson, D.A. and Plishker, W.L. and Shalf, J. and Williams, S.W. and others},
634 journal={Electrical Engineering and Computer Sciences, University of California at Berkeley, Technical Report No. UCB/EECS-2006-183, December},
635 volume={18},
636 number={2006-183},
637 pages={19},
638 year={2006},
639 }
644 "Berkeley Pattern Language"
645 @misc{BerkeleyPattLang,
646 Note = {http://parlab.eecs.berkeley.edu/wiki/patterns},
647 Title = {{Berkeley Pattern Language}}
648 }
651 "Keutzer reccomended Parallel Prog Patterns book"
652 @book{Mattson04Patterns,
653 title={{Patterns for parallel programming}},
654 author={Mattson, T. and Sanders, B. and Massingill, B.},
655 year={2004},
656 publisher={Addison-Wesley Professional}
657 }
660 "Skillicorn Parallel Languages Survery book"
661 @article{Skillicorn98,
662 title={{Models and languages for parallel computation}},
663 author={Skillicorn, D.B. and Talia, D.},
664 journal={ACM Computing Surveys (CSUR)},
665 volume={30},
666 number={2},
667 pages={123--169},
668 year={1998}
669 }
673 "NESL language"
674 @conference{Blelloch93NESL,
675 title={{Implementation of a portable nested data-parallel language}},
676 author={Blelloch, G.E. and Hardwick, J.C. and Chatterjee, S. and Sipelstein, J. and Zagha, M.},
677 booktitle={Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming},
678 pages={102--111},
679 year={1993},
680 organization={ACM New York, NY, USA}
681 }
684 "Sisal"
685 @article{McgrawSisal,
686 title={{SISAL: Streams and iteration in a single assignment language: Reference manual version 1.2}},
687 author={McGraw, J. and Skedzielewski, SK and Allan, SJ and Oldehoeft, RR and Glauert, J. and Kirkham, C. and Noyce, B. and Thomas, R.},
688 journal={Manual M-146, Rev},
689 volume={1}
690 }
693 "Linda"
694 @article{Gelernter85Linda,
695 title={{Generative communication in Linda}},
696 author={Gelernter, D.},
697 journal={ACM Transactions on Programming Languages and Systems (TOPLAS)},
698 volume={7},
699 number={1},
700 pages={80--112},
701 year={1985}
702 }
705 "ZPL"
706 @article{Lin94ZPL,
707 title={{ZPL: An array sublanguage}},
708 author={Lin, C. and Snyder, L.},
709 journal={Lecture Notes in Computer Science},
710 volume={768},
711 pages={96--114},
712 year={1994}
713 }
718 // Visual programming
719 @article
720 { baecker97,
721 author = {Ron Baecker and Chris DiGiano and Aaron Marcus},
722 title = {Software visualization for debugging},
723 journal = {Communications of the ACM},
724 volume = {40},
725 number = {4},
726 year = {1997},
727 issn = {0001-0782},
728 pages = {44--54},
729 publisher = {ACM Press}
730 }
733 // Visual programming
734 @article
735 { ball96,
736 author = {T. A. Ball and S. G. Eick},
737 title = {Software Visualization in the Large},
738 journal ={IEEE Computer},
739 volume = {29},
740 number = {4},
741 year = {1996},
742 month = {apr},
743 pages = {33--43}
744 }
747 // Milner references this, Chemical Abstract Machine
748 @book
749 {berry89,
750 title={{The chemical abstract machine}},
751 author={Berry, G. and Boudol, G.},
752 year={1989},
753 publisher={ACM Press}
754 }
757 // Cilk reference
758 @article
759 {blumofe95,
760 author = {Robert D. Blumofe and Christopher F. Joerg and Bradley C. Kuszmaul and Charles E. Leiserson and Keith H. Randall and Yuli Zhou},
761 title = {Cilk: an efficient multithreaded runtime system},
762 journal = {SIGPLAN Not.},
763 volume = {30},
764 number = {8},
765 year = {1995},
766 pages = {207--216}
767 }
770 // this has 1440 citations, so throwing it in..
771 // The complexity of symbolic checking of program correctness
772 @article
773 {burch90,
774 title={{Symbolic model checking: 10^{20} states and beyond}},
775 author={Burch, JR and Clarke, EM and McMillan, KL and Dill, DL and Hwang, LJ},
776 journal={Logic in Computer Science, 1990. LICS'90, Proceedings},
777 pages={428--439},
778 year={1990}
779 }
781 @article
782 {chamberlain98,
783 author = {B. Chamberlain and S. Choi and E. Lewis and C. Lin and L. Snyder and W. Weathersby},
784 title = {ZPL's WYSIWYG Performance Model},
785 journal = {hips},
786 volume = {00},
787 year = {1998},
788 isbn = {0-8186-8412-7},
789 pages = {50}
790 }
794 // from http://libweb.princeton.edu/libraries/firestone/rbsc/aids/church/church1.html#1
795 @article{church41,
796 author={A. Church},
797 title={The Calculi of Lambda-Conversion},
798 journal={Annals of Mathematics Studies},
799 number={6},
800 year={1941},
801 publisher={Princeton University}
802 }
805 @misc
806 { CodeTimeSite,
807 author = {Sean Halle},
808 key = {CodeTime},
809 title = {Homepage for The CodeTime Parallel Software Platform},
810 note = {{\ttfamily http://codetime.sourceforge.net}}
811 }
815 @misc
816 { CodeTimePlatform,
817 author = {Sean Halle},
818 key = {CodeTime},
819 title = {The CodeTime Parallel Software Platform},
820 note = {{\ttfamily http://codetime.sourceforge.net/content/CodeTime\_Platform.pdf}}
821 }
824 @misc
825 { CodeTimeVS,
826 author = {Sean Halle},
827 key = {CodeTime},
828 title = {The Specification of the CodeTime Platform's Virtual Server},
829 note = {{\ttfamily http://codetime.sourceforge.net/content/CodeTime\_Virtual\_Server.pdf}}
830 }
833 @misc
834 { CodeTimeOS,
835 author = {Sean Halle},
836 key = {CodeTime},
837 title = {A Hardware Independent OS},
838 note = {{\ttfamily http://codetime.sourceforge.net/content/CodeTime\_OS.pdf}}
839 }
842 @misc
843 { CodeTimeSem,
844 author = {Sean Halle},
845 key = {CodeTime},
846 title = {The Big-Step Operational Semantics of the CodeTime Computational Model},
847 note = {{\ttfamily http://codetime.sourceforge.net/content/CodeTime\_Semantics.pdf}}
848 }
851 @misc
852 { CodeTimeTh,
853 author = {Sean Halle},
854 key = {CodeTime},
855 title = {A Mental Framework for Use in Creating Hardware-Independent Parallel Languages},
856 note = {{\ttfamily http://codetime.sourceforge.net/content/CodeTiime\_Theoretical\_Framework.pdf}}
857 }
860 @misc
861 { CodeTimeTh1,
862 author = {Sean Halle},
863 key = {CodeTime},
864 title = {The CodeTime Parallel Software Platform},
865 note = {{\ttfamily http://codetime.sourceforge.net}}
866 }
869 @misc
870 { CodeTimeTh2,
871 author = {Sean Halle},
872 key = {CodeTime},
873 title = {The CodeTime Parallel Software Platform},
874 note = {{\ttfamily http://codetime.sourceforge.net}}
875 }
878 @misc
879 { CodeTimeRT,
880 author = {Sean Halle},
881 key = {CodeTime},
882 title = {The CodeTime Parallel Software Platform},
883 note = {{\ttfamily http://codetime.sourceforge.net}}
884 }
887 @misc
888 { CodeTimeWebSite
889 author = {Sean Halle},
890 key = {CodeTime},
891 title = {The CodeTime Parallel Software Platform},
892 note = {{\ttfamily http://codetime.sourceforge.net}}
893 }
896 @misc
897 { CodeTimeBaCTiL,
898 author = {Sean Halle},
899 key = {CodeTime},
900 title = {The Base CodeTime Language},
901 note = {{\ttfamily http://codetime.sourceforge.net/content/CodeTime\_BaCTiL.pdf}}
902 }
904 @misc
905 { CodeTimeCert,
906 author = {Sean Halle},
907 key = {CodeTime},
908 title = {The CodeTime Certification Strategy},
909 note = {{\ttfamily http://codetime.sourceforge.net/content/CodeTime\_Certification.pdf}}
910 }
913 // Multiple inheritance: explains issues well and references LOOPS and CLOS
914 @inproceedings{ducournau94,
915 author = {R. Ducournau and M. Habib and M. Huchard and M. L. Mugnier},
916 title = {Proposal for a monotonic multiple inheritance linearization},
917 booktitle = {OOPSLA '94: Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications},
918 year = {1994},
919 pages = {164--175},
920 publisher = {ACM Press}
921 }
924 // 252 Citations, shows equivalence of mu-calculus and (nondeterministic) tree automata,
925 // so cited as foundation a lot
926 @article{emerson91,
927 title={{Tree automata, mu-calculus and determinacy}},
928 author={Emerson, EA and Jutla, CS},
929 journal={Proceedings of the 32nd Symposium on Foundations of Computer Science},
930 pages={368--377},
931 year={1991}
932 }
935 // Introducs PRAM model, at same time, in same conference as
936 @article{fortune78,
937 title={{Parallelism in random access machines}},
938 author={Fortune, S. and Wyllie, J.},
939 journal={STOC '78: Proceedings of the tenth annual ACM symposium on Theory of computing},
940 pages={114--118},
941 year={1978},
942 publisher={ACM Press New York, NY, USA}
943 }
947 // Smalltalk reference
948 @book{goldberg83,
949 title={{Smalltalk-80: the language and its implementation}},
950 author={Goldberg, A. and Robson, D.},
951 year={1983},
952 publisher={Addison-Wesley}
953 }
956 // also introduces PRAM model, apparently independently
957 @inproceedings{goldschlager78,
958 author = {Leslie M. Goldschlager},
959 title = {A unified approach to models of synchronous parallel machines},
960 booktitle = {STOC '78: Proceedings of the tenth annual ACM symposium on Theory of computing},
961 year = {1978},
962 pages = {89--94},
963 location = {San Diego, California, United States},
964 doi = {http://doi.acm.org/10.1145/800133.804336},
965 publisher = {ACM Press},
966 }
969 // Java spec
970 @book
971 { gosling96,
972 author = {J. Gosling and B. Joy and G. Steele and G. Bracha},
973 title = {The Java Language Specification},
974 publisher = {Addison-Wesley},
975 year = {1996}
976 }
979 // Survey of prototyping parallel apps
980 @article{hasselbring00,
981 author = {Wilhelm Hasselbring},
982 title = {Programming languages and systems for prototyping concurrent applications},
983 journal = {ACM Comput. Surv.},
984 volume = {32},
985 number = {1},
986 year = {2000},
987 issn = {0360-0300},
988 pages = {43--79},
989 doi = {http://doi.acm.org/10.1145/349194.349199},
990 publisher = {ACM Press},
991 address = {New York, NY, USA},
992 }
995 // Original CSP paper
996 @article{hoare78,
997 author={C. A. R. Hoare},
998 title={Communicating Sequential Processes},
999 journal={Communications of the ACM},
1000 year={1978},
1001 volume={21},
1002 number={8},
1003 pages={666-677}
1004 }
1007 // 8 citations.. probably from self.. want a paper that ties areas together..
1008 // This paper does a beautiful job..
1009 @article{huth,
1010 title={{A Unifying Framework for Model Checking Labeled Kripke Structures, Modal Transition Systems, and Interval Transition Systems}},
1011 author={Huth, M.},
1012 journal={Proceedings of the 19th International Conference on the Foundations of Software Technology \& Theoretical Computer Science, Lecture Notes in Computer Science},
1013 pages={369--380},
1014 publisher={Springer-Verlag}
1015 }
1018 // Dataflow advances survey, includes large grain dataflow
1019 @article
1020 { johnston04,
1021 author = {Wesley M. Johnston and J. R. Paul Hanna and Richard J. Millar},
1022 title = {Advances in dataflow programming languages},
1023 journal = {ACM Comput. Surv.},
1024 volume = {36},
1025 number = {1},
1026 year = {2004},
1027 issn = {0360-0300},
1028 pages = {1--34},
1029 doi = {http://doi.acm.org/10.1145/1013208.1013209},
1030 publisher = {ACM Press},
1031 address = {New York, NY, USA}
1032 }
1035 @book
1036 { koelbel93,
1037 author = {C. H. Koelbel and D. Loveman and R. Schreiber and G. Steele Jr},
1038 title = {High Performance Fortran Handbook},
1039 year = {1993},
1040 publisher = {MIT Press}
1041 }
1044 // mu calculus paper with 430 citations
1045 @article{kozen83,
1046 title={{Results on the Propositional mu-Calculus}},
1047 author={Kozen, D.},
1048 journal={TCS},
1049 volume={27},
1050 pages={333--354},
1051 year={1983}
1052 }
1055 // original kripke structure paper
1056 @article{kripke63,
1057 title={{Semantical analysis of modal logic}},
1058 author={Kripke, S.},
1059 journal={Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik},
1060 volume={9},
1061 pages={67--96},
1062 year={1963}
1063 }
1066 @book
1067 { mcGraw85,
1068 author = {J McGraw and S. Skedzielewski and S. Allan and R Odefoeft},
1069 title = {SISAL: Streams and Iteration in a Single-Assignment Language: Reference Manual Version 1.2},
1070 note = {Manual M-146 Rev. 1},
1071 publisher = {Lawrence Livermore National Laboratory},
1072 year = {1985}
1073 }
1076 // Milner's own citation to development of CCS
1077 @book{milner80,
1078 title={{A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science}},
1079 author={Milner, R.},
1080 year={1980},
1081 publisher={Springer-Verlag}
1082 }
1085 // Milner's own pi-calculus reference
1086 @article{milner92,
1087 title={{A calculus of mobile processes, parts I and II}},
1088 author={Milner, R. and Parrow, J. and Walker, D.},
1089 journal={Information and Computation},
1090 volume={100},
1091 number={1},
1092 pages={1--40 and 41--77},
1093 year={1992},
1094 publisher={Academic Press}
1095 }
1098 // more recent Pi calculus reference
1099 @book
1100 { milner99,
1101 author = {Robin Milner},
1102 title = {Communicating and Mobile Systems: The pi-Calculus},
1103 publisher = {Cambridge University Press},
1104 year = {1999}
1105 }
1108 // MPI reference
1109 @book
1110 { MPIForum94,
1111 author = {M. P. I. Forum},
1112 title = {MPI: A Message-Passing Interface Standard},
1113 year = {1994}
1114 }
1117 // Petri nets original citation
1118 @article{petri62,
1119 title={{Fundamentals of a theory of asynchronous information flow}},
1120 author={Petri, C.A.},
1121 journal={Proc. IFIP Congress},
1122 volume={62},
1123 pages={386--390},
1124 year={1962}
1125 }
1128 // Pierce Type system book
1129 @book{pierce02,
1130 title={Types and Programming Languages},
1131 author={Pierce, B. C.},
1132 year={2002},
1133 publisher={MIT Press}
1134 }
1137 // Survey of Visual programming
1138 @Article
1139 { price,
1140 author = {B. A. Price and R. M. Baecker and L. S. Small},
1141 title = {A Principled Taxonomy of Software Visualization},
1142 journal ={Journal of Visual Languages and Computing},
1143 volume = {4},
1144 number = {3},
1145 pages = {211--266}
1146 }
1150 @misc
1151 { pythonWebSite,
1152 key = {Python},
1153 title = {The Python Software Foundation Mission Statement},
1154 note = {{\ttfamily http://www.python.org/psf/mission.html}}
1155 }
1158 // Roadmap for Revitalization of High End Computing
1159 @unpublished
1160 { reed03,
1161 editor = {Daniel A. Reed},
1162 title = {Workshop on The Roadmap for the Revitalization of High-End Computing},
1163 day = {16--18},
1164 month = {jun},
1165 year = {2003},
1166 note = {Available at {\ttfamily http://www.cra.org/reports/supercomputing.web.pdf}}
1167 }
1170 // Parallel Pascal
1171 @Article
1172 { reeves84,
1173 author = {A. P. Reeves},
1174 title = {Parallel Pascal -- An Extended Pascal for Parallel Computers},
1175 journal = {Journal of Parallel and Distributed Computing},
1176 volume = {1},
1177 number = {},
1178 year = {1984},
1179 month = {aug},
1180 pages = {64--80}
1181 }
1184 // Survey of parallel langs and models
1185 @article{skillicorn98,
1186 author = {David B. Skillicorn and Domenico Talia},
1187 title = {Models and languages for parallel computation},
1188 journal = {ACM Comput. Surv.},
1189 volume = {30},
1190 number = {2},
1191 year = {1998},
1192 issn = {0360-0300},
1193 pages = {123--169},
1194 doi = {http://doi.acm.org/10.1145/280277.280278},
1195 publisher = {ACM Press},
1196 address = {New York, NY, USA},
1197 }
1200 // LOOPS ref for multiple inheritance issues
1201 @article{stefik86,
1202 title={Object Oriented Programming: Themes and Variations},
1203 author={Stefik, M. and Bobrow, D. G.},
1204 journal={The AI Magazine},
1205 volume={6},
1206 number={4},
1207 year={1986}
1208 }
1211 // 240 citations to this book, so seems safe.. covers modal logics which is superset
1212 // of temporal logics
1213 @book{stirling92,
1214 title={{Modal and Temporal Logics}},
1215 author={Stirling, C.},
1216 year={1992},
1217 publisher={University of Edinburgh, Department of Computer Science}
1218 }
1221 // Titanium website
1222 @misc
1223 { TitaniumWebSite,
1224 author = {Paul Hilfinger and et. al.},
1225 title = {The Titanium Project Home Page},
1226 note = {{\ttfamily http://www.cs.berkeley.edu/projects/titanium}}
1227 }
1230 // website with scans of original work by Turing
1231 @misc{turing38,
1232 author={A. Turing},
1233 note={http://www.turingarchive.org/intro/, and
1234 http://www.turing.org.uk/sources/biblio4.html, and
1235 http://web.comlab.ox.ac.uk/oucl/research/areas/ieg/e-library/sources/tp2-ie.pdf},
1236 year={1938}
1237 }
1240 // First mention of von Neumann's architecture ideas
1241 @book{vonNeumann45,
1242 title={First Draft of a Report on the EDVAC},
1243 author={J. von Neumann},
1244 year={1945},
1245 publisher={United States Army Ordnance Department}
1246 }
1249 // The 203 Glynn Winskel book for Formal Semantics
1250 @book{winskel93,
1251 title={{The Formal Semantics of Programming Languages}},
1252 author={Winskel, G.},
1253 year={1993},
1254 publisher={MIT Press}
1255 }