Mercurial > cgi-bin > hgwebdir.cgi > VMS > 0__Writings > kshalle
view 0__Papers/bib_for_papers.bib @ 97:3f338effbfd9
Proto-runtime paper -- checkpoint, about to delete bunch from intro
| author | Sean Halle <seanhalle@yahoo.com> |
|---|---|
| date | Mon, 10 Dec 2012 05:51:06 -0800 |
| parents | |
| children |
line source
1 @article{DSLLandscape,
2 author = "Andrew Fall and Joseph Fall",
3 title = "A domain-specific language for models of landscape dynamics",
4 journal = "Ecological Modelling",
5 volume = "141",
6 number = "1–3",
7 pages = "1 - 18",
8 year = "2001",
9 keywords = "Cellular automata",
10 keywords = "Landscape ecology",
11 keywords = "Modelling languages",
12 keywords = "Spatio-temporal simulation"
13 }
14 @misc{PerfToolVTune,
15 author = {Intel},
16 howpublished = {http://software.intel.com/en-us/articles/intel-vtune-amplifier-xe/},
17 title = {{Intel VTune Amplifier XE Performance Analyzer}},
18 year = {2011}
19 }
20 @ARTICLE{PerfToolVampir,
21 author = {W. E. Nagel and A. Arnold and M. Weber and H.-Ch. Hoppe and K. Solchenbach},
22 title = {{VAMPIR: Visualization and Analysis of MPI Resources}},
23 journal = {Supercomputer},
24 year = {1996},
25 volume = {12},
26 pages = {69--80}
27 }
28 @TECHREPORT{PerfToolParaver,
29 author = {Vincent Pillet and Vincent Pillet and Jesús Labarta and Toni Cortes and Toni Cortes and Sergi Girona and Sergi Girona and Departament D'arquitectura De Computadors},
30 title = {PARAVER: A Tool to Visualize and Analyze Parallel Code},
31 institution = {In WoTUG-18},
32 year = {1995}
33 }
34 @Misc{MPI,
35 author = {Message Passing Interface Forum},
36 howpublished = {http://www.mpi-forum.org},
37 title = {{MPI}: A Message-Passing Interface Standard Version 2.2},
38 year = 2009
39 }
40 @Article{StarSs,
41 author = {Planas, J. and Badia, R.M. and Ayguad{\'e}, E. and Labarta, J.},
42 title = {Hierarchical task-based programming with {StarSs}},
43 journal = {International Journal of High Performance Computing Applications},
44 year = 2009,
45 volume = 23,
46 number = 3,
47 pages = {284--299}
48 }
49 @InBook{PerfToolPoem,
50 title = {The Blind Men and the Elephant},
51 author = {John Godfrey Saxe},
52 publisher = {The Poems of John Godfrey Saxe, Complete edition. Boston: James R. Osgood and Company},
53 year = 1873,
54 pages = {77-78}
55 }
56 @Article{PerfToolTau,
57 author = {Shende, Sameer S. and Malony, Allen D.},
58 title = {The {TAU} Parallel Performance System},
59 volume = 20,
60 number = 2,
61 pages = {287-311},
62 year = {Summer 2006},
63 journal = {International Journal of High Performance Computing Applications}
64 }
65 @Article{PerfToolParadyn,
66 author = {Miller, B.P. and Callaghan, M.D. and Cargille, J.M. and Hollingsworth, J.K. and Irvin, R.B. and Karavanic, K.L. and Kunchithapadam, K. and Newhall, T.},
67 journal = {Computer},
68 title = {The {Paradyn} parallel performance measurement tool},
69 year = 1995,
70 month = {nov},
71 volume = 28,
72 number = 11,
73 pages = {37 -46}
74 }
75 @Article{PerfToolParagraph,
76 author = {Heath, M.T. and Etheridge, J.A.},
77 journal = {Software, IEEE},
78 title = {Visualizing the performance of parallel programs},
79 year = 1991,
80 month = {sept. },
81 volume = 8,
82 number = 5,
83 pages = {29 -39}
84 }
85 @Article{PerfToolStarSs,
86 author = {Steffen Brinkmann and Jos{\'e} Gracia and Christoph Niethammer and Rainer Keller},
87 title = {{TEMANEJO} - a debugger for task based parallel programming models},
88 journal = {CoRR},
89 volume = {abs/1112.4604},
90 year = 2011
91 }
92 @techrep{SyncConstr_impl_w_distr_coherence_HW_Utah_96,
93 author = {Carter, J. B. and Kuo, C.-C. and Kuramkote, R.},
94 title = { A comparison of software and hardware synchronization mechanisms for distributed shared memory multiprocessors},
95 institution = {University of Utah, Salt Lake City, UT},
96 year = 1996,
97 url = {http://www.cs.utah.edu/research/techreports/1996/pdf/UUCS-96-011.pdf},
98 number = {UUCS-96-011}
99 }
100 @Article{SWCoherence_Hill_SW_for_shared_coherence_w_HW_support_93,
101 author = {Hill, Mark D. and Larus, James R. and Reinhardt, Steven K. and Wood, David A.},
102 title = {Cooperative shared memory: software and hardware for scalable multiprocessors},
103 journal = {ACM Trans. Comput. Syst.},
104 volume = 11,
105 number = 4,
106 year = 1993,
107 pages = {300--318}
108 }
109 @InProceedings{SWCache_MIT_embedSW_manages_cache_w_HW_supp,
110 author = {Chiou, Derek and Jain, Prabhat and Rudolph, Larry and Devadas, Srinivas},
111 title = {Application-specific memory management for embedded systems using software-controlled caches},
112 booktitle = {DAC},
113 year = 2000,
114 pages = {416--419}
115 }
116 @InProceedings{SWCache_instr_trig_HW_supp_04,
117 author = {Janapsatya, Andhi and Parameswaran, Sri and Ignjatovic, A.},
118 title = {Hardware/software managed scratchpad memory for embedded system},
119 booktitle = {Proceedings of the 2004 IEEE/ACM International conference on Computer-aided design},
120 series = {ICCAD '04},
121 year = 2004,
122 pages = {370--377}
123 }
124 @InProceedings{SWCache_arch_supp_OS_policy_06,
125 author = {Rafique, Nauman and Lim, Won-Taek and Thottethodi, Mithuna},
126 title = {Architectural support for operating system-driven CMP cache management},
127 booktitle = {Proceedings of the 15th international conference on Parallel architectures and compilation techniques},
128 series = {PACT '06},
129 year = 2006,
130 pages = {2--12}
131 }
132 @InProceedings{SWCoherence_on_Distr_Mem_90,
133 author = {Bennett, J.K. and Carter, J.B. and Zwaenepoel, W.},
134 booktitle = {Computer Architecture, 1990. Proceedings., 17th Annual International Symposium on},
135 title = {Adaptive software cache management for distributed shared memory architectures},
136 year = 1990,
137 pages = {125 -134}
138 }
139 @InProceedings{Charm_runtime_opt_10,
140 author = {Mei, Chao and Zheng, Gengbin and Gioachin, Filippo and Kal{\'e}, Laxmikant V.},
141 title = {Optimizing a parallel runtime system for multicore clusters: a case study},
142 booktitle = {The 2010 TeraGrid Conference},
143 year = 2010,
144 pages = {12:1--12:8}
145 }
146 @InProceedings{TCC_Hammond_ISCA_04,
147 author = {Hammond, Lance and al, et},
148 title = {Transactional Memory Coherence and Consistency},
149 series = {ISCA '04},
150 pages = {102--},
151 booktitle = {},
152 year = {}
153 }
154 @Misc{WorkTableHome,
155 author = {Halle, Sean},
156 note = {http://musictwodotoh.com/worktable/content/refman.pdf},
157 title = {The WorkTable Language Reference Manual},
158 year = 2012
159 }
160 @Misc{HWSimHome,
161 author = {Halle, Sean and Hausers, Stefan},
162 note = {http://musictwodotoh.com/hwsim/content/refman.pdf},
163 title = {The HWSim Language Reference Manual},
164 year = 2012
165 }
166 @Article{Lamport78,
167 author = {Lamport, Leslie},
168 title = {Time, clocks, and the ordering of events in a distributed system},
169 journal = {Commun. ACM},
170 volume = 21,
171 issue = 7,
172 year = 1978,
173 pages = {558--565}
174 }
175 @Article{Lamport87,
176 author = {Lamport, Leslie},
177 title = {A fast mutual exclusion algorithm},
178 journal = {ACM Trans. Comput. Syst.},
179 volume = 5,
180 issue = 1,
181 year = 1987,
182 pages = {1--11}
183 }
184 @InProceedings{Dijkstra67,
185 author = {Dijkstra, Edsger W.},
186 title = {The structure of the "{THE}"-multiprogramming system},
187 booktitle = {Proceedings of the first ACM symposium on Operating System Principles},
188 series = {SOSP '67},
189 year = 1967,
190 pages = {10.1--10.6}
191 }
192 @Article{Conway63,
193 author = {Conway, Melvin E.},
194 title = {Design of a separable transition-diagram compiler},
195 journal = {Commun. ACM},
196 volume = 6,
197 issue = 7,
198 year = 1963,
199 pages = {396--408}
200 }
201 @Book{ComponentModel00,
202 author = {G Leavens and M Sitaraman (eds)},
203 title = {Foundations of Component-Based Systems},
204 publisher = {Cambridge University Press},
205 year = 2000
206 }
207 @Misc{Hewitt10,
208 author = {Carl Hewitt},
209 title = {Actor Model of Computation},
210 year = 2010,
211 note = {http://arxiv.org/abs/1008.1459}
212 }
213 @Article{Actors97,
214 author = {Agha,G. and Mason,I. and Smith,S. and Talcott,C.},
215 title = {A foundation for actor computation},
216 journal = {Journal of Functional Programming},
217 volume = 7,
218 number = 01,
219 pages = {1-72},
220 year = 1997
221 }
222 @Article{SchedActivations,
223 author = {Anderson, Thomas E. and Bershad, Brian N. and Lazowska, Edward D. and Levy, Henry M.},
224 title = {Scheduler activations: effective kernel support for the user-level management of parallelism},
225 journal = {ACM Trans. Comput. Syst.},
226 volume = 10,
227 issue = 1,
228 month = {February},
229 year = 1992,
230 pages = {53--79}
231 }
232 @InProceedings{BOMinManticore,
233 author = {Fluet, Matthew and Rainey, Mike and Reppy, John and Shaw, Adam and Xiao, Yingqi},
234 title = {Manticore: a heterogeneous parallel language},
235 booktitle = {Proceedings of the 2007 workshop on Declarative aspects of multicore programming},
236 series = {DAMP '07},
237 year = 2007,
238 pages = {37--44},
239 numpages = 8
240 }
241 @TechReport{GainFromChaos_Halle_92,
242 author = {Halle, K.S. and Chua, Leon O. and Anishchenko, V.S. and Safonova, M.A.},
243 title = {Signal Amplification via Chaos: Experimental Evidence},
244 institution = {EECS Department, University of California, Berkeley},
245 year = 1992,
246 url = {http://www.eecs.berkeley.edu/Pubs/TechRpts/1992/2223.html},
247 number = {UCB/ERL M92/130}
248 }
249 @InProceedings{HotPar10_w_BLIS,
250 author = {Sean Halle and Albert Cohen},
251 booktitle = {HOTPAR '10: USENIX Workshop on Hot Topics in Parallelism},
252 month = {June},
253 title = {Leveraging Semantics Attached to Function Calls to Isolate Applications from Hardware},
254 year = 2010
255 }
256 @InProceedings{HotPar11_w_Stack,
257 author = {Sean Halle and Albert Cohen},
258 booktitle = {HOTPAR '11: USENIX Workshop on Hot Topics in Parallelism},
259 month = {May},
260 title = {},
261 year = 2011
262 }
263 @Article{VMS_LCPC_11,
264 author = {Sean Halle and Albert Cohen},
265 title = {A Mutable Hardware Abstraction to Replace Threads},
266 journal = {24th International Workshop on Languages and Compilers for Parallel Languages (LCPC11)},
267 year = 2011
268 }
269 @Misc{StackTechRep_10,
270 author = {Halle, Sean and Nadezhkin, Dmitry and Cohen, Albert},
271 note = {http://www.soe.ucsc.edu/share/technical-reports/2010/ucsc-soe-10-02.pdf},
272 title = {A Framework to Support Research on Portable High Performance Parallelism},
273 year = 2010
274 }
275 @Misc{CTBigStepSemTechRep_06,
276 author = {Halle, Sean},
277 note = {http://www.soe.ucsc.edu/share/technical-reports/2006/ucsc-crl-06-11.pdf},
278 title = {The Big-Step Operational Semantics of CodeTime Circuits},
279 year = 2006
280 }
281 @Misc{MentalFrameworkTechRep_06,
282 author = {Halle, Sean},
283 note = {http://www.soe.ucsc.edu/share/technical-reports/2006/ucsc-crl-06-12.pdf},
284 title = {A Mental Framework for use in Creating Hardware Independent Parallel Languages},
285 year = 2006
286 }
287 @Misc{DKUTechRep_09,
288 author = {Halle, Sean and Cohen, Albert},
289 note = {http://www.soe.ucsc.edu/share/technical-reports/2009/ucsc-soe-09-06.pdf},
290 title = {DKU Pattern for Performance Portable Parallel Software},
291 year = 2009
292 }
293 @Misc{EQNLangTechRep,
294 author = {Halle, Sean},
295 note = {http://www.soe.ucsc.edu/share/technical-reports/2009/ucsc-soe-09-16.pdf},
296 title = {An Extensible Parallel Language},
297 year = 2009
298 }
299 @Misc{CTOSTechRep,
300 author = {Halle, Sean},
301 note = {http://www.soe.ucsc.edu/share/technical-reports/2009/ucsc-soe-09-15.pdf},
302 title = {A Hardware-Independent Parallel Operating System Abstraction LayerParallelism},
303 year = 2009
304 }
305 @Misc{SideEffectsTechRep,
306 author = {Halle, Sean and Cohen, Albert},
307 note = {http://www.soe.ucsc.edu/share/technical-reports/2009/ucsc-soe-09-14.pdf},
308 title = {Parallel Language Extensions for Side Effects},
309 year = 2009
310 }
311 @Misc{BaCTiLTechRep,
312 author = {Halle, Sean},
313 note = {http://www.soe.ucsc.edu/share/technical-reports/2006/ucsc-crl-06-08.pdf},
314 title = {BaCTiL: Base CodeTime Language},
315 year = 2006
316 }
317 @Misc{CTPlatformTechRep,
318 author = {Halle, Sean},
319 note = {http://www.soe.ucsc.edu/share/technical-reports/2006/ucsc-crl-06-09.pdf},
320 title = {The Elements of the CodeTime Software Platform},
321 year = 2006
322 }
323 @Misc{CTRTTechRep,
324 author = {Halle, Sean},
325 note = {http://www.soe.ucsc.edu/share/technical-reports/2006/ucsc-crl-06-10.pdf},
326 title = {A Scalable and Efficient Peer-to-Peer Run-Time System for a Hardware Independent Software Platform},
327 year = 2006
328 }
329 @Misc{CIPTechRep,
330 author = {Halle, Sean},
331 note = {http://www.soe.ucsc.edu/share/technical-reports/2005/ucsc-crl-05-05.pdf},
332 title = {The Case for an Integrated Software Platform for HEC Illustrated Using the CodeTime Platform},
333 year = 2005
334 }
335 @Misc{Halle2008,
336 author = {Sean Halle and Albert Cohen},
337 note = {http://omp.musictwodotoh.com},
338 title = {{DKU} infrastructure server}
339 }
340 @Misc{DKUSourceForge,
341 author = {Sean Halle and Albert Cohen},
342 month = {November},
343 note = {http://dku.sourceforge.net},
344 title = {{DKU} website},
345 year = 2008
346 }
347 @Misc{BLISHome,
348 author = {Sean Halle and Albert Cohen},
349 month = {November},
350 note = {http://blisplatform.sourceforge.net},
351 title = {{BLIS} website},
352 year = 2008
353 }
354 @Misc{VMSHome,
355 author = {Sean Halle and Merten Sach and Ben Juurlink and Albert Cohen},
356 note = {http://virtualizedmasterslave.org},
357 title = {{VMS} Home Page},
358 year = 2010
359 }
360 @Misc{PStackHome,
361 author = {Sean Halle},
362 note = {http://pstack.sourceforge.net},
363 title = {{PStack} Home Page},
364 year = 2012
365 }
366 @Misc{DeblockingCode,
367 note = {http://dku.svn.sourceforge.net/viewvc/dku/branches/DKU\_C\_\_Deblocking\_\_orig/},
368 title = {{DKU-ized Deblocking Filter} code}
369 }
370 @Misc{SampleBLISCode,
371 note = {http://dku.sourceforge.net/SampleCode.htm},
372 title = {{Sample BLIS Code}}
373 }
374 @Misc{OMPHome,
375 note = {http://www.openmediaplatform.eu/},
376 title = {{Open Media Platform} homepage}
377 }
378 @Misc{MapReduceHome,
379 author = {Google Corp.},
380 note = {http://labs.google.com/papers/mapreduce.html},
381 title = {{MapReduce} Home page}
382 }
383 @Misc{TBBHome,
384 author = {Intel Corp.},
385 note = {http://www.threadingbuildingblocks.org},
386 title = {{TBB} Home page}
387 }
388 @Misc{HPFWikipedia,
389 author = {Wikipedia},
390 note = {http://en.wikipedia.org/wiki/High_Performance_Fortran},
391 title = {{HPF} wikipedia page}
392 }
393 @Misc{OpenMPHome,
394 author = {{OpenMP} organization},
395 note = {http://www.openmp.org},
396 title = {{OpenMP} Home page}
397 }
398 @Misc{MPIHome,
399 author = {open-mpi organization},
400 note = {http://www.open-mpi.org},
401 title = {{Open MPI} Home page}
402 }
403 @Misc{OpenCLHome,
404 author = {Kronos Group},
405 note = {http://www.khronos.org/opencl},
406 title = {{OpenCL} Home page}
407 }
408 @Misc{CILKHome,
409 author = {Cilk group at MIT},
410 note = {http://supertech.csail.mit.edu/cilk/},
411 title = {{CILK} homepage}
412 }
413 @InProceedings{Fri98,
414 author = {M. Frigo and C. E. Leiserson and K. H. Randall},
415 title = {The Implementation of the Cilk-5 Multithreaded Language},
416 booktitle = {PLDI '98: Proceedings of the 1998 ACM SIGPLAN conference on Programming language design and implementation},
417 pages = {212--223},
418 year = 1998,
419 address = {Montreal, Quebec},
420 month = jun
421 }
422 @Misc{TitaniumHome,
423 note = {http://titanium.cs.berkeley.edu},
424 title = {{Titanium} homepage}
425 }
426 @InProceedings{CnCInHotPar,
427 author = {Knobe, Kathleen},
428 booktitle = {HOTPAR '09: USENIX Workshop on Hot Topics in Parallelism},
429 title = {Ease of Use with Concurrent Collections {(CnC)}},
430 year = 2009
431 }
432 @Misc{CnCHome,
433 author = {Intel Corp.},
434 note = {http://software.intel.com/en-us/articles/intel-concurrent-collections-for-cc/},
435 title = {{CnC} homepage}
436 }
437 @Misc{SpiralHome,
438 author = {Spiral Group at CMU},
439 note = {http://www.spiral.net},
440 title = {{Spiral} homepage}
441 }
442 @Misc{ScalaHome,
443 author = {Scala organization},
444 note = {http://www.scala-lang.org/},
445 title = {{Scala} homepage}
446 }
447 @Misc{UPCHome,
448 author = {UPC group at UC Berkeley},
449 note = {http://upc.lbl.gov/},
450 title = {{Unified Parallel C} homepage}
451 }
452 @Misc{SuifHome,
453 note = {http://suif.stanford.edu},
454 title = {{Suif} Parallelizing compiler homepage}
455 }
456 @Article{SEJITS,
457 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},
458 title = {SEJITS: Getting Productivity AND Performance With Selective Embedded JIT Specialization},
459 journal = {First Workshop on Programmable Models for Emerging Architecture at the 18th International Conference on Parallel Architectures and Compilation Techniques },
460 year = 2009
461 }
462 @InProceedings{Arnaldo3D,
463 author = {Azevedo, Arnaldo and Meenderinck, Cor and Juurlink, Ben and Terechko, Andrei and Hoogerbrugge, Jan and Alvarez, Mauricio and Ramirez, Alex},
464 title = {Parallel H.264 Decoding on an Embedded Multicore Processor},
465 booktitle = {HiPEAC '09: Proceedings of the 4th International Conference on High Performance Embedded Architectures and Compilers},
466 year = 2009,
467 pages = {404--418}
468 }
469 @Article{NarayananGPUSched,
470 author = {Narayanan Sundaram and Anand Raghunathan and Srimat T. Chakradhar},
471 title = {A framework for efficient and scalable execution of domain-specific templates on GPUs},
472 journal = {International Parallel and Distributed Processing Symposium {(IPDPS)}},
473 year = 2009,
474 pages = {1-12}
475 }
476 @InProceedings{PolyForGPU,
477 author = {Baskaran, Muthu Manikandan and Bondhugula, Uday and Krishnamoorthy, Sriram and Ramanujam, J. and Rountev, Atanas and Sadayappan, P.},
478 title = {A compiler framework for optimization of affine loop nests for gpgpus},
479 booktitle = {ICS '08: Proceedings of the 22nd annual international conference on Supercomputing},
480 year = 2008,
481 pages = {225--234}
482 }
483 @InProceedings{Loulou08,
484 author = {Pouchet, Louis-No\"{e}l and Bastoul, C\'{e}dric and Cohen, Albert and Cavazos, John},
485 title = {Iterative optimization in the polyhedral model: part ii, multidimensional time},
486 booktitle = {ACM SIGPLAN conference on Programming language design and implementation {(PLDI)} },
487 year = 2008,
488 pages = {90--100}
489 }
490 @InProceedings{MergeInHotPar,
491 author = {Michael D. Linderman and James Balfour and Teresa H. Meng and William J. Dally},
492 booktitle = {HOTPAR '09: USENIX Workshop on Hot Topics in Parallelism},
493 month = {March},
494 title = {Embracing Heterogeneity \- Parallel Programming for Changing Hardware},
495 year = 2009
496 }
497 @InProceedings{GaloisRef,
498 author = {Kulkarni, Milind and Pingali, Keshav and Walter, Bruce and Ramanarayanan, Ganesh and Bala, Kavita and Chew, L. Paul},
499 title = {Optimistic parallelism requires abstractions},
500 booktitle = {PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation},
501 year = 2007,
502 pages = {211--222}
503 }
504 @Book{Allen2002,
505 author = {Kennedy, Ken and Allen, John R.},
506 title = {Optimizing compilers for modern architectures: a dependence-based approach},
507 year = 2002,
508 publisher = {Morgan Kaufmann Publishers Inc.}
509 }
510 @Misc{Stephens95,
511 author = {R. Stephens},
512 title = {A Survey Of Stream Processing},
513 year = 1995
514 }
515 @InProceedings{Palatin06,
516 author = {P Palatin and Y Lhuillier and O Temam},
517 title = {CAPSULE: Hardware-assisted parallel execution of componentbased programs},
518 booktitle = {In Proceedings of the 39th Annual International Symposium on Microarchitecture},
519 year = 2006,
520 pages = {247--258}
521 }
522 @InProceedings{Sequioa06,
523 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},
524 title = {Sequoia: programming the memory hierarchy},
525 booktitle = {SC '06: Proceedings of the 2006 ACM/IEEE conference on Supercomputing},
526 year = 2006,
527 pages = 83
528 }
529 @Book{Cole89,
530 author = {M Cole},
531 title = {Algorithmic skeletons: Structured management of parallel computation},
532 publisher = {Pitman},
533 year = 1989
534 }
535 @InProceedings{Ginhac98,
536 author = {Dominique Ginhac and Jocelyn Serot and Jean Pierre Derutin},
537 title = {Fast prototyping of image processing applications using functional skeletons on a MIMD-DM architecture},
538 booktitle = {In IAPR Workshop on Machine Vision and Applications},
539 year = 1998,
540 pages = {468--471}
541 }
542 @InProceedings{Serot08MetaParallel,
543 author = {Serot, Jocelyn and Falcou, Joel},
544 title = {Functional Meta-programming for Parallel Skeletons},
545 booktitle = {ICCS '08: Proceedings of the 8th international conference on Computational Science, Part I},
546 year = 2008,
547 pages = {154--163}
548 }
549 @InProceedings{Darlington93,
550 author = {J. Darlington and A. J. Field and P. G. Harrison and P. H. J. Kelly and D. W. N. Sharp and Q. Wu},
551 title = {Parallel programming using skeleton functions},
552 booktitle = {},
553 year = 1993,
554 pages = {146--160},
555 publisher = {Springer-Verlag}
556 }
557 @Article{Asanovic06BerkeleyView,
558 title = {{The landscape of parallel computing research: A view from berkeley}},
559 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},
560 journal = {Electrical Engineering and Computer Sciences, University of California at Berkeley, Technical Report No. UCB/EECS-2006-183, December},
561 volume = 18,
562 number = {2006-183},
563 pages = 19,
564 year = 2006
565 }
566 @Misc{BerkeleyPattLang,
567 note = {http://parlab.eecs.berkeley.edu/wiki/patterns},
568 title = {{Berkeley Pattern Language}}
569 }
570 @Book{Mattson04Patterns,
571 title = {{Patterns for parallel programming}},
572 author = {Mattson, T. and Sanders, B. and Massingill, B.},
573 year = 2004,
574 publisher = {Addison-Wesley Professional}
575 }
576 @Article{Skillicorn98,
577 title = {{Models and languages for parallel computation}},
578 author = {Skillicorn, D.B. and Talia, D.},
579 journal = {ACM Computing Surveys (CSUR)},
580 volume = 30,
581 number = 2,
582 pages = {123--169},
583 year = 1998
584 }
585 @Conference{Blelloch93NESL,
586 title = {{Implementation of a portable nested data-parallel language}},
587 author = {Blelloch, G.E. and Hardwick, J.C. and Chatterjee, S. and Sipelstein, J. and Zagha, M.},
588 booktitle = {Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming},
589 pages = {102--111},
590 year = 1993,
591 organization = {ACM New York, NY, USA}
592 }
593 @Article{McgrawSisal,
594 title = {{SISAL: Streams and iteration in a single assignment language: Reference manual version 1.2}},
595 author = {McGraw, J. and Skedzielewski, SK and Allan, SJ and Oldehoeft, RR and Glauert, J. and Kirkham, C. and Noyce, B. and Thomas, R.},
596 journal = {Manual M-146, Rev},
597 volume = 1
598 }
599 @Article{Gelernter85Linda,
600 title = {{Generative communication in Linda}},
601 author = {Gelernter, D.},
602 journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
603 volume = 7,
604 number = 1,
605 pages = {80--112},
606 year = 1985
607 }
608 @Article{Lin94ZPL,
609 title = {{ZPL: An array sublanguage}},
610 author = {Lin, C. and Snyder, L.},
611 journal = {Lecture Notes in Computer Science},
612 volume = 768,
613 pages = {96--114},
614 year = 1994
615 }
616 @Article{baecker97,
617 author = {Ron Baecker and Chris DiGiano and Aaron Marcus},
618 title = {Software visualization for debugging},
619 journal = {Communications of the ACM},
620 volume = 40,
621 number = 4,
622 year = 1997,
623 issn = {0001-0782},
624 pages = {44--54},
625 publisher = {ACM Press}
626 }
627 @Article{ball96,
628 author = {T. A. Ball and S. G. Eick},
629 title = {Software Visualization in the Large},
630 journal = {IEEE Computer},
631 volume = 29,
632 number = 4,
633 year = 1996,
634 month = {apr},
635 pages = {33--43}
636 }
637 @Book{berry89,
638 title = {{The chemical abstract machine}},
639 author = {Berry, G. and Boudol, G.},
640 year = 1989,
641 publisher = {ACM Press}
642 }
643 @Article{blumofe95,
644 author = {Robert D. Blumofe and Christopher F. Joerg and Bradley C. Kuszmaul and Charles E. Leiserson and Keith H. Randall and Yuli Zhou},
645 title = {Cilk: an efficient multithreaded runtime system},
646 journal = {SIGPLAN Not.},
647 volume = 30,
648 number = 8,
649 year = 1995,
650 pages = {207--216}
651 }
652 @Article{burch90,
653 title = {{Symbolic model checking: 10^{20} states and beyond}},
654 author = {Burch, JR and Clarke, EM and McMillan, KL and Dill, DL and Hwang, LJ},
655 journal = {Logic in Computer Science, 1990. LICS'90, Proceedings},
656 pages = {428--439},
657 year = 1990
658 }
659 @Article{chamberlain98,
660 author = {B. Chamberlain and S. Choi and E. Lewis and C. Lin and L. Snyder and W. Weathersby},
661 title = {ZPL's WYSIWYG Performance Model},
662 journal = {hips},
663 volume = 00,
664 year = 1998,
665 isbn = {0-8186-8412-7},
666 pages = 50
667 }
668 @Article{church41,
669 author = {A. Church},
670 title = {The Calculi of Lambda-Conversion},
671 journal = {Annals of Mathematics Studies},
672 number = 6,
673 year = 1941,
674 publisher = {Princeton University}
675 }
676 @Misc{CodeTimeSite,
677 author = {Sean Halle},
678 key = {CodeTime},
679 title = {Homepage for The CodeTime Parallel Software Platform},
680 note = {{\ttfamily http://codetime.sourceforge.net}}
681 }
682 @Misc{CodeTimePlatform,
683 author = {Sean Halle},
684 key = {CodeTime},
685 title = {The CodeTime Parallel Software Platform},
686 note = {{\ttfamily http://codetime.sourceforge.net/content/CodeTime\_Platform.pdf}}
687 }
688 @Misc{CodeTimeVS,
689 author = {Sean Halle},
690 key = {CodeTime},
691 title = {The Specification of the CodeTime Platform's Virtual Server},
692 note = {{\ttfamily http://codetime.sourceforge.net/content/CodeTime\_Virtual\_Server.pdf}}
693 }
694 @Misc{CodeTimeOS,
695 author = {Sean Halle},
696 key = {CodeTime},
697 title = {A Hardware Independent OS},
698 note = {{\ttfamily http://codetime.sourceforge.net/content/CodeTime\_OS.pdf}}
699 }
700 @Misc{CodeTimeSem,
701 author = {Sean Halle},
702 key = {CodeTime},
703 title = {The Big-Step Operational Semantics of the CodeTime Computational Model},
704 note = {{\ttfamily http://codetime.sourceforge.net/content/CodeTime\_Semantics.pdf}}
705 }
706 @Misc{CodeTimeTh,
707 author = {Sean Halle},
708 key = {CodeTime},
709 title = {A Mental Framework for Use in Creating Hardware-Independent Parallel Languages},
710 note = {{\ttfamily http://codetime.sourceforge.net/content/CodeTiime\_Theoretical\_Framework.pdf}}
711 }
712 @Misc{CodeTimeTh1,
713 author = {Sean Halle},
714 key = {CodeTime},
715 title = {The CodeTime Parallel Software Platform},
716 note = {{\ttfamily http://codetime.sourceforge.net}}
717 }
718 @Misc{CodeTimeTh2,
719 author = {Sean Halle},
720 key = {CodeTime},
721 title = {The CodeTime Parallel Software Platform},
722 note = {{\ttfamily http://codetime.sourceforge.net}}
723 }
724 @Misc{CodeTimeRT,
725 author = {Sean Halle},
726 key = {CodeTime},
727 title = {The CodeTime Parallel Software Platform},
728 note = {{\ttfamily http://codetime.sourceforge.net}}
729 }
730 @Misc{CodeTimeWebSite,
731 author = {Sean Halle},
732 key = {CodeTime},
733 title = {The CodeTime Parallel Software Platform},
734 note = {{\ttfamily http://codetime.sourceforge.net}}
735 }
736 @Misc{CodeTimeBaCTiL,
737 author = {Sean Halle},
738 key = {CodeTime},
739 title = {The Base CodeTime Language},
740 note = {{\ttfamily http://codetime.sourceforge.net/content/CodeTime\_BaCTiL.pdf}}
741 }
742 @Misc{CodeTimeCert,
743 author = {Sean Halle},
744 key = {CodeTime},
745 title = {The CodeTime Certification Strategy},
746 note = {{\ttfamily http://codetime.sourceforge.net/content/CodeTime\_Certification.pdf}}
747 }
748 @InProceedings{ducournau94,
749 author = {R. Ducournau and M. Habib and M. Huchard and M. L. Mugnier},
750 title = {Proposal for a monotonic multiple inheritance linearization},
751 booktitle = {OOPSLA '94: Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications},
752 year = 1994,
753 pages = {164--175},
754 publisher = {ACM Press}
755 }
756 @Article{emerson91,
757 title = {{Tree automata, mu-calculus and determinacy}},
758 author = {Emerson, EA and Jutla, CS},
759 journal = {Proceedings of the 32nd Symposium on Foundations of Computer Science},
760 pages = {368--377},
761 year = 1991
762 }
763 @Article{fortune78,
764 title = {{Parallelism in random access machines}},
765 author = {Fortune, S. and Wyllie, J.},
766 journal = {STOC '78: Proceedings of the tenth annual ACM symposium on Theory of computing},
767 pages = {114--118},
768 year = 1978,
769 publisher = {ACM Press New York, NY, USA}
770 }
771 @Book{goldberg83,
772 title = {{Smalltalk-80: the language and its implementation}},
773 author = {Goldberg, A. and Robson, D.},
774 year = 1983,
775 publisher = {Addison-Wesley}
776 }
777 @InProceedings{goldschlager78,
778 author = {Leslie M. Goldschlager},
779 title = {A unified approach to models of synchronous parallel machines},
780 booktitle = {STOC '78: Proceedings of the tenth annual ACM symposium on Theory of computing},
781 year = 1978,
782 pages = {89--94},
783 location = {San Diego, California, United States},
784 doi = {http://doi.acm.org/10.1145/800133.804336},
785 publisher = {ACM Press}
786 }
787 @Book{gosling96,
788 author = {J. Gosling and B. Joy and G. Steele and G. Bracha},
789 title = {The Java Language Specification},
790 publisher = {Addison-Wesley},
791 year = 1996
792 }
793 @Article{hasselbring00,
794 author = {Wilhelm Hasselbring},
795 title = {Programming languages and systems for prototyping concurrent applications},
796 journal = {ACM Comput. Surv.},
797 volume = 32,
798 number = 1,
799 year = 2000,
800 issn = {0360-0300},
801 pages = {43--79},
802 doi = {http://doi.acm.org/10.1145/349194.349199},
803 publisher = {ACM Press},
804 address = {New York, NY, USA}
805 }
806 @Article{hoare78,
807 author = {C. A. R. Hoare},
808 title = {Communicating Sequential Processes},
809 journal = {Communications of the ACM},
810 year = 1978,
811 volume = 21,
812 number = 8,
813 pages = {666-677}
814 }
815 @Article{huth,
816 title = {{A Unifying Framework for Model Checking Labeled Kripke Structures, Modal Transition Systems, and Interval Transition Systems}},
817 author = {Huth, M.},
818 journal = {Proceedings of the 19th International Conference on the Foundations of Software Technology \& Theoretical Computer Science, Lecture Notes in Computer Science},
819 pages = {369--380},
820 publisher = {Springer-Verlag}
821 }
822 @Article{johnston04,
823 author = {Wesley M. Johnston and J. R. Paul Hanna and Richard J. Millar},
824 title = {Advances in dataflow programming languages},
825 journal = {ACM Comput. Surv.},
826 volume = 36,
827 number = 1,
828 year = 2004,
829 issn = {0360-0300},
830 pages = {1--34},
831 doi = {http://doi.acm.org/10.1145/1013208.1013209},
832 publisher = {ACM Press},
833 address = {New York, NY, USA}
834 }
835 @Book{koelbel93,
836 author = {C. H. Koelbel and D. Loveman and R. Schreiber and G. Steele Jr},
837 title = {High Performance Fortran Handbook},
838 year = 1993,
839 publisher = {MIT Press}
840 }
841 @Article{kozen83,
842 title = {{Results on the Propositional mu-Calculus}},
843 author = {Kozen, D.},
844 journal = {TCS},
845 volume = 27,
846 pages = {333--354},
847 year = 1983
848 }
849 @Article{kripke63,
850 title = {{Semantical analysis of modal logic}},
851 author = {Kripke, S.},
852 journal = {Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik},
853 volume = 9,
854 pages = {67--96},
855 year = 1963
856 }
857 @Book{mcGraw85,
858 author = {J McGraw and S. Skedzielewski and S. Allan and R Odefoeft},
859 title = {SISAL: Streams and Iteration in a Single-Assignment Language: Reference Manual Version 1.2},
860 note = {Manual M-146 Rev. 1},
861 publisher = {Lawrence Livermore National Laboratory},
862 year = 1985
863 }
864 @Book{milner80,
865 title = {{A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science}},
866 author = {Milner, R.},
867 year = 1980,
868 publisher = {Springer-Verlag}
869 }
870 @Article{milner92,
871 title = {{A calculus of mobile processes, parts I and II}},
872 author = {Milner, R. and Parrow, J. and Walker, D.},
873 journal = {Information and Computation},
874 volume = 100,
875 number = 1,
876 pages = {1--40 and 41--77},
877 year = 1992,
878 publisher = {Academic Press}
879 }
880 @Book{milner99,
881 author = {Robin Milner},
882 title = {Communicating and Mobile Systems: The pi-Calculus},
883 publisher = {Cambridge University Press},
884 year = 1999
885 }
886 @Book{MPIForum94,
887 author = {M. P. I. Forum},
888 title = {MPI: A Message-Passing Interface Standard},
889 year = 1994
890 }
891 @Article{petri62,
892 title = {{Fundamentals of a theory of asynchronous information flow}},
893 author = {Petri, C.A.},
894 journal = {Proc. IFIP Congress},
895 volume = 62,
896 pages = {386--390},
897 year = 1962
898 }
899 @Book{pierce02,
900 title = {Types and Programming Languages},
901 author = {Pierce, B. C.},
902 year = 2002,
903 publisher = {MIT Press}
904 }
905 @Article{price,
906 author = {B. A. Price and R. M. Baecker and L. S. Small},
907 title = {A Principled Taxonomy of Software Visualization},
908 journal = {Journal of Visual Languages and Computing},
909 volume = 4,
910 number = 3,
911 pages = {211--266}
912 }
913 @Misc{pythonWebSite,
914 key = {Python},
915 title = {The Python Software Foundation Mission Statement},
916 note = {{\ttfamily http://www.python.org/psf/mission.html}}
917 }
918 @Unpublished{reed03,
919 editor = {Daniel A. Reed},
920 title = {Workshop on The Roadmap for the Revitalization of High-End Computing},
921 day = {16--18},
922 month = {jun},
923 year = 2003,
924 note = {Available at {\ttfamily http://www.cra.org/reports/supercomputing.web.pdf}}
925 }
926 @Article{reeves84,
927 author = {A. P. Reeves},
928 title = {Parallel Pascal -- An Extended Pascal for Parallel Computers},
929 journal = {Journal of Parallel and Distributed Computing},
930 volume = 1,
931 number = {},
932 year = 1984,
933 month = {aug},
934 pages = {64--80}
935 }
936 @Article{skillicorn98,
937 author = {David B. Skillicorn and Domenico Talia},
938 title = {Models and languages for parallel computation},
939 journal = {ACM Comput. Surv.},
940 volume = 30,
941 number = 2,
942 year = 1998,
943 issn = {0360-0300},
944 pages = {123--169},
945 doi = {http://doi.acm.org/10.1145/280277.280278},
946 publisher = {ACM Press},
947 address = {New York, NY, USA}
948 }
949 @Article{stefik86,
950 title = {Object Oriented Programming: Themes and Variations},
951 author = {Stefik, M. and Bobrow, D. G.},
952 journal = {The AI Magazine},
953 volume = 6,
954 number = 4,
955 year = 1986
956 }
957 @Book{stirling92,
958 title = {{Modal and Temporal Logics}},
959 author = {Stirling, C.},
960 year = 1992,
961 publisher = {University of Edinburgh, Department of Computer Science}
962 }
963 @Misc{TitaniumWebSite,
964 author = {Paul Hilfinger and et. al.},
965 title = {The Titanium Project Home Page},
966 note = {{\ttfamily http://www.cs.berkeley.edu/projects/titanium}}
967 }
968 @Misc{turing38,
969 author = {A. Turing},
970 note = {http://www.turingarchive.org/intro/, and http://www.turing.org.uk/sources/biblio4.html, and http://web.comlab.ox.ac.uk/oucl/research/areas/ieg/e-library/sources/tp2-ie.pdf},
971 year = 1938
972 }
973 @Book{vonNeumann45,
974 title = {First Draft of a Report on the EDVAC},
975 author = {J. von Neumann},
976 year = 1945,
977 publisher = {United States Army Ordnance Department}
978 }
979 @Book{winskel93,
980 title = {{The Formal Semantics of Programming Languages}},
981 author = {Winskel, G.},
982 year = 1993,
983 publisher = {MIT Press}
984 }