1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/0__Papers/bib_for_papers.bib	Mon Oct 08 23:03:26 2012 -0700
     1.3 @@ -0,0 +1,984 @@
     1.4 +@article{DSLLandscape,
     1.5 +author = "Andrew Fall and Joseph Fall",
     1.6 +title = "A domain-specific language for models of landscape dynamics",
     1.7 +journal = "Ecological Modelling",
     1.8 +volume = "141",
     1.9 +number = "1–3",
    1.10 +pages = "1 - 18",
    1.11 +year = "2001",
    1.12 +keywords = "Cellular automata",
    1.13 +keywords = "Landscape ecology",
    1.14 +keywords = "Modelling languages",
    1.15 +keywords = "Spatio-temporal simulation"
    1.16 +}
    1.17 +@misc{PerfToolVTune,
    1.18 +    author = {Intel},
    1.19 +    howpublished = {http://software.intel.com/en-us/articles/intel-vtune-amplifier-xe/},
    1.20 +    title = {{Intel VTune Amplifier XE Performance Analyzer}},
    1.21 +    year = {2011}
    1.22 +}
    1.23 +@ARTICLE{PerfToolVampir,
    1.24 +    author = {W. E. Nagel and A. Arnold and M. Weber and H.-Ch. Hoppe and K. Solchenbach},
    1.25 +    title = {{VAMPIR: Visualization and Analysis of MPI Resources}},
    1.26 +    journal = {Supercomputer},
    1.27 +    year = {1996},
    1.28 +    volume = {12},
    1.29 +    pages = {69--80}
    1.30 +}
    1.31 +@TECHREPORT{PerfToolParaver,
    1.32 +    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},
    1.33 +    title = {PARAVER: A Tool to Visualize and Analyze Parallel Code},
    1.34 +    institution = {In WoTUG-18},
    1.35 +    year = {1995}
    1.36 +}
    1.37 +@Misc{MPI,
    1.38 +	author = {Message Passing Interface Forum},
    1.39 +	howpublished = {http://www.mpi-forum.org},
    1.40 +	title = {{MPI}: A Message-Passing Interface Standard Version 2.2},
    1.41 +	year = 2009
    1.42 +}
    1.43 +@Article{StarSs,
    1.44 +	author = {Planas, J. and Badia, R.M. and Ayguad{\'e}, E. and Labarta, J.},
    1.45 +	title = {Hierarchical task-based programming with {StarSs}},
    1.46 +	journal = {International Journal of High Performance Computing Applications},
    1.47 +	year = 2009,
    1.48 +	volume = 23,
    1.49 +	number = 3,
    1.50 +	pages = {284--299}
    1.51 +}
    1.52 +@InBook{PerfToolPoem,
    1.53 +	title = {The Blind Men and the Elephant},
    1.54 +	author = {John Godfrey Saxe},
    1.55 +	publisher = {The Poems of John Godfrey Saxe, Complete edition. Boston: James R. Osgood and Company},
    1.56 +	year = 1873,
    1.57 +	pages = {77-78}
    1.58 +}
    1.59 +@Article{PerfToolTau,
    1.60 +	author = {Shende, Sameer S. and Malony, Allen D.},
    1.61 +	title = {The {TAU} Parallel Performance System},
    1.62 +	volume = 20,
    1.63 +	number = 2,
    1.64 +	pages = {287-311},
    1.65 +	year = {Summer 2006},
    1.66 +	journal = {International Journal of High Performance Computing Applications}
    1.67 +}
    1.68 +@Article{PerfToolParadyn,
    1.69 +	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.},
    1.70 +	journal = {Computer},
    1.71 +	title = {The {Paradyn} parallel performance measurement tool},
    1.72 +	year = 1995,
    1.73 +	month = {nov},
    1.74 +	volume = 28,
    1.75 +	number = 11,
    1.76 +	pages = {37 -46}
    1.77 +}
    1.78 +@Article{PerfToolParagraph,
    1.79 +	author = {Heath, M.T. and Etheridge, J.A.},
    1.80 +	journal = {Software, IEEE},
    1.81 +	title = {Visualizing the performance of parallel programs},
    1.82 +	year = 1991,
    1.83 +	month = {sept. },
    1.84 +	volume = 8,
    1.85 +	number = 5,
    1.86 +	pages = {29 -39}
    1.87 +}
    1.88 +@Article{PerfToolStarSs,
    1.89 +	author = {Steffen Brinkmann and                Jos{\'e} Gracia and                Christoph Niethammer and                Rainer Keller},
    1.90 +	title = {{TEMANEJO} - a debugger for task based parallel programming                models},
    1.91 +	journal = {CoRR},
    1.92 +	volume = {abs/1112.4604},
    1.93 +	year = 2011
    1.94 +}
    1.95 +@techrep{SyncConstr_impl_w_distr_coherence_HW_Utah_96,
    1.96 +	author = {Carter, J. B. and Kuo, C.-C. and Kuramkote, R.},
    1.97 +	title = { A comparison of software and hardware synchronization mechanisms for distributed shared memory multiprocessors},
    1.98 +	institution = {University of Utah, Salt Lake City, UT},
    1.99 +	year = 1996,
   1.100 +	url = {http://www.cs.utah.edu/research/techreports/1996/pdf/UUCS-96-011.pdf},
   1.101 +	number = {UUCS-96-011}
   1.102 +}
   1.103 +@Article{SWCoherence_Hill_SW_for_shared_coherence_w_HW_support_93,
   1.104 +	author = {Hill, Mark D. and Larus, James R. and Reinhardt, Steven K. and Wood, David A.},
   1.105 +	title = {Cooperative shared memory: software and hardware for scalable multiprocessors},
   1.106 +	journal = {ACM Trans. Comput. Syst.},
   1.107 +	volume = 11,
   1.108 +	number = 4,
   1.109 +	year = 1993,
   1.110 +	pages = {300--318}
   1.111 +}
   1.112 +@InProceedings{SWCache_MIT_embedSW_manages_cache_w_HW_supp,
   1.113 +	author = {Chiou, Derek and Jain, Prabhat and Rudolph, Larry and Devadas, Srinivas},
   1.114 +	title = {Application-specific memory management for embedded systems using software-controlled caches},
   1.115 +	booktitle = {DAC},
   1.116 +	year = 2000,
   1.117 +	pages = {416--419}
   1.118 +}
   1.119 +@InProceedings{SWCache_instr_trig_HW_supp_04,
   1.120 +	author = {Janapsatya, Andhi and Parameswaran, Sri and Ignjatovic, A.},
   1.121 +	title = {Hardware/software managed scratchpad memory for embedded system},
   1.122 +	booktitle = {Proceedings of the 2004 IEEE/ACM International conference on Computer-aided design},
   1.123 +	series = {ICCAD '04},
   1.124 +	year = 2004,
   1.125 +	pages = {370--377}
   1.126 +}
   1.127 +@InProceedings{SWCache_arch_supp_OS_policy_06,
   1.128 +	author = {Rafique, Nauman and Lim, Won-Taek and Thottethodi, Mithuna},
   1.129 +	title = {Architectural support for operating system-driven CMP cache management},
   1.130 +	booktitle = {Proceedings of the 15th international conference on Parallel architectures and compilation techniques},
   1.131 +	series = {PACT '06},
   1.132 +	year = 2006,
   1.133 +	pages = {2--12}
   1.134 +}
   1.135 +@InProceedings{SWCoherence_on_Distr_Mem_90,
   1.136 +	author = {Bennett, J.K. and Carter, J.B. and Zwaenepoel, W.},
   1.137 +	booktitle = {Computer Architecture, 1990. Proceedings., 17th Annual International Symposium on},
   1.138 +	title = {Adaptive software cache management for distributed shared memory architectures},
   1.139 +	year = 1990,
   1.140 +	pages = {125 -134}
   1.141 +}
   1.142 +@InProceedings{Charm_runtime_opt_10,
   1.143 +	author = {Mei, Chao and Zheng, Gengbin and Gioachin, Filippo and Kal{\'e}, Laxmikant V.},
   1.144 +	title = {Optimizing a parallel runtime system for multicore clusters: a case study},
   1.145 +	booktitle = {The 2010 TeraGrid Conference},
   1.146 +	year = 2010,
   1.147 +	pages = {12:1--12:8}
   1.148 +}
   1.149 +@InProceedings{TCC_Hammond_ISCA_04,
   1.150 +	author = {Hammond, Lance and al, et},
   1.151 +	title = {Transactional Memory Coherence and Consistency},
   1.152 +	series = {ISCA '04},
   1.153 +	pages = {102--},
   1.154 +	booktitle = {},
   1.155 +	year = {}
   1.156 +}
   1.157 +@Misc{WorkTableHome,
   1.158 +	author = {Halle, Sean},
   1.159 +	note = {http://musictwodotoh.com/worktable/content/refman.pdf},
   1.160 +	title = {The WorkTable Language Reference Manual},
   1.161 +	year = 2012
   1.162 +}
   1.163 +@Misc{HWSimHome,
   1.164 +	author = {Halle, Sean and Hausers, Stefan},
   1.165 +	note = {http://musictwodotoh.com/hwsim/content/refman.pdf},
   1.166 +	title = {The HWSim Language Reference Manual},
   1.167 +	year = 2012
   1.168 +}
   1.169 +@Article{Lamport78,
   1.170 +	author = {Lamport, Leslie},
   1.171 +	title = {Time, clocks, and the ordering of events in a distributed system},
   1.172 +	journal = {Commun. ACM},
   1.173 +	volume = 21,
   1.174 +	issue = 7,
   1.175 +	year = 1978,
   1.176 +	pages = {558--565}
   1.177 +}
   1.178 +@Article{Lamport87,
   1.179 +	author = {Lamport, Leslie},
   1.180 +	title = {A fast mutual exclusion algorithm},
   1.181 +	journal = {ACM Trans. Comput. Syst.},
   1.182 +	volume = 5,
   1.183 +	issue = 1,
   1.184 +	year = 1987,
   1.185 +	pages = {1--11}
   1.186 +}
   1.187 +@InProceedings{Dijkstra67,
   1.188 +	author = {Dijkstra, Edsger W.},
   1.189 +	title = {The structure of the "{THE}"-multiprogramming system},
   1.190 +	booktitle = {Proceedings of the first ACM symposium on Operating System Principles},
   1.191 +	series = {SOSP '67},
   1.192 +	year = 1967,
   1.193 +	pages = {10.1--10.6}
   1.194 +}
   1.195 +@Article{Conway63,
   1.196 +	author = {Conway, Melvin E.},
   1.197 +	title = {Design of a separable transition-diagram compiler},
   1.198 +	journal = {Commun. ACM},
   1.199 +	volume = 6,
   1.200 +	issue = 7,
   1.201 +	year = 1963,
   1.202 +	pages = {396--408}
   1.203 +}
   1.204 +@Book{ComponentModel00,
   1.205 +	author = {G Leavens and M Sitaraman (eds)},
   1.206 +	title = {Foundations of Component-Based Systems},
   1.207 +	publisher = {Cambridge University Press},
   1.208 +	year = 2000
   1.209 +}
   1.210 +@Misc{Hewitt10,
   1.211 +	author = {Carl Hewitt},
   1.212 +	title = {Actor Model of Computation},
   1.213 +	year = 2010,
   1.214 +	note = {http://arxiv.org/abs/1008.1459}
   1.215 +}
   1.216 +@Article{Actors97,
   1.217 +	author = {Agha,G. and Mason,I. and Smith,S. and Talcott,C.},
   1.218 +	title = {A foundation for actor computation},
   1.219 +	journal = {Journal of Functional Programming},
   1.220 +	volume = 7,
   1.221 +	number = 01,
   1.222 +	pages = {1-72},
   1.223 +	year = 1997
   1.224 +}
   1.225 +@Article{SchedActivations,
   1.226 +	author = {Anderson, Thomas E. and Bershad, Brian N. and Lazowska, Edward D. and Levy, Henry M.},
   1.227 +	title = {Scheduler activations: effective kernel support for the user-level management of parallelism},
   1.228 +	journal = {ACM Trans. Comput. Syst.},
   1.229 +	volume = 10,
   1.230 +	issue = 1,
   1.231 +	month = {February},
   1.232 +	year = 1992,
   1.233 +	pages = {53--79}
   1.234 +}
   1.235 +@InProceedings{BOMinManticore,
   1.236 +	author = {Fluet, Matthew and Rainey, Mike and Reppy, John and Shaw, Adam and Xiao, Yingqi},
   1.237 +	title = {Manticore: a heterogeneous parallel language},
   1.238 +	booktitle = {Proceedings of the 2007 workshop on Declarative aspects of multicore programming},
   1.239 +	series = {DAMP '07},
   1.240 +	year = 2007,
   1.241 +	pages = {37--44},
   1.242 +	numpages = 8
   1.243 +}
   1.244 +@TechReport{GainFromChaos_Halle_92,
   1.245 +	author = {Halle, K.S. and Chua, Leon O. and Anishchenko, V.S. and Safonova, M.A.},
   1.246 +	title = {Signal Amplification via Chaos: Experimental Evidence},
   1.247 +	institution = {EECS Department, University of California, Berkeley},
   1.248 +	year = 1992,
   1.249 +	url = {http://www.eecs.berkeley.edu/Pubs/TechRpts/1992/2223.html},
   1.250 +	number = {UCB/ERL M92/130}
   1.251 +}
   1.252 +@InProceedings{HotPar10_w_BLIS,
   1.253 +	author = {Sean Halle and Albert Cohen},
   1.254 +	booktitle = {HOTPAR '10: USENIX Workshop on Hot Topics in Parallelism},
   1.255 +	month = {June},
   1.256 +	title = {Leveraging Semantics Attached to Function Calls to Isolate Applications from Hardware},
   1.257 +	year = 2010
   1.258 +}
   1.259 +@InProceedings{HotPar11_w_Stack,
   1.260 +	author = {Sean Halle and Albert Cohen},
   1.261 +	booktitle = {HOTPAR '11: USENIX Workshop on Hot Topics in Parallelism},
   1.262 +	month = {May},
   1.263 +	title = {},
   1.264 +	year = 2011
   1.265 +}
   1.266 +@Article{VMS_LCPC_11,
   1.267 +	author = {Sean Halle and Albert Cohen},
   1.268 +	title = {A Mutable Hardware Abstraction to Replace Threads},
   1.269 +	journal = {24th International Workshop on Languages and Compilers for Parallel Languages (LCPC11)},
   1.270 +	year = 2011
   1.271 +}
   1.272 +@Misc{StackTechRep_10,
   1.273 +	author = {Halle, Sean and Nadezhkin, Dmitry and Cohen, Albert},
   1.274 +	note = {http://www.soe.ucsc.edu/share/technical-reports/2010/ucsc-soe-10-02.pdf},
   1.275 +	title = {A Framework to Support Research on Portable High Performance Parallelism},
   1.276 +	year = 2010
   1.277 +}
   1.278 +@Misc{CTBigStepSemTechRep_06,
   1.279 +	author = {Halle, Sean},
   1.280 +	note = {http://www.soe.ucsc.edu/share/technical-reports/2006/ucsc-crl-06-11.pdf},
   1.281 +	title = {The Big-Step Operational Semantics of CodeTime Circuits},
   1.282 +	year = 2006
   1.283 +}
   1.284 +@Misc{MentalFrameworkTechRep_06,
   1.285 +	author = {Halle, Sean},
   1.286 +	note = {http://www.soe.ucsc.edu/share/technical-reports/2006/ucsc-crl-06-12.pdf},
   1.287 +	title = {A Mental Framework for use in Creating Hardware Independent Parallel Languages},
   1.288 +	year = 2006
   1.289 +}
   1.290 +@Misc{DKUTechRep_09,
   1.291 +	author = {Halle, Sean and Cohen, Albert},
   1.292 +	note = {http://www.soe.ucsc.edu/share/technical-reports/2009/ucsc-soe-09-06.pdf},
   1.293 +	title = {DKU Pattern for Performance Portable Parallel Software},
   1.294 +	year = 2009
   1.295 +}
   1.296 +@Misc{EQNLangTechRep,
   1.297 +	author = {Halle, Sean},
   1.298 +	note = {http://www.soe.ucsc.edu/share/technical-reports/2009/ucsc-soe-09-16.pdf},
   1.299 +	title = {An Extensible Parallel Language},
   1.300 +	year = 2009
   1.301 +}
   1.302 +@Misc{CTOSTechRep,
   1.303 +	author = {Halle, Sean},
   1.304 +	note = {http://www.soe.ucsc.edu/share/technical-reports/2009/ucsc-soe-09-15.pdf},
   1.305 +	title = {A Hardware-Independent Parallel Operating System Abstraction LayerParallelism},
   1.306 +	year = 2009
   1.307 +}
   1.308 +@Misc{SideEffectsTechRep,
   1.309 +	author = {Halle, Sean and Cohen, Albert},
   1.310 +	note = {http://www.soe.ucsc.edu/share/technical-reports/2009/ucsc-soe-09-14.pdf},
   1.311 +	title = {Parallel Language Extensions for Side Effects},
   1.312 +	year = 2009
   1.313 +}
   1.314 +@Misc{BaCTiLTechRep,
   1.315 +	author = {Halle, Sean},
   1.316 +	note = {http://www.soe.ucsc.edu/share/technical-reports/2006/ucsc-crl-06-08.pdf},
   1.317 +	title = {BaCTiL: Base CodeTime Language},
   1.318 +	year = 2006
   1.319 +}
   1.320 +@Misc{CTPlatformTechRep,
   1.321 +	author = {Halle, Sean},
   1.322 +	note = {http://www.soe.ucsc.edu/share/technical-reports/2006/ucsc-crl-06-09.pdf},
   1.323 +	title = {The Elements of the CodeTime Software Platform},
   1.324 +	year = 2006
   1.325 +}
   1.326 +@Misc{CTRTTechRep,
   1.327 +	author = {Halle, Sean},
   1.328 +	note = {http://www.soe.ucsc.edu/share/technical-reports/2006/ucsc-crl-06-10.pdf},
   1.329 +	title = {A Scalable and Efficient Peer-to-Peer Run-Time System for a Hardware Independent Software Platform},
   1.330 +	year = 2006
   1.331 +}
   1.332 +@Misc{CIPTechRep,
   1.333 +	author = {Halle, Sean},
   1.334 +	note = {http://www.soe.ucsc.edu/share/technical-reports/2005/ucsc-crl-05-05.pdf},
   1.335 +	title = {The Case for an Integrated Software Platform for HEC Illustrated Using the CodeTime Platform},
   1.336 +	year = 2005
   1.337 +}
   1.338 +@Misc{Halle2008,
   1.339 +	author = {Sean Halle and Albert Cohen},
   1.340 +	note = {http://omp.musictwodotoh.com},
   1.341 +	title = {{DKU} infrastructure server}
   1.342 +}
   1.343 +@Misc{DKUSourceForge,
   1.344 +	author = {Sean Halle and Albert Cohen},
   1.345 +	month = {November},
   1.346 +	note = {http://dku.sourceforge.net},
   1.347 +	title = {{DKU} website},
   1.348 +	year = 2008
   1.349 +}
   1.350 +@Misc{BLISHome,
   1.351 +	author = {Sean Halle and Albert Cohen},
   1.352 +	month = {November},
   1.353 +	note = {http://blisplatform.sourceforge.net},
   1.354 +	title = {{BLIS} website},
   1.355 +	year = 2008
   1.356 +}
   1.357 +@Misc{VMSHome,
   1.358 +	author = {Sean Halle and Merten Sach and Ben Juurlink and Albert Cohen},
   1.359 +	note = {http://virtualizedmasterslave.org},
   1.360 +	title = {{VMS} Home Page},
   1.361 +	year = 2010
   1.362 +}
   1.363 +@Misc{PStackHome,
   1.364 +	author = {Sean Halle},
   1.365 +	note = {http://pstack.sourceforge.net},
   1.366 +	title = {{PStack} Home Page},
   1.367 +	year = 2012
   1.368 +}
   1.369 +@Misc{DeblockingCode,
   1.370 +	note = {http://dku.svn.sourceforge.net/viewvc/dku/branches/DKU\_C\_\_Deblocking\_\_orig/},
   1.371 +	title = {{DKU-ized Deblocking Filter} code}
   1.372 +}
   1.373 +@Misc{SampleBLISCode,
   1.374 +	note = {http://dku.sourceforge.net/SampleCode.htm},
   1.375 +	title = {{Sample BLIS Code}}
   1.376 +}
   1.377 +@Misc{OMPHome,
   1.378 +	note = {http://www.openmediaplatform.eu/},
   1.379 +	title = {{Open Media Platform} homepage}
   1.380 +}
   1.381 +@Misc{MapReduceHome,
   1.382 +	author = {Google Corp.},
   1.383 +	note = {http://labs.google.com/papers/mapreduce.html},
   1.384 +	title = {{MapReduce} Home page}
   1.385 +}
   1.386 +@Misc{TBBHome,
   1.387 +	author = {Intel Corp.},
   1.388 +	note = {http://www.threadingbuildingblocks.org},
   1.389 +	title = {{TBB} Home page}
   1.390 +}
   1.391 +@Misc{HPFWikipedia,
   1.392 +	author = {Wikipedia},
   1.393 +	note = {http://en.wikipedia.org/wiki/High_Performance_Fortran},
   1.394 +	title = {{HPF} wikipedia page}
   1.395 +}
   1.396 +@Misc{OpenMPHome,
   1.397 +	author = {{OpenMP} organization},
   1.398 +	note = {http://www.openmp.org},
   1.399 +	title = {{OpenMP} Home page}
   1.400 +}
   1.401 +@Misc{MPIHome,
   1.402 +	author = {open-mpi organization},
   1.403 +	note = {http://www.open-mpi.org},
   1.404 +	title = {{Open MPI} Home page}
   1.405 +}
   1.406 +@Misc{OpenCLHome,
   1.407 +	author = {Kronos Group},
   1.408 +	note = {http://www.khronos.org/opencl},
   1.409 +	title = {{OpenCL} Home page}
   1.410 +}
   1.411 +@Misc{CILKHome,
   1.412 +	author = {Cilk group at MIT},
   1.413 +	note = {http://supertech.csail.mit.edu/cilk/},
   1.414 +	title = {{CILK} homepage}
   1.415 +}
   1.416 +@InProceedings{Fri98,
   1.417 +	author = {M. Frigo and C. E. Leiserson and K. H. Randall},
   1.418 +	title = {The Implementation of the Cilk-5 Multithreaded Language},
   1.419 +	booktitle = {PLDI '98: Proceedings of the 1998 ACM SIGPLAN conference on Programming language design and implementation},
   1.420 +	pages = {212--223},
   1.421 +	year = 1998,
   1.422 +	address = {Montreal, Quebec},
   1.423 +	month = jun
   1.424 +}
   1.425 +@Misc{TitaniumHome,
   1.426 +	note = {http://titanium.cs.berkeley.edu},
   1.427 +	title = {{Titanium} homepage}
   1.428 +}
   1.429 +@InProceedings{CnCInHotPar,
   1.430 +	author = {Knobe, Kathleen},
   1.431 +	booktitle = {HOTPAR '09: USENIX Workshop on Hot Topics in Parallelism},
   1.432 +	title = {Ease of Use with Concurrent Collections {(CnC)}},
   1.433 +	year = 2009
   1.434 +}
   1.435 +@Misc{CnCHome,
   1.436 +	author = {Intel Corp.},
   1.437 +	note = {http://software.intel.com/en-us/articles/intel-concurrent-collections-for-cc/},
   1.438 +	title = {{CnC} homepage}
   1.439 +}
   1.440 +@Misc{SpiralHome,
   1.441 +	author = {Spiral Group at CMU},
   1.442 +	note = {http://www.spiral.net},
   1.443 +	title = {{Spiral} homepage}
   1.444 +}
   1.445 +@Misc{ScalaHome,
   1.446 +	author = {Scala organization},
   1.447 +	note = {http://www.scala-lang.org/},
   1.448 +	title = {{Scala} homepage}
   1.449 +}
   1.450 +@Misc{UPCHome,
   1.451 +	author = {UPC group at UC Berkeley},
   1.452 +	note = {http://upc.lbl.gov/},
   1.453 +	title = {{Unified Parallel C} homepage}
   1.454 +}
   1.455 +@Misc{SuifHome,
   1.456 +	note = {http://suif.stanford.edu},
   1.457 +	title = {{Suif} Parallelizing compiler homepage}
   1.458 +}
   1.459 +@Article{SEJITS,
   1.460 +	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},
   1.461 +	title = {SEJITS: Getting Productivity AND Performance With Selective Embedded JIT Specialization},
   1.462 +	journal = {First Workshop on Programmable Models for Emerging Architecture at the 18th International Conference on Parallel Architectures and Compilation Techniques },
   1.463 +	year = 2009
   1.464 +}
   1.465 +@InProceedings{Arnaldo3D,
   1.466 +	author = {Azevedo, Arnaldo and Meenderinck, Cor and Juurlink, Ben and Terechko, Andrei and Hoogerbrugge, Jan and Alvarez, Mauricio and Ramirez, Alex},
   1.467 +	title = {Parallel H.264 Decoding on an Embedded Multicore Processor},
   1.468 +	booktitle = {HiPEAC '09: Proceedings of the 4th International Conference on High Performance Embedded Architectures and Compilers},
   1.469 +	year = 2009,
   1.470 +	pages = {404--418}
   1.471 +}
   1.472 +@Article{NarayananGPUSched,
   1.473 +	author = {Narayanan Sundaram and Anand Raghunathan and Srimat T. Chakradhar},
   1.474 +	title = {A framework for efficient and scalable execution of domain-specific templates on GPUs},
   1.475 +	journal = {International Parallel and Distributed Processing Symposium {(IPDPS)}},
   1.476 +	year = 2009,
   1.477 +	pages = {1-12}
   1.478 +}
   1.479 +@InProceedings{PolyForGPU,
   1.480 +	author = {Baskaran, Muthu Manikandan and Bondhugula, Uday and Krishnamoorthy, Sriram and Ramanujam, J. and Rountev, Atanas and Sadayappan, P.},
   1.481 +	title = {A compiler framework for optimization of affine loop nests for gpgpus},
   1.482 +	booktitle = {ICS '08: Proceedings of the 22nd annual international conference on Supercomputing},
   1.483 +	year = 2008,
   1.484 +	pages = {225--234}
   1.485 +}
   1.486 +@InProceedings{Loulou08,
   1.487 +	author = {Pouchet, Louis-No\"{e}l and Bastoul, C\'{e}dric and Cohen, Albert and Cavazos, John},
   1.488 +	title = {Iterative optimization in the polyhedral model: part ii, multidimensional time},
   1.489 +	booktitle = {ACM SIGPLAN conference on Programming language design and implementation {(PLDI)} },
   1.490 +	year = 2008,
   1.491 +	pages = {90--100}
   1.492 +}
   1.493 +@InProceedings{MergeInHotPar,
   1.494 +	author = {Michael D. Linderman and James Balfour and Teresa H. Meng and William J. Dally},
   1.495 +	booktitle = {HOTPAR '09: USENIX Workshop on Hot Topics in Parallelism},
   1.496 +	month = {March},
   1.497 +	title = {Embracing Heterogeneity \- Parallel Programming for Changing Hardware},
   1.498 +	year = 2009
   1.499 +}
   1.500 +@InProceedings{GaloisRef,
   1.501 +	author = {Kulkarni, Milind and Pingali, Keshav and Walter, Bruce and Ramanarayanan, Ganesh and Bala, Kavita and Chew, L. Paul},
   1.502 +	title = {Optimistic parallelism requires abstractions},
   1.503 +	booktitle = {PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation},
   1.504 +	year = 2007,
   1.505 +	pages = {211--222}
   1.506 +}
   1.507 +@Book{Allen2002,
   1.508 +	author = {Kennedy, Ken and Allen, John R.},
   1.509 +	title = {Optimizing compilers for modern architectures: a dependence-based approach},
   1.510 +	year = 2002,
   1.511 +	publisher = {Morgan Kaufmann Publishers Inc.}
   1.512 +}
   1.513 +@Misc{Stephens95,
   1.514 +	author = {R. Stephens},
   1.515 +	title = {A Survey Of Stream Processing},
   1.516 +	year = 1995
   1.517 +}
   1.518 +@InProceedings{Palatin06,
   1.519 +	author = {P Palatin and Y Lhuillier and O Temam},
   1.520 +	title = {CAPSULE: Hardware-assisted parallel execution of componentbased programs},
   1.521 +	booktitle = {In Proceedings of the 39th Annual International Symposium on Microarchitecture},
   1.522 +	year = 2006,
   1.523 +	pages = {247--258}
   1.524 +}
   1.525 +@InProceedings{Sequioa06,
   1.526 +	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},
   1.527 +	title = {Sequoia: programming the memory hierarchy},
   1.528 +	booktitle = {SC '06: Proceedings of the 2006 ACM/IEEE conference on Supercomputing},
   1.529 +	year = 2006,
   1.530 +	pages = 83
   1.531 +}
   1.532 +@Book{Cole89,
   1.533 +	author = {M Cole},
   1.534 +	title = {Algorithmic skeletons: Structured management of parallel computation},
   1.535 +	publisher = {Pitman},
   1.536 +	year = 1989
   1.537 +}
   1.538 +@InProceedings{Ginhac98,
   1.539 +	author = {Dominique Ginhac and Jocelyn Serot and Jean Pierre Derutin},
   1.540 +	title = {Fast prototyping of image processing applications using functional skeletons on a MIMD-DM architecture},
   1.541 +	booktitle = {In IAPR Workshop on Machine Vision and Applications},
   1.542 +	year = 1998,
   1.543 +	pages = {468--471}
   1.544 +}
   1.545 +@InProceedings{Serot08MetaParallel,
   1.546 +	author = {Serot, Jocelyn and Falcou, Joel},
   1.547 +	title = {Functional Meta-programming for Parallel Skeletons},
   1.548 +	booktitle = {ICCS '08: Proceedings of the 8th international conference on Computational Science, Part I},
   1.549 +	year = 2008,
   1.550 +	pages = {154--163}
   1.551 +}
   1.552 +@InProceedings{Darlington93,
   1.553 +	author = {J. Darlington and A. J. Field and P. G. Harrison and P. H. J. Kelly and D. W. N. Sharp and Q. Wu},
   1.554 +	title = {Parallel programming using skeleton functions},
   1.555 +	booktitle = {},
   1.556 +	year = 1993,
   1.557 +	pages = {146--160},
   1.558 +	publisher = {Springer-Verlag}
   1.559 +}
   1.560 +@Article{Asanovic06BerkeleyView,
   1.561 +	title = {{The landscape of parallel computing research: A view from berkeley}},
   1.562 +	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},
   1.563 +	journal = {Electrical Engineering and Computer Sciences, University of California at Berkeley, Technical Report No. UCB/EECS-2006-183, December},
   1.564 +	volume = 18,
   1.565 +	number = {2006-183},
   1.566 +	pages = 19,
   1.567 +	year = 2006
   1.568 +}
   1.569 +@Misc{BerkeleyPattLang,
   1.570 +	note = {http://parlab.eecs.berkeley.edu/wiki/patterns},
   1.571 +	title = {{Berkeley Pattern Language}}
   1.572 +}
   1.573 +@Book{Mattson04Patterns,
   1.574 +	title = {{Patterns for parallel programming}},
   1.575 +	author = {Mattson, T. and Sanders, B. and Massingill, B.},
   1.576 +	year = 2004,
   1.577 +	publisher = {Addison-Wesley Professional}
   1.578 +}
   1.579 +@Article{Skillicorn98,
   1.580 +	title = {{Models and languages for parallel computation}},
   1.581 +	author = {Skillicorn, D.B. and Talia, D.},
   1.582 +	journal = {ACM Computing Surveys (CSUR)},
   1.583 +	volume = 30,
   1.584 +	number = 2,
   1.585 +	pages = {123--169},
   1.586 +	year = 1998
   1.587 +}
   1.588 +@Conference{Blelloch93NESL,
   1.589 +	title = {{Implementation of a portable nested data-parallel language}},
   1.590 +	author = {Blelloch, G.E. and Hardwick, J.C. and Chatterjee, S. and Sipelstein, J. and Zagha, M.},
   1.591 +	booktitle = {Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming},
   1.592 +	pages = {102--111},
   1.593 +	year = 1993,
   1.594 +	organization = {ACM New York, NY, USA}
   1.595 +}
   1.596 +@Article{McgrawSisal,
   1.597 +	title = {{SISAL: Streams and iteration in a single assignment language: Reference manual version 1.2}},
   1.598 +	author = {McGraw, J. and Skedzielewski, SK and Allan, SJ and Oldehoeft, RR and Glauert, J. and Kirkham, C. and Noyce, B. and Thomas, R.},
   1.599 +	journal = {Manual M-146, Rev},
   1.600 +	volume = 1
   1.601 +}
   1.602 +@Article{Gelernter85Linda,
   1.603 +	title = {{Generative communication in Linda}},
   1.604 +	author = {Gelernter, D.},
   1.605 +	journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
   1.606 +	volume = 7,
   1.607 +	number = 1,
   1.608 +	pages = {80--112},
   1.609 +	year = 1985
   1.610 +}
   1.611 +@Article{Lin94ZPL,
   1.612 +	title = {{ZPL: An array sublanguage}},
   1.613 +	author = {Lin, C. and Snyder, L.},
   1.614 +	journal = {Lecture Notes in Computer Science},
   1.615 +	volume = 768,
   1.616 +	pages = {96--114},
   1.617 +	year = 1994
   1.618 +}
   1.619 +@Article{baecker97,
   1.620 +	author = {Ron Baecker and Chris DiGiano and Aaron Marcus},
   1.621 +	title = {Software visualization for debugging},
   1.622 +	journal = {Communications of the ACM},
   1.623 +	volume = 40,
   1.624 +	number = 4,
   1.625 +	year = 1997,
   1.626 +	issn = {0001-0782},
   1.627 +	pages = {44--54},
   1.628 +	publisher = {ACM Press}
   1.629 +}
   1.630 +@Article{ball96,
   1.631 +	author = {T. A. Ball and S. G. Eick},
   1.632 +	title = {Software Visualization in the Large},
   1.633 +	journal = {IEEE Computer},
   1.634 +	volume = 29,
   1.635 +	number = 4,
   1.636 +	year = 1996,
   1.637 +	month = {apr},
   1.638 +	pages = {33--43}
   1.639 +}
   1.640 +@Book{berry89,
   1.641 +	title = {{The chemical abstract machine}},
   1.642 +	author = {Berry, G. and Boudol, G.},
   1.643 +	year = 1989,
   1.644 +	publisher = {ACM Press}
   1.645 +}
   1.646 +@Article{blumofe95,
   1.647 +	author = {Robert D. Blumofe and Christopher F. Joerg and Bradley C. Kuszmaul and Charles E. Leiserson and Keith H. Randall and Yuli Zhou},
   1.648 +	title = {Cilk: an efficient multithreaded runtime system},
   1.649 +	journal = {SIGPLAN Not.},
   1.650 +	volume = 30,
   1.651 +	number = 8,
   1.652 +	year = 1995,
   1.653 +	pages = {207--216}
   1.654 +}
   1.655 +@Article{burch90,
   1.656 +	title = {{Symbolic model checking: 10^{20} states and beyond}},
   1.657 +	author = {Burch, JR and Clarke, EM and McMillan, KL and Dill, DL and Hwang, LJ},
   1.658 +	journal = {Logic in Computer Science, 1990. LICS'90, Proceedings},
   1.659 +	pages = {428--439},
   1.660 +	year = 1990
   1.661 +}
   1.662 +@Article{chamberlain98,
   1.663 +	author = {B. Chamberlain and S. Choi and E. Lewis and C. Lin and L. Snyder and W. Weathersby},
   1.664 +	title = {ZPL's WYSIWYG Performance Model},
   1.665 +	journal = {hips},
   1.666 +	volume = 00,
   1.667 +	year = 1998,
   1.668 +	isbn = {0-8186-8412-7},
   1.669 +	pages = 50
   1.670 +}
   1.671 +@Article{church41,
   1.672 +	author = {A. Church},
   1.673 +	title = {The Calculi of Lambda-Conversion},
   1.674 +	journal = {Annals of Mathematics Studies},
   1.675 +	number = 6,
   1.676 +	year = 1941,
   1.677 +	publisher = {Princeton University}
   1.678 +}
   1.679 +@Misc{CodeTimeSite,
   1.680 +	author = {Sean Halle},
   1.681 +	key = {CodeTime},
   1.682 +	title = {Homepage for The CodeTime Parallel Software Platform},
   1.683 +	note = {{\ttfamily http://codetime.sourceforge.net}}
   1.684 +}
   1.685 +@Misc{CodeTimePlatform,
   1.686 +	author = {Sean Halle},
   1.687 +	key = {CodeTime},
   1.688 +	title = {The CodeTime Parallel Software Platform},
   1.689 +	note = {{\ttfamily http://codetime.sourceforge.net/content/CodeTime\_Platform.pdf}}
   1.690 +}
   1.691 +@Misc{CodeTimeVS,
   1.692 +	author = {Sean Halle},
   1.693 +	key = {CodeTime},
   1.694 +	title = {The Specification of the CodeTime Platform's Virtual Server},
   1.695 +	note = {{\ttfamily http://codetime.sourceforge.net/content/CodeTime\_Virtual\_Server.pdf}}
   1.696 +}
   1.697 +@Misc{CodeTimeOS,
   1.698 +	author = {Sean Halle},
   1.699 +	key = {CodeTime},
   1.700 +	title = {A Hardware Independent OS},
   1.701 +	note = {{\ttfamily http://codetime.sourceforge.net/content/CodeTime\_OS.pdf}}
   1.702 +}
   1.703 +@Misc{CodeTimeSem,
   1.704 +	author = {Sean Halle},
   1.705 +	key = {CodeTime},
   1.706 +	title = {The Big-Step Operational Semantics of the CodeTime Computational Model},
   1.707 +	note = {{\ttfamily http://codetime.sourceforge.net/content/CodeTime\_Semantics.pdf}}
   1.708 +}
   1.709 +@Misc{CodeTimeTh,
   1.710 +	author = {Sean Halle},
   1.711 +	key = {CodeTime},
   1.712 +	title = {A Mental Framework for Use in Creating Hardware-Independent Parallel Languages},
   1.713 +	note = {{\ttfamily http://codetime.sourceforge.net/content/CodeTiime\_Theoretical\_Framework.pdf}}
   1.714 +}
   1.715 +@Misc{CodeTimeTh1,
   1.716 +	author = {Sean Halle},
   1.717 +	key = {CodeTime},
   1.718 +	title = {The CodeTime Parallel Software Platform},
   1.719 +	note = {{\ttfamily http://codetime.sourceforge.net}}
   1.720 +}
   1.721 +@Misc{CodeTimeTh2,
   1.722 +	author = {Sean Halle},
   1.723 +	key = {CodeTime},
   1.724 +	title = {The CodeTime Parallel Software Platform},
   1.725 +	note = {{\ttfamily http://codetime.sourceforge.net}}
   1.726 +}
   1.727 +@Misc{CodeTimeRT,
   1.728 +	author = {Sean Halle},
   1.729 +	key = {CodeTime},
   1.730 +	title = {The CodeTime Parallel Software Platform},
   1.731 +	note = {{\ttfamily http://codetime.sourceforge.net}}
   1.732 +}
   1.733 +@Misc{CodeTimeWebSite,
   1.734 +	author = {Sean Halle},
   1.735 +	key = {CodeTime},
   1.736 +	title = {The CodeTime Parallel Software Platform},
   1.737 +	note = {{\ttfamily http://codetime.sourceforge.net}}
   1.738 +}
   1.739 +@Misc{CodeTimeBaCTiL,
   1.740 +	author = {Sean Halle},
   1.741 +	key = {CodeTime},
   1.742 +	title = {The Base CodeTime Language},
   1.743 +	note = {{\ttfamily http://codetime.sourceforge.net/content/CodeTime\_BaCTiL.pdf}}
   1.744 +}
   1.745 +@Misc{CodeTimeCert,
   1.746 +	author = {Sean Halle},
   1.747 +	key = {CodeTime},
   1.748 +	title = {The CodeTime Certification Strategy},
   1.749 +	note = {{\ttfamily http://codetime.sourceforge.net/content/CodeTime\_Certification.pdf}}
   1.750 +}
   1.751 +@InProceedings{ducournau94,
   1.752 +	author = {R. Ducournau and M. Habib and M. Huchard and M. L. Mugnier},
   1.753 +	title = {Proposal for a monotonic multiple inheritance linearization},
   1.754 +	booktitle = {OOPSLA '94: Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications},
   1.755 +	year = 1994,
   1.756 +	pages = {164--175},
   1.757 +	publisher = {ACM Press}
   1.758 +}
   1.759 +@Article{emerson91,
   1.760 +	title = {{Tree automata, mu-calculus and determinacy}},
   1.761 +	author = {Emerson, EA and Jutla, CS},
   1.762 +	journal = {Proceedings of the 32nd Symposium on Foundations of Computer Science},
   1.763 +	pages = {368--377},
   1.764 +	year = 1991
   1.765 +}
   1.766 +@Article{fortune78,
   1.767 +	title = {{Parallelism in random access machines}},
   1.768 +	author = {Fortune, S. and Wyllie, J.},
   1.769 +	journal = {STOC '78: Proceedings of the tenth annual ACM symposium on Theory of computing},
   1.770 +	pages = {114--118},
   1.771 +	year = 1978,
   1.772 +	publisher = {ACM Press New York, NY, USA}
   1.773 +}
   1.774 +@Book{goldberg83,
   1.775 +	title = {{Smalltalk-80: the language and its implementation}},
   1.776 +	author = {Goldberg, A. and Robson, D.},
   1.777 +	year = 1983,
   1.778 +	publisher = {Addison-Wesley}
   1.779 +}
   1.780 +@InProceedings{goldschlager78,
   1.781 +	author = {Leslie M. Goldschlager},
   1.782 +	title = {A unified approach to models of synchronous parallel machines},
   1.783 +	booktitle = {STOC '78: Proceedings of the tenth annual ACM symposium on Theory of computing},
   1.784 +	year = 1978,
   1.785 +	pages = {89--94},
   1.786 +	location = {San Diego, California, United States},
   1.787 +	doi = {http://doi.acm.org/10.1145/800133.804336},
   1.788 +	publisher = {ACM Press}
   1.789 +}
   1.790 +@Book{gosling96,
   1.791 +	author = {J. Gosling and B. Joy and G. Steele and G. Bracha},
   1.792 +	title = {The Java Language Specification},
   1.793 +	publisher = {Addison-Wesley},
   1.794 +	year = 1996
   1.795 +}
   1.796 +@Article{hasselbring00,
   1.797 +	author = {Wilhelm Hasselbring},
   1.798 +	title = {Programming languages and systems for prototyping concurrent applications},
   1.799 +	journal = {ACM Comput. Surv.},
   1.800 +	volume = 32,
   1.801 +	number = 1,
   1.802 +	year = 2000,
   1.803 +	issn = {0360-0300},
   1.804 +	pages = {43--79},
   1.805 +	doi = {http://doi.acm.org/10.1145/349194.349199},
   1.806 +	publisher = {ACM Press},
   1.807 +	address = {New York, NY, USA}
   1.808 +}
   1.809 +@Article{hoare78,
   1.810 +	author = {C. A. R. Hoare},
   1.811 +	title = {Communicating Sequential Processes},
   1.812 +	journal = {Communications of the ACM},
   1.813 +	year = 1978,
   1.814 +	volume = 21,
   1.815 +	number = 8,
   1.816 +	pages = {666-677}
   1.817 +}
   1.818 +@Article{huth,
   1.819 +	title = {{A Unifying Framework for Model Checking Labeled Kripke Structures, Modal Transition Systems, and Interval Transition Systems}},
   1.820 +	author = {Huth, M.},
   1.821 +	journal = {Proceedings of the 19th International Conference on the Foundations of Software Technology \& Theoretical Computer Science, Lecture Notes in Computer Science},
   1.822 +	pages = {369--380},
   1.823 +	publisher = {Springer-Verlag}
   1.824 +}
   1.825 +@Article{johnston04,
   1.826 +	author = {Wesley M. Johnston and J. R. Paul Hanna and Richard J. Millar},
   1.827 +	title = {Advances in dataflow programming languages},
   1.828 +	journal = {ACM Comput. Surv.},
   1.829 +	volume = 36,
   1.830 +	number = 1,
   1.831 +	year = 2004,
   1.832 +	issn = {0360-0300},
   1.833 +	pages = {1--34},
   1.834 +	doi = {http://doi.acm.org/10.1145/1013208.1013209},
   1.835 +	publisher = {ACM Press},
   1.836 +	address = {New York, NY, USA}
   1.837 +}
   1.838 +@Book{koelbel93,
   1.839 +	author = {C. H. Koelbel and D. Loveman and R. Schreiber and G. Steele Jr},
   1.840 +	title = {High Performance Fortran Handbook},
   1.841 +	year = 1993,
   1.842 +	publisher = {MIT Press}
   1.843 +}
   1.844 +@Article{kozen83,
   1.845 +	title = {{Results on the Propositional mu-Calculus}},
   1.846 +	author = {Kozen, D.},
   1.847 +	journal = {TCS},
   1.848 +	volume = 27,
   1.849 +	pages = {333--354},
   1.850 +	year = 1983
   1.851 +}
   1.852 +@Article{kripke63,
   1.853 +	title = {{Semantical analysis of modal logic}},
   1.854 +	author = {Kripke, S.},
   1.855 +	journal = {Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik},
   1.856 +	volume = 9,
   1.857 +	pages = {67--96},
   1.858 +	year = 1963
   1.859 +}
   1.860 +@Book{mcGraw85,
   1.861 +	author = {J McGraw and S. Skedzielewski and S. Allan and R Odefoeft},
   1.862 +	title = {SISAL: Streams and Iteration in a Single-Assignment Language: Reference Manual Version 1.2},
   1.863 +	note = {Manual M-146 Rev. 1},
   1.864 +	publisher = {Lawrence Livermore National Laboratory},
   1.865 +	year = 1985
   1.866 +}
   1.867 +@Book{milner80,
   1.868 +	title = {{A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science}},
   1.869 +	author = {Milner, R.},
   1.870 +	year = 1980,
   1.871 +	publisher = {Springer-Verlag}
   1.872 +}
   1.873 +@Article{milner92,
   1.874 +	title = {{A calculus of mobile processes, parts I and II}},
   1.875 +	author = {Milner, R. and Parrow, J. and Walker, D.},
   1.876 +	journal = {Information and Computation},
   1.877 +	volume = 100,
   1.878 +	number = 1,
   1.879 +	pages = {1--40 and 41--77},
   1.880 +	year = 1992,
   1.881 +	publisher = {Academic Press}
   1.882 +}
   1.883 +@Book{milner99,
   1.884 +	author = {Robin Milner},
   1.885 +	title = {Communicating and Mobile Systems: The pi-Calculus},
   1.886 +	publisher = {Cambridge University Press},
   1.887 +	year = 1999
   1.888 +}
   1.889 +@Book{MPIForum94,
   1.890 +	author = {M. P. I. Forum},
   1.891 +	title = {MPI: A Message-Passing Interface Standard},
   1.892 +	year = 1994
   1.893 +}
   1.894 +@Article{petri62,
   1.895 +	title = {{Fundamentals of a theory of asynchronous information flow}},
   1.896 +	author = {Petri, C.A.},
   1.897 +	journal = {Proc. IFIP Congress},
   1.898 +	volume = 62,
   1.899 +	pages = {386--390},
   1.900 +	year = 1962
   1.901 +}
   1.902 +@Book{pierce02,
   1.903 +	title = {Types and Programming Languages},
   1.904 +	author = {Pierce, B. C.},
   1.905 +	year = 2002,
   1.906 +	publisher = {MIT Press}
   1.907 +}
   1.908 +@Article{price,
   1.909 +	author = {B. A. Price and R. M. Baecker and L. S. Small},
   1.910 +	title = {A Principled Taxonomy of Software Visualization},
   1.911 +	journal = {Journal of Visual Languages and Computing},
   1.912 +	volume = 4,
   1.913 +	number = 3,
   1.914 +	pages = {211--266}
   1.915 +}
   1.916 +@Misc{pythonWebSite,
   1.917 +	key = {Python},
   1.918 +	title = {The Python Software Foundation Mission Statement},
   1.919 +	note = {{\ttfamily http://www.python.org/psf/mission.html}}
   1.920 +}
   1.921 +@Unpublished{reed03,
   1.922 +	editor = {Daniel A. Reed},
   1.923 +	title = {Workshop on The Roadmap for the Revitalization of High-End Computing},
   1.924 +	day = {16--18},
   1.925 +	month = {jun},
   1.926 +	year = 2003,
   1.927 +	note = {Available at {\ttfamily http://www.cra.org/reports/supercomputing.web.pdf}}
   1.928 +}
   1.929 +@Article{reeves84,
   1.930 +	author = {A. P. Reeves},
   1.931 +	title = {Parallel Pascal -- An Extended Pascal for Parallel Computers},
   1.932 +	journal = {Journal of Parallel and Distributed Computing},
   1.933 +	volume = 1,
   1.934 +	number = {},
   1.935 +	year = 1984,
   1.936 +	month = {aug},
   1.937 +	pages = {64--80}
   1.938 +}
   1.939 +@Article{skillicorn98,
   1.940 +	author = {David B. Skillicorn and Domenico Talia},
   1.941 +	title = {Models and languages for parallel computation},
   1.942 +	journal = {ACM Comput. Surv.},
   1.943 +	volume = 30,
   1.944 +	number = 2,
   1.945 +	year = 1998,
   1.946 +	issn = {0360-0300},
   1.947 +	pages = {123--169},
   1.948 +	doi = {http://doi.acm.org/10.1145/280277.280278},
   1.949 +	publisher = {ACM Press},
   1.950 +	address = {New York, NY, USA}
   1.951 +}
   1.952 +@Article{stefik86,
   1.953 +	title = {Object Oriented Programming: Themes and Variations},
   1.954 +	author = {Stefik, M. and Bobrow, D. G.},
   1.955 +	journal = {The AI Magazine},
   1.956 +	volume = 6,
   1.957 +	number = 4,
   1.958 +	year = 1986
   1.959 +}
   1.960 +@Book{stirling92,
   1.961 +	title = {{Modal and Temporal Logics}},
   1.962 +	author = {Stirling, C.},
   1.963 +	year = 1992,
   1.964 +	publisher = {University of Edinburgh, Department of Computer Science}
   1.965 +}
   1.966 +@Misc{TitaniumWebSite,
   1.967 +	author = {Paul Hilfinger and et. al.},
   1.968 +	title = {The Titanium Project Home Page},
   1.969 +	note = {{\ttfamily http://www.cs.berkeley.edu/projects/titanium}}
   1.970 +}
   1.971 +@Misc{turing38,
   1.972 +	author = {A. Turing},
   1.973 +	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},
   1.974 +	year = 1938
   1.975 +}
   1.976 +@Book{vonNeumann45,
   1.977 +	title = {First Draft of a Report on the EDVAC},
   1.978 +	author = {J. von Neumann},
   1.979 +	year = 1945,
   1.980 +	publisher = {United States Army Ordnance Department}
   1.981 +}
   1.982 +@Book{winskel93,
   1.983 +	title = {{The Formal Semantics of Programming Languages}},
   1.984 +	author = {Winskel, G.},
   1.985 +	year = 1993,
   1.986 +	publisher = {MIT Press}
   1.987 +}