Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] View of /trunk/doc/whitepaper/manticore.bib
ViewVC logotype

View of /trunk/doc/whitepaper/manticore.bib

Parent Directory Parent Directory | Revision Log Revision Log


Revision 233 - (download) (as text) (annotate)
Thu Aug 5 18:01:53 2010 UTC (8 years, 11 months ago) by jhr
File size: 113487 byte(s)
  A Didirot whitepaper based on the December 2009 NSF proposal
% manticore.bib
%
% This is the unified bibliography for Manticore papers and proposals.  To keep things
% sane, we use the following conventions:
%
%  1) keys should be based on the title of the paper
%  2) entries are sorted by the lead author's last name
%  3) use strings for conference/journal titles, publishers, publisher addresses,
%     conference locations, etc.  Each string should be defined in strings-long.bib
%     and strings-short.bib.
%

%%%%%%%%%%%
%%%     %%%
%%% AAA %%%
%%%     %%%
%%%%%%%%%%%

	@article{
scheme-r5-report,
	author = "H. Abelson and R.K. Dybvig and C.T. Haynes and G.J. Rozas
		and N.I. {Adams IV} and D.P. Friedman and E. Kohlbecker
		and G.L. {Steele Jr.} and D.H. Bartley and R. Halstead
		and D. Oxley and G.J. Sussman and G. Brooks and C. Hanson
		and K.M. Pitman and M. Wand",
	title = "Revised Report on the Algorithmic Language {Scheme}",
	journal = HOSC,
	volume = 11, number = 1,
	year = 1998, month = aug,
	pages = "7-105"
	}

	@inproceedings{ 
acar:data-locality,
	author = "Umut A. Acar and Guy E. Blelloch and Robert D. Blumofe",
	title = "The Data locality of Work Stealing",
	booktitle = SPAA00,
	pages = "1-12",
	year = SPAA00:year
	}
%%%    url = "citeseer.ist.psu.edu/article/acar00data.html" 

	@misc{
agarwal:multicore,
	title = "The Why, How and When of Multicore",
	author = "Anant Agarwal",
	howpublished = "\textit{Workshop on Edge Computing Using New Commodity Architectures (EDGE)}",
	year = 2006, month = may,
	note = "Slides at \url{http://gamma.cs.unc.edu/EDGE/program.htm}"
	}

      @conference{
agrawal2006asp,
	title={{Adaptive scheduling with parallelism feedback}},
	author={Agrawal, K. and He, Y. and Hsu, W.J. and Leiserson, C.E.},
	booktitle={Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming},
	pages={100--109},
	year={2006},
	organization={ACM New York, NY, USA}
	}

      @conference{
agrawal2006eew,
	title={{An empirical evaluation of work stealing with parallelism feedback}},
	author={Agrawal, K. and He, Y. and Leiserson, C.E.},
	year={2006},
	organization={ICDCS}
	}

	@inproceedings{
x10-may-happen,
	author = {Shivali Agarwal and Rajkishore Barik and Vivek Sarkar and Rudrapatna K. Shyamasundar},
	title = {May-happen-in-parallel analysis of {X10} programs},
	booktitle = PPoPP07,
	year = {2007}, month = PPoPP07:month,
	pages = {183--193},
	publisher = acm:pub,
	address = acm:addr
	}

	@InProceedings{ 
agrawal:adaptive-work-stealing,
	author = {Kunal Agrawal and Yuxiong He and Charles E. Leiserson},
	title = {Adaptive Work Stealing with Parallelism Feedback},
	year = {2006},
	booktitle = {Submitted for publication},
	} 

        @InProceedings{
SubstructStateICFP05,
        author =       {Amal Ahmed and Matthew Fluet and Greg Morrisett},
        title =        {A Step-Indexed Model of Substructural State},
        booktitle =    ICFP05,
        pages =        {78--91},
        year =         2005,
        location =     {Tallinn, Estonia},
        month =        {September},
	publisher = acm:pub,
	address = acm:addr,
        }

        @Article{
LinLocFI07,
        author =       {Amal Ahmed and Matthew Fluet and Greg Morrisett},
        title =        {L$^3$: A Linear Language with Locations},
        journal =      {Fundamenta Informaticae},
        year =         2007,
        volume =       77,
        number =       4,
        pages =        {397--449},
        month =        jun
        }

	@inproceedings{
amdahls-law,
	author = "G. M. Amdahl",
	title = "Validity of the single-processor approach to achieving large scale computing capabilities",
	booktitle = "{AFIPS} Conference Proceedings",
	volume = 30,
	year = 1967,
	pages = "483-485"
	}

	@techreport{
absconst-for-sml,
	title = "Abstract Value Constructors: Symbolic Constants for Standard ML",
	author = "William E. Aitken and John H. Reppy",
	institution = cornell-cs,
	number = "TR 92-1290",
	year = 1992, month = jun,
	note = "A shorter version appears in the proceedings of the ``ACM SIGPLAN
		Workshop on ML and its Applications,'' 1992"
	}

	@manual{
ansi-c,
	key = "ANSI",
	title = "American National Standard for Information Systems ---
		Programming Language --- {C}",
	organization = "American National Standards Institute, Inc.",
	address = "New York, NY",
	year = 1990
	}

	@article{
scheduler-activations,
	author = "Thomas E. Anderson and Brian N. Bershad and
		Edward D. Lazowska and Henry M. Levy",
	title = "Scheduler activations: {Effective} kernel support for the user-level
		management of parallelism",
	journal = TOCS,
	year = 1992, month = feb,
	volume = 10, number = 1,
	pages = "53-79"
	}

	@article{
appel:simple-gc,
	author = {Andrew W. Appel},
	title = {Simple generational garbage collection and fast allocation},
	journal = SPE,
	volume = {19},
	number = {2},
	year = {1989},
	pages = {171--183},
	publisher = wiley:pub,
	address = wiley:addr
	}

	@inproceedings{
smlnj,
	author = "Andrew W. Appel and D. B. MacQueen",
	title = "{Standard ML} of {New Jersey}",
	booktitle = PLILP91,
	publisher = springer:pub-addr,
	series = LNCS,
	volume = PLILP91:vol,
	year = 1991, month = PLILP91:month,
	pages = "1-26"
	}

	@book{
appel:cps-book,
	author = "Andrew W. Appel",
	title = "Compiling with Continuations",
	publisher = CUP:pub,
	address = CUP:addr,
	year = 1992
	}

	@book{
erlang-book-2ed,
	author = {Joe Armstrong and Robert Virding and Claes Wikstr{\"{o}}m and Mike Williams},
	title = {Concurrent programming in {ERLANG} (2nd ed.)},
	year = {1996},
	publisher = {Prentice Hall International (UK) Ltd.},
	address = {Hertfordshire, UK, UK},
	}

        @Book{
java-lang-2ed,
        title = "The {Java} Programming Language",
        edition = "2nd",
        author = "Ken Arnold and James Gosling",
        publisher = addison-wesley:pub,
        address = addison-wesley:addr,
        year = 1998
        }

	@misc{
blumeofe:multiprogrammed-work-stealing,
	author = "Nimar S. Arora and Robert D. Blumofe and C. Greg Plaxton",
	title = "Thread Scheduling for Multiprogrammed Multiprocessors",
	booktitle = SPAA98,
	publisher = acm:pub,
	year = SPAA98:year,
	url = "citeseer.comp.nus.edu.sg/111799.html"
	}

	@article{
i-structures,
	author = "Arvind and Rishiyur S. Nikhil and Keshav K. Pingali",
	title = "I-structures: Data Structures for Parallel Computing",
	journal = TOPLAS,
	volume = 11, 
        number = 4,
	year = 1989, 
        month = oct,
	pages = "598-632"
	}

	@article{
sub-zero-cfa,
	title = "A Practical and Flexible Flow Analysis for Higher-Order Languages",
	author = "J. Michael Ashley and R. Kent Dybvig",
	journal = TOPLAS,
	volume = 20,
	number = 4,
	year = 1998, month = jul,
	pages = "845-868",
	publisher = acm:pub,
	address = acm:addr
	}

%%%%%%%%%%%
%%%     %%%
%%% BBB %%%
%%%     %%%
%%%%%%%%%%%

	@inproceedings{
java-thin-locks,
	author = "David F. Bacon and Ravi Konuru and Chet Murthy
		and Mauricio Serrano",
	title = "Thin locks: {Featherweight} synchronization for {Java}",
	booktitle = PLDI98,
	year = 1998, month = PLDI98:month,
	pages = "258-268"
	}

        @techreport{
petsc-users-man,
        author = {Satish Balay and Kris Buschelman and Victor Eijkhout and William~D. Gropp and Dinesh Kaushik and Matthew~G. Kneplay and Lois Curfan McInnes and Barry~F. Smith and Hong Zhang},
        title = {{PETS}c Users Manual},
        institution = {Argonne National Laboratory},
        month = Aug,
        year = 2004,
        number = {ANL-95/11 - Revision 2.2.0},
        url = {http://www.mcs.anl.gov/petsc/docs}
        }

	@article{
barnes-hut,
	author = "Josh Barnes and Piet Hut",
	title = "A Hierarchical $O(N \log{} N)$ Force Calculation Algorithm",
	journal = "Nature",
	volume = 324,
	year = 1986, month = dec,
	pages = "446-449"
	}

	@InProceedings{
bossa-design:barreto,
	author =       "Luciano Porto Barreto and Gilles Muller",
	title =        "{Bossa}: a Language-based Approach to the Design of
			Real-time Schedulers",
	booktitle = RTS02,
	year = 2002, month = RTS02:month,
	location = "Paris, France",
	pages = {19--31}
	}

	@inproceedings{
m-structures,
	author = "Paul Barth and Rishiyur S. Nikhil and Arvind",
	title = "M-structures: Extending a Parallel, Non-strict, Functional
		Language with State",
	booktitle = FPCA91,
	publisher = springer:pub,
	address = springer:addr,
	series = LNCS,
	volume = 523,
	year = 1991, month = FPCA91:month,
	pages = "538-568"
	}

        @misc{
cilkpousse,
        author = {Reid Barton and Dan Adkins and Harald Prokop and Matteo Frigo and Chris Joerg and Martin Renard and Don Dailey and Charles Leiserson},
        title = {Cilk {P}ousse},
        url = {http://people.csail.mit.edu/pousse/},
        note = "Viewed on March 20, 2008 at 2:45 PM.",
        year = 1998
        }

        @inproceedings{
distributed-weighted-round-robin,
        author = "Daniel Baumberger and Tong Li and Scott Hahn",
        title = "Efficient and Scalable Multiprocessor Fair Scheduling Using Distributed Weighted Round-Robin",
        booktitle = PPoPP09,
        year = 2009,
        month = PPoPP09:month
        }
    
	@inproceedings{
capriccio,
	author = "Rob {von Behren} and Jeremy Condit and Feng Zhou
		and George C. Necula and Eric Brewer",
	title = "Capriccio: Scalable Threads for Internet Services",
	booktitle = SOSP03,
	year = 2003, month = SOSP03:month,
	pages = "268-281"
	}

        @article{
exn-syntax,
        author = {Nick Benton and Andrew Kennedy},
        title = {Exceptional syntax},
        journal = JFP,
        volume = {11},
        number = {4},
        year = {2001},
        issn = {0956-7968},
        pages = {395--410},
        doi = {http://dx.doi.org/10.1017/S0956796801004099},
        publisher = CUP:pub,
        address = CUP:addr
        }

	@inproceedings{                                        
ml-concur-semantics,                                       
	author = "Dave Berry and Robin Milner and David N. Turner",
	title = "A semantics for {ML} concurrency primitives",
	booktitle = POPL19,           
	year = 1992, month = jan,           
	pages = "119-129"                          
	}                                           

	@inproceedings{
fast-uniprocessor-mutex,
	author = "Brian N. Bershad and David D. Redell and John R. Ellis",
	title = "Fast mutual exclusion for uniprocessors",
	booktitle = ASPLOS5,
	year = ASPLOS5:year, month = ASPLOS5:month,
	publisher = acm:pub,
	address = acm:addr,
	pages = "223-233"
	}

       @inproceedings{
space-profiling-spoonhower,
	author = {Daniel Spoonhower and Guy E. Blelloch and Robert Harper and Phillip B. Gibbons},
	title = {Space profiling for parallel functional programs},
	booktitle = ICFP08,
	year = ICFP08:year,
        month = ICFP08:month,
	isbn = {978-1-59593-919-7},
	pages = {253--264},
	location = {Victoria, BC, Canada},
	doi = {http://doi.acm.org/10.1145/1411204.1411240},
	publisher = acm:pub,
	address = acm:addr
	}

        @techreport{
space-profiling-tr,
        author={Daniel Spoonhower and Guy E. Blelloch and Robert Harper and Phillip B. Gibbons},
        title={Space Profiling for Parallel Functional Programs},
        institution=CMU-CS-DEPT,
        number={CMU-CS-08-110},
        year=2008,
        month=apr,
        note="Companion to ICFP08 paper of the same name."
        }

	@inproceedings{
deviations-spoonhower,
	  title={Beyond Nested Parallelism: Tight Bounds on Work-Stealing Overheads for Parallel Futures},
	  author={Daniel Spoonhower and Guy E. Blelloch and Phillip B. Gibbons and Robert Harper},
          booktitle = SPAA08,
          year = SPAA08:year, 
          month = SPAA08:month,
          publisher = acm:pub,
  	  address = acm:addr
	}

       @inproceedings{
blelloch:sharing-cache,
	author = {Guy E. Blelloch and Phillip B. Gibbons},
	title = {Effectively sharing a cache among threads},
	booktitle = SPAA04,
	year = SPAA04:year,
	pages = {235--244},
	location = {Barcelona, Spain},
	publisher = acm:pub,
	address = acm:addr
	}
%%%     isbn = {1-58113-840-7},
%%%     doi = {http://doi.acm.org/10.1145/1007912.1007948},

	@book{
blelloch:data-parallel-book,
	author = {Guy E. Blelloch},
	title = {Vector models for data-parallel computing},
	year = {1990},
	publisher = {MIT Press},
	address = {Cambridge, MA, USA}
	}
%%%     isbn = {0-262-02313-X},

	@article{
portable-nesl,
	author = {Guy E. Blelloch and Siddhartha Chatterjee and Jonathan C. Hardwick and
		Jay Sipelstein and Marco Zagha},
	title = {Implementation of a portable nested data-parallel language},
	journal = JPDC,
	volume = {21}, number = {1},
	year = {1994}, 
	pages = "4-14",
	publisher = academic-press:pub,
	address = academic-press:addr
	}
%%% 	doi = {http://dx.doi.org/10.1006/jpdc.1994.1038},

	@article{
blelloch:progpar,
	author = {Guy E. Blelloch},
	title = {Programming parallel algorithms},
	journal = CACM,
	volume = {39}, number = {3},
	year = {1996}, month = mar,
	pages = {85-97},
	publisher = acm:pub,
	address = acm:addr
	}

	@inproceedings{
provable-nesl,
	author = {Guy E. Blelloch and John Greiner},
	title = {A provable time and space efficient implementation of {NESL}},
	booktitle = ICFP96,
	year = {1996}, month = ICFP96:month,
	pages = {213-225},
	publisher = acm:pub,
	address = acm:addr
	}

	@article{
bs:massively-parallel,
	author = {Guy E. Blelloch and Gary W. Sabot},
	title = {Compiling collection-oriented languages onto massively parallel computers},
	journal = JPDC,
	volume = {8},
	number = {2},
	year = {1990},
	pages = {119--134},
	publisher = academic-press:pub,
	address = {Orlando, FL, USA}
	}
%%% issn = {0743-7315},
%%% doi = {http://dx.doi.org/10.1016/0743-7315(90)90087-6},

        @inproceedings{ 
blelloch:vcode,
	author = {Guy Blelloch and Siddhartha Chatterjee},
	title = {{VCODE}: A Data-Parallel Intermediate Language},
	booktitle = FOMPC3,
	year = {1990},
	pages = {471--480}
	}

	@article{
blelloch:provably-efficient-scheduling,
       author = {Guy E. Blelloch and Phillip B. Gibbons and Yossi Matias},
       title = {Provably efficient scheduling for languages with fine-grained parallelism},
       journal = JACM,
       volume = {46},
       number = {2},
       year = {1999},
       pages = {281--321},
       publisher = acm:pub,
       address = {New York, NY, USA},
	}
%%%    issn = {0004-5411},
%%%    doi = {http://doi.acm.org/10.1145/301970.301974},
   
	@inproceedings{
cilk-runtime-system,
	author = "Robert D. Blumofe and Christopher F. Joerg
		and Bradley C. Kuszmaul and Charles E. Leiserson
		and Keith H. Randall and Yuli Zhou",
	 title = {Cilk: an efficient multithreaded runtime system},
	 booktitle = PPoPP95,
	 year = {1995}, month = PPoPP95:month,
	 pages = {207--216},
	 location = PPoPP95:loc,
	 publisher = ACM:pub,
	 address = ACM:addr
	 }

	@article{
work-stealing,
	author = {Robert D. Blumofe and Charles E. Leiserson},
	title = {Scheduling multithreaded computations by work stealing},
	journal = JACM,
	volume = {46}, number = {5},
	year = {1999},
	pages = {720-748},
	publisher = acm:pub,
	address = acm:addr
	}
%%%	doi = {http://doi.acm.org/10.1145/324133.324234},

	@misc{
blumofe:mugging,
	author = {Robert D. Blumofe and Charles C. Leiserson and Bin Song},
	title = {Automatic Processor Allocation for Work-stealing Jobs},
	year = {1998}
	}

	@inproceedings{ 
cilk,
	author = {Robert D. Blumofe and Christopher F. Joerg and Bradley C. Kuszmaul
		and Charles E. Leiserson and Keith H. Randall and Yuli Zhou},
	title = {{Cilk}: An Efficient Multithreaded Runtime System},
	booktitle = PPoPP95,
	year = {1995}, month = PPoPP95:month,
	publisher = acm:pub, address = acm:addr,
	location = {Santa Barbara, California},
	pages = {207--216}
	}

        @inproceedings{ 
blumofe:analysis,
	author = {Robert D. Blumofe and Matteo Frigo and Christopher F. Joerg and Charles E. Leiserson and Keith H. Randall},
	title = {An Analysis of Dag-Consistent Distributed Shared-Memory Algorithms},
	booktitle = SPAA96,
	pages = {297-308},
	publisher = ACM:pub,
	address = ACM:addr,
	year = {1996}
	}
%%%    doi = "citeseer.ist.psu.edu/blumofe96analysis.html" 

	@inproceedings{
blumofe:performance-multiprogrammed-work-stealing,
	author = "Robert D. Blumofe and Dionisios Papadopoulos",
	title = "The Performance of Work Stealing in Multiprogrammed Environments (Extended Abstract)",
	booktitle = "Measurement and Modeling of Computer Systems",
	pages = "266-267",
	year = "1998",
	url = "citeseer.ist.psu.edu/blumofe98performance.html"
	}

	@article{
ropes,
	author = {Hans-J. Boehm and Russ Atkinson and Michael Plass},
	title = {Ropes: an alternative to strings},
	journal = SPE,
	volume = 25, number = 12,
	year = 1995, month = dec,
	issn = {0038-0644},
	pages = {1315--1330},
	publisher = wiley:pub,
	address = wiley:addr
	}
        
	@inproceedings{
boehm:threads-library-not,
	author = "Hans-Juergen Boehm",
	title = "Threads cannot be implemented as a library",
	booktitle = PLDI05,
	year = 2005, month = PLDI05:month,
	location = PLDI05:loc,
	publisher = acm:pub,
	address = acm:addr,
	pages = "261-268"
	}

% NOTE: the capitalization of occam is correct in the following title
	@article{
bornat:general-occam,
	author = "Bornat, R.",
	title = "A protocol for generalized {occam}",
	journal = SPE,
	volume = 16, number = 9,
	year = 1986, month = sep,
	pages = "783-799"
	}

	@unpublished{
xbox360-cpu,
	title = "Application-customized {CPU} design: The {Microsoft} {Xbox} 360 {CPU} story",
	author = "Jeffrey Brown",
	year = 2005, month = dec,
	note = "Available at \url{http://www-128.ibm.com/developerworks/power/library/pa-fpfxbox}"
	}

	@inproceedings{
one-shot-continuations,
	author = "Carl Bruggeman and Oscar Waddell and R. Kent Dybvig",
	title = "Representing control in the presence of one-shot continuations",
	booktitle = PLDI96,
	year = 1996, month = PLDI96:month,
	publisher = acm:pub,
	address = acm:addr,
	pages = "99-107"
	}

	@article{
brook-gpus,
	author = {Ian Buck and Tim Foley and Daniel Horn and Jeremy Sugerman
		and Kayvon Fatahalian and Mike Houston and Pat Hanrahan},
	title = {Brook for {GPU}s: stream computing on graphics hardware},
	journal = SIGGRAPH04,
	volume = {23}, number = {3},
	year = {2004}, month = jul,
	pages = {777-786},
	doi = {http://doi.acm.org/10.1145/1015706.1015800},
	publisher = acm:pub,
	address = acm:addr
	}

	@article{
general-csp-impl,
	author = "G. N. Buckley and A. Silberschatz",
	title = "An Effective Implementation for the Generalized
		Input-output Construct of {CSP}",
	journal = TOPLAS,
	volume = 5, number = 2,
	year = 1983, month = apr,
	pages = "223-235"
	}

	@article{
trips-overview,
	title = "Scaling to the End of Silicon with {EDGE} Architectures",
	author = "Doug Burger and Steephen W. Keckler and Kathryn S. McKinley
		and Mike Dahlin and Lizy K. John and Calvin Lin and Charles R. Moore and James Burrill
		and Robert G. McDonald and William Yoder",
	journal = COMPUTER,
	volume = 37, number = 7,
	year = 2004, month = jul,
	publisher = ieee-press:pub,
	address = ieee-press:addr,
	pages = "44-55"
	}

	@inproceedings{
burton-work-stealing,
        author = {F. Warren Burton and M. Ronan Sleep },
        title = {Executing functional programs on a virtual tree of processors},
        booktitle = FPCA81,
        year = 1981, month = FPCA81:month,
        pages = {187-194},
	publisher = acm:pub,
	address = acm:addr
        }

	@article{
encapsulating-nondeterminacy,
	author = "F. Warren Burton",
	title = "Encapsulating non-determinacy in an abstract data type with
		determininate semantics",
	journal = JFP,
	publisher = CUP:pub,
	address = CUP:addr,
	year = 1991, month = jan,
	volume = 1, number = 1,
	pages = "3-20"
	}

	@article{
improving-intervals,
	author = "W. Ken Jackson and F. Warren Burton",
	title = "Improving intervals",
	journal = JFP,
	publisher = CUP:pub,
	address = CUP:addr,
	year = 1993, month = apr,
	volume = 3, number = 2,
	pages = "53-169"
	}

	@book{
butenhof:pthreads-book,
	author = "David R. Butenhof",
	title = "Programming with {POSIX} Threads",
	publisher = addison-wesley:pub,
	address = addison-wesley:addr,
	year = 1997
	}

%%%%%%%%%%%
%%%     %%%
%%% CCC %%%
%%%     %%%
%%%%%%%%%%%

	@inproceedings{
chapel,
	author = {David Callahan and Bradford L. Chamberlain and Hans P. Zima},
	title = {The {C}ascade {H}igh {P}roductivity {L}anguage},
	booktitle = HIPS04,
	pages = {52-60},
	year = 2004,
	month = Apr,
	doi = "10.1109/HIPS.2004.1299190",
	isbn = {0-7695-2151-7},
	publisher = IEEE-PRESS:pub,
	address = IEEE-PRESS:addr
	}

        @inproceedings{
squeak-siggraph,
        author = {Luca Cardelli and Rob Pike},
        title = {{Squeak}: A Language for Communicating with Mice},
        booktitle = SIGGRAPH85,
        pages = {199-204},
        year = 1985,
        month = July,
	publisher = acm:pub,
	address = acm:addr
        }

	@article{
toplas-olden,
	author = {Martin Carlisle and Laurie J. Hendren and Anne Rogers and John Reppy},
	title = {Supporting {SPMD} Execution for Dynamic Data Structures},
	journal = TOPLAS,
	volume = 17, number = 2,
	year = 1995, month = mar,
	pages = "233-263"
	}

	@inproceedings{
olden-caching,
	author = "Martin C. Carlisle and Anne Rogers",
	title = "Software caching and computation migration in {Olden}",
	booktitle = PPOPP95,
	year = 1995, month = PPoPP95:month,
	pages = "29-38",
	location = {Santa Barbara, California, United States},
	publisher = acm:pub,
	address = acm:addr,
	}

	@article{
message-analysis,
	author = "Richard Carlsson and Konstantinos Sagonas and Jesper Wilhelmsson",
	title = "Message Analysis for Concurrent Programs Using Message Passing",
	journal = TOPLAS,
	volume = 28, number = 4,
	year = 2006, month = jul,
	publisher = acm:pub,
	address = acm:addr,
	pages = "715-746"
	}

        @inproceedings{
predictable-performance-smt,
	author = {Francisco J. Cazorla and Peter M.W. Knijnenburg and Rizos Sakellariou and
		Enrique Fern{\'{a}}ndez and Alex Ramirez and Mateo Valero},
	title = {Predictable performance in SMT processors},
	booktitle = {CF '04: Proceedings of the 1st conference on Computing frontiers},
	year = {2004},
	isbn = {1-58113-741-9},
	pages = {433--443},
	location = {Ischia, Italy},
	doi = {http://doi.acm.org/10.1145/977091.977152},
	publisher = {ACM},
	address = {New York, NY, USA},
	}

	@inproceedings{
more-types-for-par,
	author = {Manuel M. T. Chakravarty and Gabriele Keller},
	title = {More types for nested data parallel programming},
	booktitle = ICFP00,
	year = 2000, month = ICFP00:month,
	pages = {94-105},
	publisher = acm:pub,
	address = acm:addr
	}

	@inproceedings{
nepal,
	author = {Manuel M. T. Chakravarty and Gabriele Keller and Roman Leshchinskiy and Wolf Pfannenstiel},
	title = {{Nepal} -- {N}ested {D}ata {P}arallelism in {Haskell}},
	booktitle = EUROPAR01,
	series = LNCS,
	volume = {2150},
	publisher = springer:pub,
	address = springer:addr,
	year = {2001}, month = aug,
	pages = "524-534"
	}

	@inproceedings{
fun-array-fusion,
	author = {Manuel M. T. Chakravarty and Gabriele Keller},
	title = {Functional array fusion},
	booktitle = ICFP01,
	year = {2001}, moth = ICFP01:month,
	pages = {205--216},
	publisher = acm:pub,
	address = acm:addr
	}

        @InProceedings{
partial-vectorisation,
        author = "Manuel M. T. Chakravarty and Roman Leshchinskiy and Simon {Peyton Jones} 
                  and Gabriele Keller",
        title = "{P}artial {V}ectorisation of {H}askell {P}rograms",
        booktitle = DAMP08,
        year = 2008,
        month = DAMP08:month,
        publisher = acm:pub,
        address = acm:addr     
        }

	@InProceedings{
dph-status-report,
	author = "Manuel M. T. Chakravarty and Roman Leshchinskiy and Simon {Peyton Jones}
		and Gabriele Keller and Simon Marlow",
	title = "{Data} {Parallel} {Haskell}: A Status Report",
	booktitle = DAMP07,
	year = 2007,
	month = DAMP07:month,
	publisher = acm:pub,
	address = acm:addr,
	pages = "10-18"
	}

        @article{
chapel2007,
        author = {Chamberlain,, B.L. and Callahan,, D. and Zima,, H.P.},
        title = {{P}arallel {P}rogrammability and the {C}hapel {L}anguage},
        journal = IHPC,
        volume = {21},
        number = {3},
        year = {2007},
        pages = {291--312},
        publisher = sage:pub,
        address = sage:addr
        }

        @article{
hierarchical-scheduling-multiprocessors:chandra,
        author = {Abhishek Chandra and Prashant Shenoy},
        title = {Hierarchical Scheduling for Symmetric Multiprocessors},
        journal = {IEEE Trans. Parallel Distrib. Syst.},
        volume = {19},
        number = {3},
        year = {2008},
        issn = {1045-9219},
        pages = {418--431},
        doi = {http://dx.doi.org/10.1109/TPDS.2007.70755},
        publisher = IEEE:pub,
        address = IEEE:addr
        }

	@inproceedings{
predicting-intra-thread-cache-contention,
	author = {Dhruba Chandra and Fei Guo and Seongbeom Kim and Yan Solihin},
	title = {Predicting Inter-Thread Cache Contention on a Chip Multi-Processor Architecture},
	booktitle = {HPCA '05: Proceedings of the 11th International Symposium on High-Performance Computer Architecture},
	year = {2005},
	isbn = {0-7695-2275-0},
	pages = {340--351},
	doi = {http://dx.doi.org/10.1109/HPCA.2005.27},
	publisher = IEEE:pub,
	address = IEEE:addr,
	}

	@book{
parallel-prog-in-openmp,
	author = "Rohit Chandra and Leonardo Dagum and Dave Kohr and Dror Maydan
		and Jeff McDonald and Ramesh Menon",
	title = "Parallel Programming in {OpenMP}",
	publisher = mk:pub,
	address = mk:addr,
	year = 2001
	}

	@inproceedings{
dynamic-circular-deque,
	author = {David Chase and Yossi Lev},
	title = {Dynamic circular work-stealing deque},
	booktitle = SPAA05,
	year = {2005},
	isbn = {1-58113-986-1},
	pages = {21--28},
	location = SPAA05:loc,
	doi = {http://doi.acm.org/10.1145/1073970.1073974},
	publisher = acm:pub,
	address = acm:addr
	}

	@article{
compiling-nesl,
	author = {Siddhartha Chatterjee},
	title = {Compiling nested data-parallel programs for shared-memory multiprocessors},
	journal = TOPLAS,
	volume = {15}, number = {3},
	year = {1993}, month = jul,
	pages = {400-462},
	publisher = acm:pub, address = acm:addr
	}

	@inproceedings{
cml-in-concurrent-haskell,
	author = {Avik Chaudhuri},
	title = {A {Concurrent} {ML} library in {Concurrent} {Haskell}},
	booktitle = ICFP09,
	year = 2009, month = ICFP09:month,
	location = ICFP09:loc,
	publisher = acm:pub,
        address = acm:addr,
	pages = "269-280"
	}

	@book{
real-time-book:cheng,
	author = "Albert M. K. Cheng",
	title = "Real-Time Systems: Scheduling, Analysis, and Verification",
	publisher = "Wiley",
	year = 2002
	}

	@weblog{
hphysics:cheplyaka,
	author = "Roman Cheplyaka",
	title = "Building a physics engine in {D}ata-parallel {Haskell}",
	note = "Available from \url{http://physics-dph.blogspot.com}"
	}

	@inproceedings{
chien:ppopp-keynote,
	title = "Pervasive parallel computing --- An historic
		opportunity for innovation in programming
		and architecture",
	author = "Andrew A. Chien",
	booktitle = PPoPP07,
	year = 2007, month = PPoPP07:month,
	pages = "160",
	note = "Keynote talk; slides available from \url{http://ftg.lbl.gov/ppopp07/program.html}."
	}


	@inproceedings{
cache-conscious-struct,
	author = {Trishul M. Chilimbi and Bob Davidson and James R. Larus},
	title = {Cache-conscious structure definition},
	booktitle = PLDI99,
	year = {1999}, month = PLDI99:month,
	pages = "13-24",
	location = {Atlanta, Georgia, United States},
	publisher = acm:pub,
	address = acm:addr
	}

        @inproceedings{
sized-types,
        author = "Wei-Ngan Chin and Siau-Cheng Khoo and Dana N. Xu",
        title = "Extending sized type with collection analysis",
        booktitle = PEPM03,
        year = 2003, 
        month = PEPM03:month,
        pages = {75--84},
        publisher = acm:pub,
        address = acm:addr
        }

	@inproceedings{
colby:comm-topology,
	author = "Christopher Colby",
	title = "Analyzing the Communication Topology of Concurrent Programs",
	booktitle = pepm95,
	month = pepm95:month, year = 1995,
	pages = "202-213"
	}

        @inproceedings{
implementation-strategies-cont,
	 author = {Will Clinger and Anne Hartheimer and Eric Ost},
	 title = {Implementation strategies for continuations},
	 booktitle = LISP88,
	 year = {1988}, month = LISP88:month,
	 location = LISP88:loc,
	 publisher = acm:pub,
	 address = acm:addr,
	 pages = {124--131}
	 }

	@inproceedings{
jocaml,
	author = "Sylvain Conchon and Fabrice {Le Fessant}",
	title = "{JoCaml}: Mobile Agents for {Objective-Caml}",
	booktitle = "First International Symposium on Agent Systems
		and Applications ({ASA}'99)/Third International Symposium
		on Mobile Agents ({MA}'99)",
	address = "Palm Springs, CA, USA",
	year = "1999", month = oct,
	pages = "22-29",
	note = "Available from \url{http://pauillac.inria.fr/jocaml/}"
	}

	@techreport{
ml-threads,
	author = "Eric C. Cooper and J. G. Morrisett",
	title = "Adding threads to {Standard ML}",
	number = "CMU-CS-90-186",
	institution = CMU-CS:name,
	year = 1990, month = dec
	}

        @inproceedings{                                                              
dml-dist-prog,                                                                       
        author = "Robert Cooper and Clifford D. Krumvieda",                          
        title = "Distributed Programming with Asynchronous Ordered Channels in       
                {Distributed ML}",                                                   
        booktitle = ML92,                                                            
        year = 1992, month = jun,                                                    
        pages = "134-148"                                                            
        }                                                                            

	@article{
cormack:concur-kernel,
	author = "Gordon V. Cormack",
	title = "A Micro-kernel for Concurrency in {C}",
	journal = SPE,
	volume = 18, number = 5,
	year = 1988, month = may,
	pages = "485-491",
	note = "Short Communication"
	}

	@inproceedings{
stream-fusion,
	author = {Duncan Coutts and Roman Leshchinskiy and Don Stewart},
	title = {Stream fusion: from lists to streams to nothing at all},
	booktitle = ICFP07,
	year = {2007}, month = ICFP07:month,
	pages = {315--326},
	publisher = acm:pub,
	address = acm:addr
	}

	@techreport{
cubric:cml-dataflow,
	author = "Marija {\v{C}}ubri{\'{c}}",
	title = "Dataflow language embedded in {CML}",
	institution = MCGILL-CS,
	address = MCGILL-CS:addr,
	type = "ACAPS Technical Memo",
	number = 83,
	year = 1994, month = feb
	}

	@phdthesis{
cubric:phd-thesis,
	author = "Marija {\v{C}}ubri{\'{c}}",
	title = "The Bevaviour of Dataflow Networks with Finite Buffers",
	school = "Department of Computer Science, Concordia University",
	address = "Montr\'{e}al, Canada",
	year = 1994
	}

         @inproceedings{
culler:tam,
	 author = {Culler, David E. and Sah, Anurag and Schauser, Klaus E. and von Eicken, Thorsten and Wawrzynek, John},
	 title = {Fine-grain parallelism with minimal hardware support: a compiler-controlled threaded abstract machine},
	 booktitle = ASPLOS91,
	 year = ASPLOS91:year,
	 isbn = {0-89791-380-9},
	 pages = {164--175},
	 location = {Santa Clara, California, United States},
	 doi = {http://doi.acm.org/10.1145/106972.106990},
	 publisher = {ACM},
	 address = {New York, NY, USA},
	 }

	@inproceedings{
parallel-astar,
	author = "Z. Cvetanovic and C. Nofsinger",
	title = "Parallel Astar Search on Message-Passing Architectures",
	booktitle = HICSS23,
	year = HICSS23:year, month = HICSS23:month,
	publisher = IEEE-PRESS:pub,
	address = IEEE-PRESS:addr,
	pages = "82-90"
	}

%%%%%%%%%%%
%%%     %%%
%%% DDD %%%
%%%     %%%
%%%%%%%%%%%

	@article{
danaher:jcilk-exceptions,
	author = {John S. Danaher and I-Ting Angelina Lee and Charles E. Leiserson},
	title = {Programming with {E}xceptions in {JCilk}},
	journal = SCP,
	volume = {63},
	number = {2},
	year = {2006},
	issn = {0167-6423},
	pages = {147--171},
	publisher = Elsevier:pub,
	address = Elsevier:addr
	}

	@article{	 
cilkchess,
	author = {Don Dailey and Charles E. Leiserson},
	title = {Using {Cilk} to Write Multiprocessor Chess Programs},
	journal = {The Journal of the International Computer Chess Association},
	year = {2002},
	}
    
	@article{
representing-control:cps-study,
	author = "Olivier Danvy and Andrzej Filinski",
	title = "Representing Control: {A} study of the {CPS} transformation",
	journal = MSCS,
	volume = "2",
	number = "4",
	pages = "361--391",
	year = "1992"
        }

	@inproceedings{
map-reduce,
	author = "Jeffrey Dean and Sanjay Ghemawat",
	title = "{MapReduce}: Simplified Data Processing on Large Clusters",
	booktitle = OSDI6,
	year = OSDI6:year, 
        month = OSDI6:month,
	location = OSDI6:loc,
	pages = "137--150"
	}

        @article{
wait-free-work-stealing,
        title = {Wait-free cache-affinity thread scheduling},
        author = {Kurt Debattista, Kevin Vella, J. Cordina},
        publisher = IEEE-PRESS:pub,
        address = IEEE-PRESS:addr,
        journal = {IEEE Proceedings Software},
        volume = {150},
        number = {2},
        year = {2003},
        pages = {137-146},
        issn = {1462-5970}
        }

	@InProceedings{
typed-cfa-for-cml,
	author = "M. Debbabi and A. Faour and N. Tawbi",
	title = "Efficient Type-Based Control-Flow Analysis of
		Higher-Order Concurrent Programs",
	booktitle = "Proceedings of the International Workshop on
		Functional and Logic Programming, IFL'96",
	publisher = springer:pub,
	address = springer:addr,
	series = LNCS,
	volume = 1268,
	pages = "247-266",
	month = sep,
	year = "1996"
	}

	@inproceedings{
demaine:ho-concur-in-java,
	title = "Higher-order concurrency in {Java}",
	author = "Erik D. Demaine",
	booktitle = WOTUG20,
	year = WOTUG20:year, month = WOTUG20:month,
	pages = "34-47",
	note = "Available from \url{http://theory.csail.mit.edu/~edemaine/papers/WoTUG20/}"
	}

	@inproceedings{
demaine:protocols-for-channels,
	title = "Protocols for Non-Deterministic Communication
		over Synchronous Channels",
	author = "Erik D. Demaine",
	booktitle = IPPS12,
	year = IPPS12:year, month = IPPS12:month,
	pages = "24-30",
	note = "Available from \url{http://theory.csail.mit.edu/~edemaine/papers/IPPS98/}"
	}

	@inproceedings{
type-based-alias,
	author = "Amer Diwan and Kathryn S. McKinley and J. Eliot B. Moss",
	title = "Type-based alias analysis",
	booktitle = PLDI98,
	year = 1998, month = PLDI98:month,
	pages = "106-117",
	location = "Montreal, Quebec, Canada",
	publisher = acm:pub,
	address = acm:addr,
	}

	@inproceedings{
compiler-support-for-gc,
	author = "Amer Diwan and J. Eliot B. Moss and Richard L. Hudson",
	title = "Compiler support for garbage collection in a statically typed
		language",
	booktitle = PLDI92,
	year = 1992, month = PLDI92:month,
	pages = "273-282"
	}

	@inproceedings{
deutsch:storeless-model,
	title = "A storeless model of aliasing and its abstractions
		using finite representations of right-regular equivalence relations",
	author = "Alain Deutsch",
	booktitle = ICCL92,
	year = 1992, month = ICCL92:month,
	location = ICCL92:loc,
	pages = "2-13"
	}

	@manual{
ada-manual,
	title = "Reference Manual for the {Ada} Programming Language",
	key = "DoD",
	institution = "United States Department of Defense",
	year = 1983, month = jan,
	}

	@inproceedings{
concurrent-caml-gc,
	author = {Damien Doligez and Xavier Leroy},
	title = {A concurrent, generational garbage collector for a multithreaded implementation of ML},
	booktitle = POPL20,
	year = {1993}, month = jan,
	pages = {113--123},
	location = {Charleston, South Carolina, United States},
	publisher = acm:pub,
	address = acm:addr
	}

	@inproceedings{
portable-multiprocessor-gc,
	author = {Damien Doligez and Georges Gonthier},
	title = {Portable, unobtrusive garbage collection for multiprocessor systems},
	booktitle = POPL21,
	year = POPL21:year, month = jan,
	pages = {70--83},
	location = {Portland, Oregon, United States},
	publisher = acm:pub,
	address = acm:addr
	}

	@inproceedings{
transactional-events:icfp,
	author = {Kevin Donnelly and Matthew Fluet},
	title = {Transactional events},
	booktitle = ICFP06,
	year = {2006},
	pages = {124--135},
	location = {Portland, Oregon, USA},
	publisher = acm:pub,
	address = acm:addr,
	}

	@article{
transactional-events:jfp,
	author = {Kevin Donnelly and Matthew Fluet},
	title = {Transactional events},
	journal = JFP,
	volume = 18, number = {5--6},
	year = 2008, month = sep,
	pages = "649-706"
	}

	@inproceedings{
roam,
	author = {Mark Duchaineau and Murray Wolinsky and David E. Sigeti and Mark C. Miller
		and Charles Aldrich and Mark B. Mineev-Weinstein},
	title = {{ROAMing} terrain: Real-time optimally adapting meshes},
	booktitle = VIZ97,
	year = {1997}, month = VIZ97:month,
	pages = {81--88},
	location = VIZ97:loc,
	publisher = IEEE-PRESS:pub,
	address = IEEE-PRESS:addr
	}

        @article{
nested-engines,
        author = {R. Kent Dybvig and Robert Hieb},
        title = {Engines from continuations},
        journal = CL,
        volume = {14},
        number = {2},
        year = {1989},
        pages = {109-123},
        publisher = permagon:pub,
        address = permagon:addr
        }
%%% issn = {0096-0551},
%%% doi = {http://dx.doi.org/10.1016/0096-0551(89)90018-0},


%%%%%%%%%%%
%%%     %%%
%%% EEE %%%
%%%     %%%
%%%%%%%%%%%

       @inproceedings{
active-messages,
       author = {von Eicken, Thorsten and Culler, David E. and Goldstein, Seth Copen and Schauser, Klaus Erik},
       title = {Active messages: a mechanism for integrating communication and computation},
       booktitle = ICSA98,
       year = {1998},
       isbn = {1-58113-058-9},
       pages = {430--440},
       location = ICSA98:loc,
       doi = {http://doi.acm.org/10.1145/285930.286002},
       publisher = acm:pub,
       address = acm:addr
       }


%%%%%%%%%%%
%%%     %%%
%%% FFF %%%
%%%     %%%
%%%%%%%%%%%

	@phdthesis{
fedorova:phd-thesis,
	author = "Alexandra Fedorova",
	title = "Operating System Scheduling for Chip Multithreaded Processors",
	school = "Department of Computer Science, Harvard University",
	address = "Boston, MA",
	year = 2007
	}

	@inproceedings{
improving-performance-isolation,
	 author = {Alexandra Fedorova and Margo Seltzer and Michael D. Smith},
	 title = {Improving Performance Isolation on Chip Multiprocessors via an Operating System Scheduler},
	 booktitle = {PACT '07: Proceedings of the 16th International Conference on Parallel Architecture and Compilation Techniques},
	 year = {2007},
	 isbn = {0-7695-2944-5},
	 pages = {25--38},
	 doi = {http://dx.doi.org/10.1109/PACT.2007.40},
	 publisher = IEEE:pub,
	 address = IEEE:addr,
	 }

	@inproceedings{
soft-polling,
	author = "Marc Feeley",
	title = "Polling efficiently on stock hardware",
	booktitle = FPCA93,
	year = 1993, month = FPCA93:month,
	location = FPCA93:loc,
	doi = {http://doi.acm.org/10.1145/165180.165205},
	publisher = acm:pub,
	address = acm:addr,
	pages = "179-187"
	}

        @phdthesis{
efficient-general-futures,
	   author = {Feeley, Marc},
	   title = {An efficient and general implementation of futures on large scale shared-memory multiprocessors},
	   year = {1993},
	   order_no = {UMI Order No. GAX93-22348},
	   school = {Brandeis University},
	   address = {Waltham, MA, USA}
        }

        @inproceedings{
message-passing-ltc,
	   author = {Feeley, Marc},
	   title = {A Message Passing Implementation of Lazy Task Creation},
	   booktitle = {Proceedings of the US/Japan Workshop on Parallel Symbolic Computing: Languages, Systems, and Applications},
	   year = {1993},
	   isbn = {3-540-57396-8},
	   pages = {94--107},
	   publisher = {Springer-Verlag},
	   address = {London, UK},
       }


	@techreport{
job-scheduling-survey,
	author = "Dror G. Feitelson",
	title = "Job Scheduling in Multiprogrammed Parallel Systems",
	institution = "IBM",
	type = "Research Report",
	number = "RC 19790 (87657)",
	note = "Second revision, August 1997",
	year = 1994, month = oct
	}

	@inproceedings{
job-sched-issues,
	author = "Dror G. Feitelson and Larry Rudolph",
	title = "Parallel Job Scheduling: Issues and Approaches",
	booktitle = JSSPP95,
	year = 1995, month = JSSPP95:month,
	publisher = springer:pub,
	address = springer:addr,
	series = LNCS, number = JSSPP95:number,
	pages = "1-18"
	}

	@incollection{
control-secd-lambda,
	author = "Matthias Felleisen and Daniel P. Friedman",
	title = "Control Operators, the {SECD}-machine, and the $\lambda$-calculus",
	booktitle = "Formal Description of Programming Concepts -- {III}",
	editor = "Martin Wirsing",
	publisher = "North-Holland",
	address = "New York, N.Y.",
	year = 1986,
	pages = "193-219"
	}

	@inproceedings{
weak-bisim-for-cml,
	author = "William Ferreira and Matthew Hennessy and Alan Jeffrey",
	title = "A Theory of Weak Bisimulation for Core {CML}",
	booktitle = ICFP96,
	year = 1996, month = ICFP96:month,
	pages = "201-212"
	}

	@InProceedings{
moby-classes,
	author = "Kathleen Fisher and John Reppy",
	title = "The design of a class mechanism for {Moby}",
	booktitle = PLDI99,
	year = 1999, month = PLDI99:month,
	pages = "37-49"
	}

	@inproceedings{
moby-interop-framework,
	author = "Kathleen Fisher and Riccardo Pucella and John Reppy",
	title = "A framework for interoperability",
	booktitle = "Electronic Notes in Theoretical Computer Science",
	volume = 59,
	issue = 1,
	publisher = Elsevier:pub,
	address = Elsevier:addr,
	editor = "Nick Benton and Andrew Kennedy",
	year = "2001",
	pages = "2-17"
	}

	@techreport{
moby-concur,
	author = "Kathleen Fisher and John Reppy",
	title = "Compiler support for lightweight concurrency",
	institution = "Bell Labs",
	type = "Technical Memorandum",
	year = 2002, month = mar,
	note = "Available from \url{http://moby.cs.uchicago.edu/}"
	}

	@inproceedings{
essence-of-comp-w-conts,
	author = "Cormac Flanagan and Amr Sabry and Bruce F. Duba
		and Matthias Felleisen",
	title = "The essence of compiling with continuations",
	booktitle = PLDI93,
	year = 1993, month = jun,
	pages = "237-247",
        publisher = acm:pub,
        address = acm:addr
	}

	@inproceedings{
phluid,
	author = "Cormac Flanagan and Rishiyur S. Nikhil",
	title = "{pHluid}: the design of a parallel functional language implementation
		on workstations",
	booktitle = ICFP96,
	year = {1996}, month = ICFP96:month,
	publisher = acm:pub,
	address = acm:addr,
	pages = "169-179",
	}

	@inproceedings{
kill-safe-abstractions,
	author = "Matthew Flatt and Robert B. Findler",
	title = "Kill-Safe Synchronization Abstractions",
	booktitle = PLDI04,
	year = 2004, month = PLDI04:month,
	pages = "47-58"
	}

	@inproceedings{
contification:icfp,
	author = {Matthew Fluet and Stephen Weeks},
	title = {Contification using dominators},
	booktitle = ICFP01,
	year = {2001},
	pages = {2--13},
	location = {Florence, Italy},
	publisher = acm:pub,
	address = acm:addr,
	}

        @InProceedings{
RgnMonadICFP04,
        author = 	 {Matthew Fluet and Greg Morrisett},
        title = 	 {Monadic Regions},
        booktitle =	 ICFP04,
        pages = 	 {103--114},
        year =  	 2004,
        location =	 {Snow Bird, UT, USA},
        month = 	 sep,
	publisher = acm:pub,
	address = acm:addr
        }

        @Article{
RgnMonadJFP06,
        author = 	 {Matthew Fluet and Greg Morrisett},
        title = 	 {Monadic Regions},
        journal = 	 JFP,
        year =  	 2006,
        volume =	 16,
        number =	 {4--5},
        pages = 	 {485--545},
        month = 	 {July--September}
        }

        @InProceedings{
SubstructRegionsESOP06,
        author =       {Matthew Fluet and Greg Morrisett and Amal Ahmed},
        title =        {Linear Regions Are All You Need},
        booktitle =    ESOP06,
        series =       LNCS,
        pages =        {7--21},
        year =         2006,
        location =     {Vienna, Austria},
        month =        ESOP06:month,
        publisher =    springer:pub,
        address =      springer:addr
        }

        @PhdThesis{
fluet:phd-thesis,
        author =       {Matthew Fluet},
        title =        {Monadic and Substructural Type Systems for Region-Based Memory Management},
        school =       cornell-cs,
        address =      "Ithaca, NY",
        year =         2007,
        month =        jan
        }

	@InProceedings{
implicit-threading-in-manticore,
	author =       {Matthew Fluet and Mike Rainey and John Reppy and Adam Shaw},
	title =        {Implicitly-threaded Parallelism in {Manticore}},
	booktitle =    ICFP08,
	year =         2008,
	month =        ICFP08:month,
	location =     ICFP08:loc,
	publisher =    acm:pub,
	address =      acm:addr,
	pages = "119-130"
	}

	@InProceedings{
sched-framework-for-parallel,
	author =       {Matthew Fluet and Mike Rainey and John Reppy},
	title =        {A Scheduling Framework for General-purpose Parallel Languages},
	booktitle =    ICFP08,
	year =         2008,
	month =        ICFP08:month,
	location =     ICFP08:loc,
	publisher =    acm:pub,
	address =      acm:addr,
	pages = "241-252"
	}

	@inproceedings{
manticore-damp07,
	author = "Matthew Fluet and Mike Rainey and John Reppy
		and Adam Shaw and Yingqi Xiao",
	title = "Manticore: A heterogeneous parallel language",
	booktitle = DAMP07,
	year = 2007, 
        month = DAMP07:month,
	publisher = acm:pub,
	address = acm:addr,
	pages = "37-44"
	}

	@inproceedings{
manticore-ml07,
	author = "Matthew Fluet and Nic Ford and Mike Rainey and John Reppy
		and Adam Shaw and Yingqi Xiao",
	title = "{S}tatus {R}eport: {T}he {Manticore} {P}roject",
	booktitle = ML07,
	year = 2007, 
        month = ML07:month,
	publisher = acm:pub,
	address = acm:addr,
	pages = "15-24"
	}

	@Unpublished{
schedulers-cc08,
	author = "Matthew Fluet and Mike Rainey and John Reppy",
	title = {Nested schedulers for heterogenous parallelism},
	note = {Submitted for publication},
	month = oct, 
        year = 2007
	}

       @article{
cpu-inheritance:ford,
       author = {Bryan Ford and Sai Susarla},
       title = {CPU inheritance scheduling},
       journal = {SIGOPS Oper. Syst. Rev.},
       volume = {30},
       number = {SI},
       year = {1996},
       issn = {0163-5980},
       pages = {91--105},
       doi = {http://doi.acm.org/10.1145/248155.238765},
       publisher = {ACM},
       address = {New York, NY, USA},
       }

       @article{
freeh:compare,
       author = {Vincent W. Freeh},
       title = {A comparison of implicit and explicit parallel programming},
       journal = JPDC,
       volume = {34},
       number = {1},
       year = {1996},
       pages = {50-65},
       publisher = {Academic Press, Inc.},
       address = {Orlando, FL, USA},
       }

	@InProceedings{
cilk5-implementation,
	author = {Matteo Frigo and Charles E. Leiserson and Keith H. Randall},
	title = {The Implementation of the {C}ilk-5 Multithreaded Language},
	booktitle = PLDI98,
	pub = acm:pub,
	address = acm:addr,
	year = {1998}, month = PLDI98:month,
	pages = {212--223},
	}

%%%%%%%%%%%
%%%     %%%
%%% GGG %%%
%%%     %%%
%%%%%%%%%%%

	@inbook{
multithreaded-windows,
	author = "Emden R. Gansner and John H. Reppy",
	title = "A Multi-threaded Higher-order User Interface Toolkit",
	booktitle = "User Interface Software, Bass and Dewan (Eds.)",
	series = "Software Trends", volume = 1,
	publisher = "John Wiley \& Sons",
	year = 1993,
	pages = "61-80"
	}

	@book{
sml-basis-library,
	editor = {Emden R. Gansner and John H. Reppy},
	title = {The {Standard} {ML} Basis Library},
	publisher = CUP:pub,
	address = CUP:addr,
	year = 2004
	}

	@book{
garey-n-johnson,
	author = "Michael R. Garey and David S. Johnson",
	title = "Computers and Intractability: A Guide to the Theory of {NP}-Completeness",
	publisher = "W.H. Freeman",
	year = 1979
	}

	@inproceedings{
sisal,
	author = {Jean-Luc Gaudiot and Tom DeBoni and John Feo and Wim Bohm and Walid Najjar and Patrick Miller},
	title = {The {Sisal} Model of Functional Programming and its Implementation},
	booktitle = pAs97,
	year = {1997}, month = mar,
	pages = "112-123",
	doi = {http://doi.ieeecomputersociety.org/10.1109/AISPAS.1997.581640},
	publisher = IEEE-PRESS:pub,
	address = IEEE-PRESS:addr
	}

	@inproceedings{
packing-gang-scheduling,
	author = "Jorn Gehring and Friedhelm Ramme",
	title = "Packing Schemes for Gang Scheduling",
	booktitle = JSSPP96,
	year = {1996},
	month = JSSPP96:month,
	publisher = springer:pub,
	address = springer:addr,
	series = LNCS, number = JSSPP96:number,
	pages = "89-110"
	}

	@inproceedings{
mlrisc,
	author = "Lal George and Florent Guillame and John Reppy",
	title = "A portable and optimizing back end for the {SML/NJ} compiler",
	booktitle = CC5,
	year = CC5:year, month = CC5:month,
	pages = "83-97"
	}

	@article{
mlrisc-register-alloc,
	author = "Lal George and Andrew Appel",
	title = "Iterated register coalescing",
	journal = TOPLAS,
	volume = 18, number = 3,
	year = 1996, month = may,
	pages = "300-324"
	}

	@misc{
GHC,
	author = "{GHC}",
	title = "The {G}lasgow {H}askell {C}ompiler",
	note = "Available from \url{http://www.haskell.org/ghc}"
	}

        @misc{
barnes-hut-haskell-bench,
        author = "{GHC}",
        title = "{B}arnes {H}ut benchmark written in {H}askell.",
        note = "Available from \url{http://darcs.haskell.org/packages/ndp/examples/barnesHut/}"
        }

	@TechReport{
fx87-manual,
	author = {David K. Gifford and Pierre Jouvelot and Mark A. Sheldon},
	title = {The {FX-87} Reference Manual},
	institution = mit,
	year = 1987,
	number = {TR-407},
	month = sep
	}
	
	@TechReport{
fx-report,
	author = {David K. Gifford and Pierre Jouvelot and Mark A. Sheldon and James W. O'Toole},
	title = {Report on the {FX} Programming Language},
	institution = mit,
	year = 1992,
	number = {TR-531},
	month = feb
	}
	
	@InProceedings{
integrating-fun-n-imp,
	author = {David K. Gifford and John M. Lucassen},
	title =	 {Integrating Functional and Imperative Programming},
	booktitle = LISP86,
	pages = {22--38},
	year = 1986,
	location = {Cambridge},
	publisher = acm:pub,
	address = acm:addr
	}

        @InProceedings{
goldstein:lazy-threads,
        author = {Seth Copen Goldstein and Klaus Erik Schauser and David E. Culler},
        title = {Lazy threads: implementing a fast parallel call},
        booktitle = JPDC,
        year = 1996,
        pages = {37(1):5--20},
        issn = {0743-7315}
        }

        @InProceedings{
pg_poosc_recursion,
	author = {Peter Gottschling and David S. Wise and Adwait Joshi},
	title = {Generic Support of Algorithmic and Structural Recursion for Scientific Computing},
	booktitle = {POOSC 2008 workshop at ECOOP08, Paphros, Cyprus},
	year = 2008,
	location = {Paphros, Cyprus} 
	}

	@article{
glds:mpi,
	author = "William Gropp and Ewing Lusk and Nathan Doss and Anthony Skjellum",
	title = "High-performance, portable implementation of the {MPI} {Message Passing Interface Standard}",
	journal = "Parallel Computing",
	volume = "22",
	number = "6",
	pages = "789-828",
	year = "1996",
	url = "citeseer.ist.psu.edu/gropp96highperformance.html" 
	}

	@article{
reevaluating-amdahls-law,
	author = "John L. Gustafson",
	title = "Reevaluating {Amdahl}'s Law",
	journal = CACM,
	volume = 31, number = 5,
	year = 1988, month = may,
	pages = "532-533",
	note = "\url{http://www.scl.ameslab.gov/Publications/Gus/AmdahlsLaw/Amdahls.html}"
	}


%%%%%%%%%%%
%%%     %%%
%%% HHH %%%
%%%     %%%
%%%%%%%%%%%

	@techreport{
efficient-ada-tasks,
	author = "A. N. Habermann and Isaac R. Nassi",
	title = "Efficient Implementation of {Ada} Tasks",
	number = "CMU-CS-80-103",
	institution = cmu-cs-dept,
	year = 1980, month = jan
	}

        @inproceedings{
halstead-work-stealing,
        author = {Robert H. {Halstead Jr.}},
        title = {Implementation of multilisp: Lisp on a multiprocessor},
        booktitle = LISP84,
        year = {1984}, 
        month = LISP84:month,
        pages = {9--17},
        publisher = acm:pub,
        address = acm:addr
        }

        @article{
multilisp,
        author = {Robert H. {Halstead Jr.}},
        title = {Multilisp: A Language for Concurrent and Symbolic Computation},
        journal = TOPLAS,
        year = 1985,
        volume = 7,
        pages = {501--538},
	publisher = acm:pub,
	address = acm:addr
        }

	@TechReport{
fx87-performance,
	author = {R. Todd Hammel and David K. Gifford},
	title = {{FX-87} Performance Measurements: Dataflow Implementation},
	institution = mit,
	year = 1988,
	number = {TR-421},
	month = sep
	}

	@book{
parallel-sml,
	title = "Parallel {SML}: a Functional Language and its Implementation in {Dactl}",
	author = "Kevin Hammond",
	publisher = mit-press:pub,
	address = mit-press:addr,
	year = 1991
	}

        @INPROCEEDINGS{
profiling-scheduling:hammond,
	author = {Kevin Hammond and Simon Peyton Jones},
	title = {Profiling scheduling strategies on the GRIP parallel reducer},
	booktitle = {Proceedings of the 4th International Workshop on
		the Parallel Implementation of Functional Languages},
	year = {1992},
	pages = {92--19}
        }

        @article{
gum-portable-haskell,
	   author = {Trinder, P. W. and Hammond, K. and Mattson,Jr., J. S. and Partridge, A. S. and Peyton Jones, S. L.},
	   title = {GUM: a portable parallel implementation of Haskell},
	   journal = PLDI96,
	   volume = {31},
	   number = {5},
	   year = {1996},
	   issn = {0362-1340},
	   pages = {79--88},
	   doi = {http://doi.acm.org/10.1145/249069.231392},
	   publisher = {ACM},
	   address = {New York, NY, USA},
         }


        @inproceedings{
ho-uncurrying,
        author = {John Hannan and Patrick Hicks},
        title = {Higher-order unCurrying},
        booktitle = POPL25,
        year = POPL25:year,
        isbn = {0-89791-979-3},
        pages = {1--11},
        location = {San Diego, California, United States},
        doi = {http://doi.acm.org/10.1145/268946.268947},
        publisher = {ACM},
        address = {New York, NY, USA},
        }

        @inproceedings{
stm-haskell,
        author = {Tim Harris and Simon Marlow and Simon {Peyton Jones} and Maurice Herlihy},
        title = {Composable Memory Transactions},
        booktitle = PPoPP05,
        pages = {48-60},
        year = 2005,
        month = PPoPP05:month,
        publisher = acm:pub,
        address = acm:addr
        }

	@inproceedings{
interactive-threads-case-study,
	author = "Carl Hauser and Cristian Jacobi and Marvin Theimer
		and Brent Welch and Mark Weiser",
	title = "Using threads in interactive systems: A case study",
	booktitle = SOSP14,
	year = SOSP14:year, month = SOSP14:month,
	pages = "94-105"
	}

	@inproceedings{
continuations-n-coroutines,
	author = "Christopher T. Haynes and Daniel P. Friedman and Mitchell Wand",
	title = "Continuations and coroutines",
	booktitle = LISP84,
	year = 1984, month = LISP84:month,
	publisher = acm:pub,
	address = acm:addr,
	pages = "293-298"
	}

	@inproceedings{
engines,
	author = {Christopher T. Haynes and Daniel P. Friedman},
	title = {Engines build process abstractions},
	booktitle = LISP84,
	year = {1984}, month = LISP84:month,
	publisher = acm:pub,
	address = acm:addr,
	pages = "18-24"
	}

	@mastersthesis{
parallel-erlang-implementation,
	author = "Pekka Hedqvist",
	title = "A Parallel and Multithreaded {ERLANG} Implementation",
	school = "Computer Science Department, Uppsala University",
	address = "Uppsala, Sweden",
	year = 1998, month = jun
	}

        @InCollection{
HengleinEtAl05,
        author = {Fritz Henglein and Henning Makholm and Henning Niss},
        title =	{Effect Types and Region-based Memory Management},
        booktitle = {{A}dvanced {T}opics in {T}ypes and {P}rogramming {L}anguages},
        pages = {87--135},
        publisher = mit-press:pub,
        address = mit-press:addr,
        year = 2005,
        editor = {Benjamin Pierce},
        chapter = 3,
        }

        @inproceedings{
controlling-chaos,
        author = {Stephan Herhut and Sven-Bodo Scholz and Clemens Grelck},
        title = {Controlling Chaos: On Safe Side-Effects in Data-Parallel Operations},
	booktitle = DAMP09,
	year = 2009,
	month = DAMP09:month,
	publisher = acm:pub,
	address = acm:addr,
	pages = "59-67"
        }

	@book{
art-of-mp-programming,
	author = "Maurice Herlihy and Nir Shavit",
	title = "The Art of Multiprocessor Programming",
	publisher = mk:pub,
	address = mk:addr,
	year = 2008
	}

	@InProceedings{
granularity-aware-parellelization,
	author = "Manuel Hermenegildo",
	title = "Automatic Granularity-Aware Parallelization of Programs with Predicates, Functions, and Constraints",
	booktitle = DAMP07,
	year = 2007,
	month = DAMP07:month,
	publisher = acm:pub,
	address = acm:addr,
        pages = "1",
	note = "Invited talk; slides available from \url{www.clip.dia.fi.upm.es/papers/damp07.pdf}"
	}

        @techreport{
trilinos-overview,
        author = {Michael Heroux and Roscoe Bartlett and Vicki Howle and Robert Hoekstra and Jonathan Hu and Tamara Kolda and Richard Lehoucq and Kevin Long and Roger Pawlowski and Eric Phipps and Andrew Salinger and Heidi Thomquist and Ray Tuminaro and James Willenbring and Alan Williams},
        title = {An overview of {Trilinos}},
        institution = {Sandia National Laboratories},
        month = Aug,
        year = 2003,
        number = {SAND2003-2927},
        address = {P.O. Box 5800, Albuquerque, NM 87185-110, USA}
        }

	@inproceedings{
control-with-cont,
	author = "R. Hieb and R. Kent Dybvig and C. Bruggeman",
	title = "Representing control in the presence of first-class continuations",
	booktitle = PLDI90,
	year = 1990, month = jun,
	pages="66-77"
	}

	@misc{
hpf-spec-v2,
	author = "{High Performance Fortran Forum}",
	title = "{High} {Performance} {Fortran} {Language}
		{Specification} ({Version} 2.0)",
	year = 1997, month = jan
	}

	@article{
amdahls-law-multicore-era,
	author = "Mark D. Hill and Michael R. Marty",
	title = "{Amdahl}'s Law in the Multicore Era",
	journal = COMPUTER,
	year = 2008, month = jul,
	volume = 41, number = 7,
	pages = "33-38",
	publisher = IEEE-PRESS:pub,
	address = IEEE-PRESS:addr
	}

        @article{
backtracking-based-load-balancing,
	 author = {Hiraishi, Tasuku and Yasugi, Masahiro and Umatani, Seiji and Yuasa, Taiichi},
	 title = {Backtracking-based load balancing},
	 journal = PPoPP09,
         month = PPoPP09:month,
	 volume = {44},
	 number = {4},
	 year = {2009},
	 issn = {0362-1340},
	 pages = {55--64},
	 doi = {http://doi.acm.org/10.1145/1594835.1504187},
	 publisher = acm:pub,
	 address = acm:addr
	 }

	@article{
hoare:monitors,
	author = "C. A. R. Hoare",
	title = "Monitors: An Operating System Concept",
	journal = CACM,
	volume = 17, number = 10,
	year = 1974, month = oct,
	pages = "549-557"
	}

	@article{
hoare:csp,
	author = "C. A. R. Hoare",
	title = "Communicating Sequential Processes",
	journal = CACM,
	volume = 21, number = 8,
	year = 1978, month = aug,
	pages = "666-677"
	}

	@book{
hoare:csp-book,
	author = "C. A. R. Hoare",
	title = "Communicating Sequential Processes",
	publisher = prentice-hall:pub,
	address = prentice-hall:addr,
	year = 1985
	}

	@unpublished{
cell-from-20k-feet,
	author = "H. Peter Hofstee",
	title = "Cell Broadband Engine Architecture from 20,000 feet",
	year = 2005, month = aug,
	note = "Available at \url{http://www-128.ibm.com/developerworks/power/library/pa-cbea.html}"
	}

	@PhdThesis{
huelsbergen:phd-thesis,
	author = {Lorenz Huelsbergen},
	title = {Dynamic Language Parallelization},
	school = {University of Wisconsin -- Madison},
	year = 1993
	}

%%%%%%%%%%%
%%%     %%%
%%% III %%%
%%%     %%%
%%%%%%%%%%%

%%%%%%%%%%%
%%%     %%%
%%% JJJ %%%
%%%     %%%
%%%%%%%%%%%

	@inproceedings{
sting,
	author = {Suresh Jagannathan and Jim Philbin},
	title = {A foundation for an efficient multi-threaded scheme system},
	booktitle = LISP92,
	year = {1992}, month = LISP92:month,
	pages = {345--357},
	location = {San Francisco, California, United States},
	publisher = acm:pub,
	address = acm:addr
	}

	@inproceedings{
sting-schedulers,
	author = {Suresh Jagannathan and Jim Philbin},
	title = {A customizable substrate for concurrent languages},
	booktitle = PLDI92,
	year = {1992}, month = PLDI92:month,
	pages = {55--81},
	publisher = acm:pub, address = acm:addr
	}

% location = {San Francisco, California, United States},
% isbn = {0-89791-475-9},
% doi = {http://doi.acm.org/10.1145/143095.143119},

	@inproceedings{
analyzing-refs-in-parallel-scheme,
	author = {Suresh Jagannathan and Stephen Weeks},
	title = {Analyzing stores and references in a parallel symbolic language},
	booktitle = LISP94,
	year = {1994}, month = LISP94:month,
	pages = {294--305},
	publisher = ACM:pub,
	address = ACM:addr,
	}

	@inproceedings{
typed-directed-flow,
	author = "Suresh Jagannathan and Stephen Weeks and Andrew K. Wright",
	title = "Type-Directed Flow Analysis for Typed Intermediate Languages",
	booktitle = "SAS '97: Proceedings of the 4th International Symposium on Static Analysis",
	series = lncs,
	volume = 1302,
	year = 1997,
	pages = "232--249",
	publisher = springer:pub,
	address = springer:addr
	}


        @inproceedings{
jay:monadic-parallel-costing,
        author = {C. B. Jay and M. I. Cole and M. Sekanina and P. Steckler},
        title = {A Monadic Calculus for Parallel Costing of a Functional Language of Arrays},
        booktitle = EUROPAR97,
        series = lncs,
        volume = 1300, 
        year = EUROPAR97:year,
        pages = {650--661},
        publisher = springer:pub,
        address = springer:addr
        }

	@inproceedings{
cml-bisimulation,
	author = "Alan Jeffrey and Julian Rathke",
	title = "A theory of bisimulation for a fragment of {Concurrent} {ML}
		with local names",
	booktitle = "Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science",
	year = 2000,
	pages = "311-321"
	}

	@incollection{
jensen:types-in-analysis,
	author = {Thomas Jensen},
	title = {Types in program analysis},
	booktitle = {The essence of computation: complexity, analysis, transformation},
	series = LNCS,
	volume = 2566,
	year = {2002},
	pages = {204-222},
	publisher = springer:pub,
	address = springer:addr
	}

	@techreport{
implicit-explicit-par,
	author = {Mark P. Jones and Paul Hudak},
	title = {Implicit and explicit parallel programming in {Haskell}},
	number = {Research Report YALEU/DCS/RR-982},
	institution = {Yale University},
	month = aug,
	year = {1993}
	}

        @TechReport{
JouvelotGifford89a,
        author =	 {Pierre Jouvelot and David K. Gifford},
        title =	 {Communication Effects for Message-Based Concurrency},
        institution =	 mit,
        year =	 1989,
        number =	 {TM-386},
        month =	 mar
        }

        @InProceedings{
JouvelotGifford89b,
        author =	 {Pierre Jouvelot and David K. Gifford},
        title =	 {Reasoning about Continuations with Control Effects},
        booktitle =	 PLDI89,
        pages =	 {218--226},
        year =	 1989,
        publisher =	 acm:pub,
        address =      acm:addr
        }

        @InProceedings{
JouvelotGifford91,
        author =	 {Pierre Jouvelot and David K. Gifford},
        title =	 {Algebraic Reconstruction of Types and Effects},
        booktitle =	 POPL18,
        pages =	 {303--309},
        year =	 POPL18:year,
        publisher =	 acm:pub,
        address =      acm:addr
        }

%%%%%%%%%%%
%%%     %%%
%%% KKK %%%
%%%     %%%
%%%%%%%%%%%

	@phdthesis{
keller:phd-thesis,
	title = "Transformation-based Implementation of Nested Data Parallelism for
		Distributed Memory Machines",
	author = "Gabriele Keller",
	school = "Technische Universit{\"{a}}t Berlin",
	address = "Berlin, Germany",
	year = 1999
	}

	@inproceedings{
kc:flat-trees,
	author = {Gabriele Keller and Manuel M. T. Chakravarty},
	title = {Flattening Trees},
	booktitle = {Euro-Par '98: Proceedings of the 4th International Euro-Par Conference
		on Parallel Processing},
	year = {1998},
	pages = {709--719},
	publisher = {Springer-Verlag},
	address = {London, UK}
	}
%%% isbn = {3-540-64952-2},

        @inproceedings{
keller-chak:dtypes,
        author = {Gabriele Keller and Manuel M. T. Chakravarty},
        title = {On the Distributed Implementation of Aggregate Data Structures by Program Transformation},
        booktitle = {Parallel and Distributed Processing, Fourth International
		Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS'99)},
        pages = {108-122},
        year = 1999,
        editor = {Jos{\'{e}} Rolim and others},
        number = 1586,
        series = {Lecture Notes in Computer Science},
        address = {Berlin, Germany},
        publisher = {Springer-Verlag},
        url = {citeseer.ist.psu.edu/keller99distributed.html} 
        } 

	@inproceedings{
fair-cache-sharing-and-partitioning,
	 author = {Seongbeom Kim and Dhruba Chandra and Yan Solihin},
	 title = {Fair Cache Sharing and Partitioning in a Chip Multiprocessor Architecture},
	 booktitle = {PACT '04: Proceedings of the 13th International
		Conference on Parallel Architectures and Compilation Techniques},
	 year = {2004},
	 isbn = {0-7695-2229-7},
	 pages = {111--122},
	 doi = {http://dx.doi.org/10.1109/PACT.2004.15},
	 publisher = IEEE:pub,
	 address = IEEE:addr,
	 }

	@techreport{
knabe:choice-protocol,
	author = "Frederick Knabe",
	title = "A Distributed Protocol for Channel-based Communication
		with Choice",
	institution = "European Computer-industry Research Center",
	number = "ECRC-92-16",
	year = 1992, month = oct
	}

        @inproceedings{                                                              
krumvieda:dml,                                                                       
        author = "Clifford D. Krumvieda",                                            
        title = "{DML}: Packaging High-level Distributed Abstractions in {SML}",     
        booktitle = ML91,                                                            
        year = 1991, month = sep                                                     
        }                                                                            
                                                                                     
        @inproceedings{                                                              
krumvieda:dml-fault-tolerant,                                                        
        author = "Clifford D. Krumvieda",                                            
        title = "Expressing Fault-tolerant and Consistency-preserving Programs       
                in {Distributed ML}",                                                
        booktitle = ML92,                                                            
        year = 1992, month = jun,                                                    
        pages = "157-162"                                                            
        }                                                                            
                                                                                     
        @phdthesis{                                                                  
krumvieda:phd-thesis,                                                                
        author = "Clifford D. Krumvieda",                                            
        title = "Distributed {ML}:                                                   
                Abstractions for Efficient and Fault-Tolerant Programming",          
        school = cornell-cs,                                                         
        address = "Ithaca, NY",                                                      
        year = 1993, month = aug,                                                    
        note = "Available as Technical Report TR 93-1376."                           
        }

	@inproceedings{
optimistic-parallel-abstraction,
	author = "Milind Kulkarni and Keshav Pingali and Bruce Walter
		and Ganesh Ramanarayanan and Kavita Bala and L. Paul Chew",
	title = "Optimistic Parallelism Requires Abstractions",
	booktitle = PLDI07,
	year = {2007}, month = PLDI07:month,
	pages = "211-222",
	location = PLDI07:loc,
	doi = {http://doi.acm.org/10.1145/1250734.1250759},
	publisher = ACM:pub,
	address = ACM:addr
	}

	@inproceedings{
lonestar-suite,
	author = "Milind Kulkarni and Martin Burtscher and
	C{\u{a}}lin Ca{\c{s}}caval and Keshav Pingali",
	title = "Lonestar: A suite of parallel irregular programs",
	booktitle = ISPASS09,
	year = 2009, month = ISPASS09:month,
	pages = "65-76",
	publisher = IEEE-PRESS:pub,
	address = IEEE-PRESS:addr
	}
%	location = PLDI07:loc,
%	doi = {http://doi.acm.org/10.1145/1250734.1250759},

	@inproceedings{
parallel-best-fit-search,
	author = "Vipin Kumar and K. Ramesh and V. Nageshwara Rao",
	title = "Parallel Best-fit Search of State-space Graphs: {A} summary of results",
	booktitle = AAAI88,
	year = 1988, month = AAAI88:month,
	pages = "122-127"
	}

%%%%%%%%%%%
%%%     %%%
%%% LLL %%%
%%%     %%%
%%%%%%%%%%%

      @inproceedings{
bossa-nova,
	title="{Bossa} {Nova}: Introducing Modularity into the {Bossa} Domain-Specific Language",
	author={Lawall, J.L. and Duchesne, H. and Muller, G. and Le Meur, A.},
	booktitle = GPCE05,
	series= LNCS,
	volume = GPCE05:volume,
	year = 2005, month = GPCE05:month,
	publisher = springer:pub,
	address = springer:addr,
	pages = "78-93"
      }
 
       @conference{
bossa-hierarchies:lawal,
       title={Language Design for Implementing Process Scheduling Hierarchies},
       author={Lawall, J.L. and Muller, G. and Duchesne, H.},
       booktitle={Symposium on Partial Evaluation and Program Manipulation},
       year={2004}
       }

	@inproceedings{
bossa-verification:lawal,
       author = {Julia L. Lawall and Gilles Muller and Luciano Porto Barreto},
       title = {Capturing OS expertise in an event type system: the Bossa experience},
       booktitle = {EW10: Proceedings of the 10th workshop on ACM SIGOPS European workshop},
       year = {2002},
       pages = {54--61},
       location = {Saint-Emilion, France},
       doi = {http://doi.acm.org/10.1145/1133373.1133384},
       publisher = {ACM},
       address = {New York, NY, USA},
       }

	@book{
concur-prog-in-java-2ed,
	title = "Concurrent Programming Java: Design Principles and Patterns",
	edition = "2nd",
	author = "Doug Lea",
	year = 1999,
	publisher = prentice-hall:pub,
	address = prentice-hall:addr
	}

        @inproceedings{
java-fork-join,
        author = "Doug Lea",
        title = {A {J}ava {F}ork/{J}oin {F}ramework},
        booktitle = JAVA00,
        year = {2000},
        pages = {36--43},
        location = JAVA00:loc,
        publisher = ACM:pub,
        address = ACM:addr
        }

	@inproceedings{
compiling-join-patterns,
        author = "Fabrice {Le Fessant} and Luc Maranget",
        title = "Compiling Join-Patterns",
	booktitle = HLCL98,
        series = ENTCS,
        volume = HLCL98:volume, number = HLCL98:number,
        year = 1998, month = HLCL98:month,
        publisher = elsevier:pub,
	pages = "205-224"
	}

        @Manual{       
ocaml-manual-3.0,
        title = "The Objective Caml System (release 3.00)",
        author = "Xavier Leroy",                                                
        year = 2000, month = apr,   
        note = "Available from \texttt{http://caml.inria.fr}"
        }     
        
        @article{
leroy:exns,
        author = {Xavier Leroy and Fran\c{c}ois Pessaux},
        title = {Type-based analysis of uncaught exceptions},
        journal = TOPLAS,
        volume = {22},
        number = {2},
        year = {2000},
        pages = {340--377},
        publisher = {ACM},
        address = {New York, NY, USA},
        }                                           

	@phdthesis{
roman:phd-thesis,
	author = "Roman Leshchinskiy",
	title = "Higher-Order Nested Data Parallelism: Semantics and Implementation",
	school = "Technische Universit{\"{a}}t Berlin",
	address = "Berlin, Germany",
	year = 2005
	}

	@inproceedings{
ho-flattening,
	author = {Roman Leshchinskiy and Manuel M. T. Chakravarty and Gabriele Keller},
	title = {Higher Order Flattening},
	booktitle = ICCS06,
	year = 2006, month = ICCS06:month,
	editor = {V. Alexandrov and D. van Albada and P. Sloot and J. Dongarra},
	series = {LNCS}, number = 3992,
	publisher = springer:pub,
	address = springer:addr,
	pages = "920-928"
	}

	@inproceedings{
multithreaded-sat-solving,
	author = "Matthew Lewis and Tobias Schubert and Bernd Becker",
	title = "Multithreaded {SAT} Solving",
	booktitle = ASP-DAC12,
	year = ASP-DAC12:year, month = ASP-DAC12:month,
	publisher = IEEE-PRESS:pub,
	address = IEEE-PRESS:addr,
	pages = "926-931"
	}

	@inproceedings{
ada-tasks-to-monitors,
	author = {Bangqing Li and Baowen Xu and Huiming Yu},
	title = {Transforming Ada serving tasks into protected objects},
	booktitle = "Proceedings of the
		1998 Annual {ACM} {SIGAda} International Conference on {Ada}",
	year = {1998}, month = nov,
	pages = {240-245},
	location = {Washington, D.C., United States},
	publisher = acm:pub,
	address = acm:addr
	}

       @inproceedings{
ghc-lw-conc,
       author = {Peng Li and Simon Marlow and Simon {Peyton Jones} and Andrew Tolmach},
       title = {Lightweight concurrency primitives for {GHC}},
       booktitle = HASKELL07,
       year = 2007, month = HASKELL07:month,
       pages = {107-118},
       location = HASKELL07:loc,
       publisher = acm:pub,
       address = acm:addr
       }

	@inproceedings{
argus-impl,
	author = "Liskov, B. and D. Curtis and P. Johnson and R. Scheifler",
	title = "Implementation of {Argus}",
	booktitle = SOSP11,
	year = SOSP11:year, month = SOSP11:month,
	pages = "111-122"
	}

        @article{
alzain2006mhg,
	title={{Managing Heterogeneity in a Grid Parallel Haskell}},
	author={H. W. Loid and P. Trinder and G. Michaelson and A. Al Zain},
	publisher={Springer}
        }

        @article{
jfp-eden,
        author = {Rita Loogen and Yolanda Ortega-Mall\'{e}n and Ri\cardo Pe{\~n}a-Mar\'{i}},
        title = {Parallel {F}unctional {P}rogramming in {E}den},
        journal = JFP,
        volume = {15},
        number = {3},
        year = {2005},
        pages = {431--475},
        publisher = CUP:pub,
        address = CUP:addr
        }

	@PhdThesis{
lucassen:phd-thesis,
	author = {John M. Lucassen},
	title = {Types and Effects: Towards the Integration of Functional and Imperative Programming},
	school = mit,
	year = 1987
	}

	@InProceedings{
poly-effect-systems,
	author = {John M. Lucassen and David K. Gifford},
	title =	 {Polymorphic Effect Systems},
	booktitle =	 POPL15, year = POPL15:year,
	pages =	 {47--57},
	publisher =	 acm:pub,
	address =      acm:addr
	}

        @book{
luckham:specs,
        author = {David Luckham},
        title = {Programming with Specifications},
        publisher = springer:pub,
        year = 1990,
        series = {Texts and Monographs in Computer Science}
        }

%%%%%%%%%%%
%%%     %%%
%%% MMM %%%
%%%     %%%
%%%%%%%%%%%

	@inproceedings{
partial-eval-for-concur,
	author = "Mihnea Marinescu and Benjamin Goldberg",
	title = "Partial-evaluation techniques for concurrent programs",
	booktitle = PEPM97,
	year = 1997, month = PEPM97:month,
	pages = "47-62"
	}

	@inproceedings{
async-exns,
	author = "Simon Marlow and Simon {Peyton Jones} and Andrew Moran and John Reppy",
	title = "Asynchronous exceptions in {Haskell}",
	booktitle = PLDI01,
	month = PLDI01:month, year = 2001,
	pages = "274-285"
	}

	@inproceedings{
multicore-haskell,
	author = "Simon Marlow and Simon {Peyton Jones} and Satnam Singh",
	title = "Runtime Support for Multicore {Haskell}",
	booktitle = ICFP09,
	year = 2009, month = ICFP09:month,
	publisher = acm:pub,
	address = acm:addr,
	pages = "65-77"
	}

	@inproceedings{
comm-topology-analysis,
	author = "Matthieu Martel and Marc Gengler",
	title = "Communication topology analysis for concurrent programs",
	booktitle = "7th International {SPIN} Workshop",
	publisher = springer:pub,
	address = springer:addr,
	month = sep, year = 2000,
	series = lncs,
	volume = 1885,
	pages = "265-286"
	}

	@inproceedings{
non-concurrency,
	author = {Stephen P. Masticola and Barbara G. Ryder},
	title = {Non-concurrency analysis},
	booktitle = PPoPP93,
	year = {1993}, month = PPoPP93:month,
	pages = {129-138},
	location = {San Diego, California, United States},
	publisher = acm:pub,
	address = acm:addr
	}

	@inproceedings{ 
mccarthy63basis,
	author = "John McCarthy",
	title = "{A Basis for a Mathematical Theory of Computation}",
	booktitle = "Computer Programming and Formal Systems",
	publisher = "North-Holland, Amsterdam",
	editor = "P. Braffort and D. Hirschberg",
	pages = "33--70",
	year = "1963",
	url = "citeseer.ist.psu.edu/mccarthy63basis.html" 
	}

	@InProceedings{
estimating-execution-times,
	author = "Edison Mera and Pedro L{\'{o}}pez-Garc{\'{i}}a and Germ{\'{a}}n Puebla
		and Manuel Carro and and ManuelÊV. Hermenegildo",
	title = "Combining Static Analysis and Profiling for Estimating Execution Times",
	booktitle = PADL07,
	year = 2007,
	month = PADL07:month,
	series = LNCS,
	volume = PADL07:vol,
	publisher = springer:pub,
	address = springer:addr,
	pages = "140-154"
	}

	@inproceedings{
mercouroff:analyzing-csp,
	author = "Nicholas Mercouroff",
	title = "An algorithm for analyzing communicating processes",
	booktitle = "7th International Conference on the Mathematical
		Foundations of Programming Semantics",
	location = "Pittsburgh, PA",
	month = mar, year = 1991,
	series = lncs,
	volume = 598,
	publisher = springer:pub,
	address = springer:addr,
	pages = "312-325"
	}

	@inproceedings{
fast-concur-queues,
	author = {Maged M. Michael and Michael L. Scott},
	title = {Simple, fast, and practical non-blocking and blocking
		concurrent queue algorithms},
	booktitle = PODC96,
	year = {1996}, month = PODC96:month,
	publisher = acm:pub,
	address = acm:addr,
	pages = "267-275"
	}
% 	isbn = {0-89791-800-2},
%	location = {Philadelphia, Pennsylvania, United States},
%	doi = {http://doi.acm.org/10.1145/248052.248106},

	@article{
milewski:fun-data-structures,
	author = "Jaroslaw Milewski",
	title = "Functional Data Structures as Updatable Objects",
	journal = IEEE-SOFTWARE,
	volume = 16, number = 12,
	year = 1990, month = dec,
	pages = "1427-1432"
	}

	@Book{
sml97-definition,
	title = "The {D}efinition of {Standard} {ML} (Revised)",
	author = "Robin Milner and Mads Tofte and Robert Harper and David MacQueen",
	publisher = mit-press:pub,
	address = mit-press:addr,
	year = 1997
	}

	@article{
monadic-schedules:mirani,
	author = {Rajiv Mirani and Paul Hudak},
	title = {First-class monadic schedules},
	journal = TOPLAS,
	volume = {26}, number = {4},
	year = {2004}, month = jul,
	pages = {609--651},
	publisher = acm:pub,
	address = acm:addr
	}

      @inproceedings{
monadic-scheduler-and-virtual-maps:hudak,
       author = {Rajiv Mirani and Paul Hudak},
       title = {First-class schedules and virtual maps},
       booktitle = {FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture},
       year = {1995},
       isbn = {0-89791-719-7},
       pages = {78--85},
       location = {La Jolla, California, United States},
       doi = {http://doi.acm.org/10.1145/224164.224185},
       publisher = {ACM},
       address = {New York, NY, USA},
       }

	@misc{
mlton,
	author = "{MLton}",
	title = "The {MLton} {S}tandard {ML} compiler",
	note = "Available at \url{http://mlton.org}"
	}

	@misc{
mlton-concur,
	author = "{MLton}",
	title = "{Concurrent} {ML}",
	note = "Available at \url{http://mlton.org/ConcurrentML}"
	}

	@misc{
mlton-concur-impl,
	author = "{MLton}",
	title = "{Concurrent} {ML} {Implementation}",
	note = "Available at \url{http://mlton.org/ConcurrentMLImplementation}"
	}


	@inproceedings{
lazy-task-creation,
	author = {Eric Mohr and David A. Kranz and Robert H. {Halstead Jr.}},
	title = {Lazy task creation: a technique for increasing the granularity of parallel programs},
	booktitle = LISP90,
	year = {1990}, month = LISP90:month,
	publisher = acm:pub,
	address = acm:addr,
	pages = {185-197}
	}

	@article{
moore:cramming,
	author = "Gordon E. Moore ",
	title = "Cramming more components onto integrated circuits",
	journal = "Electronics",
	year = 1965, month = apr,
	volume = 38,
	pages = "114-117",
	url = "http://download.intel.com/research/silicon/moorespaper.pdf"
	}

	@inproceedings{
pcks-machine,
	author = "Luc Moreau",
	title = "The {PCKS} Machine: an Abstract Machine for Sound Evaluation of Parallel Functional
		Programs with First Class Continuations",
	booktitle = ESOP94,
	series = LNCS,
	publisher = springer:pub,
	address = springer:addr,
	year = 1994, month = ESOP94:month,
	pages = "424-438"
	}

	@inproceedings{
procs-n-locks,
	author = "J. Gregory Morrisett and Andrew Tolmach",
	title = "Procs and Locks: A Portable Multiprocessing Platform for
		{Standard} {ML} of {New} {Jersey}",
	booktitle = PPoPP93,
	year = 1993, month = apr,
	pages = "198-207",
	note = "An earlier version is available as {CMU} report {CMU-CS-92-155}"
	}

	@inproceedings{
trellis-owl:concur,
	author = "J.E.B. Moss and W.H. Kohler",
	title = "Concurrency features for the Trellis/Owl language",
	booktitle = ECOOP1,
	series = LNCS,
	publisher = springer:pub,
	address = springer:addr,
	volume = 276,
	year = ECOOP1:year,
	pages = "171-180"
	}
	@inproceedings{
kernel-scheduler-framework,
	title = {A Framework for Simplifying the Development of Kernel
		Schedulers: Design and Performance Evaluation},
	author = {Gilles Muller and Julia L. Lawall and Herv{\'e} Duchesne},
	booktitle = HASE05,
	year = 2005, month = oct,
	location = {Heidelberg, Germany},
	pages = {56-65}
	}

	@inproceedings{
context-bounded-model-checking,
	author = "Madanlal Musuvathi and Shaz Qadeer",
	title = "Iterative context bounding for systematic testing of multithreaded programs",
	booktitle = PLDI07,
	publisher = ACM:pub,
	address = ACM:addr,
	year = 2007, month = PLDI07:month,
	location = PLDI07:loc,
	pages = "446-455"
	}

%%%%%%%%%%%
%%%     %%%
%%% NNN %%%
%%%     %%%
%%%%%%%%%%%

        @inproceedings{                        
ho-concur-w-finite-topology,        
        author = "Hanne Riis Nielson and Flemming Nielson",
        title = "Higher-order Concurrent Programs with Finite Communication
                Topology", 
        booktitle = POPL21,                                                   
        year = 1994, month = jan,                                      
        pages = "84-97"                                                      
        }         
                                                               
        @inproceedings{                                    
cml-to-process-algebras,                                           
        author = "Flemming Nielson and Hanne Riis Nielson",   
        title = "From {CML} to Process Algebras",
        booktitle = CONCUR4,               
        publisher = springer:pub,             
        address = springer:addr,                 
        series = LNCS,                                   
        volume = 715,                                 
        year = CONCUR4:year, month = aug,                                        
        pages = "493-508"                                      
        }                                                                      

	@book{
principles-prog-analysis,
	title = "Principles of Program Analysis",
	author = "Flemming Nielson and Hanne Riis Nielson and Chris Hankin",
	publisher = springer:pub,
	address = springer:addr,
	year = 1999
	}

	@manual{
id90-manual,
	author = "Rishiyur S. Nikhil",
	title = "{ID} Language Reference Manual",
	organization = "Laboratory for Computer Science, {MIT}",
	address = "Cambridge, MA",
	year = 1991, month = jul
	}

	@inproceedings{
id-implementation,
	author = "Rishiyur S. Nikhil",
	title = "A Multithreaded Implementation of {Id} using {P-RISC} Graphs",
	booktitle = "Proceedings of the 6th International Workshop on Languages and
		Compilers for Parallel Computing",
	year = 1994,
	series = lncs, number = 768,
	publisher = springer,
	address = springer:addr,
	pages = "390-405"
	}

	@book{
ph-book,
	author = "Rishiyur S. Nikhil and Arvind",
	title = "Implicit Parallel Programming in {pH}",
	publisher = "Morgan Kaufmann Publishers",
	address = "San Francisco, CA",
	year = 2001
	}

	@inproceedings{
pegasus-gc,
	author = {Steven C. North and John H. Reppy},
	title = {Concurrent Garbage Collection on Stock Hardware},
	booktitle = {Third International Conference on Functional
		Programming Languages and Computer Architecture},
	year = 1987, month = sep,
	pages = "113-133"
	}

%%%%%%%%%%%
%%%     %%%
%%% OOO %%%
%%%     %%%
%%%%%%%%%%%

	@article{
future-of-micro,
	author = "Kunle Olukotun and Lance Hammond",
	title = "The Future of Microprocessors",
	journal = "{ACM} {Queue}",
	volume = 3, number = 7,
	month = sep, year = 2005,
	note = "Available from \url{http://www.acmqueue.org}."
	}

	@inproceedings{
speculative-computation,
	author = {Randy B. Osborne},
	title = {Speculative computation in multilisp},
	booktitle = LISP90,
	year = {1990}, month = LISP90:month,
	pages = {198--208},
	publisher = acm:pub,
	address = acm:addr
	}
% isbn = {0-89791-368-X},
% location = {Nice, France},
% doi = {http://doi.acm.org/10.1145/91556.91644},

%%%%%%%%%%%
%%%     %%%
%%% PPP %%%
%%%     %%%
%%%%%%%%%%%

	@inproceedings{
palsberg:type-based-anal,
	author = "Jens Palsberg",
	title = "Type-based analysis and applications",
	booktitle = "PASTE'01",
	year = 2001, month = jun,
	pages = "20-27"
	}

	@incollection{
essence-of-cml,
	author = "Prakash Panangaden and John H. Reppy",
	title = "The Essence of {Concurrent} {ML}",
	editor = "Flemming Nielson",
	booktitle = "ML with Concurrency",
	publisher = springer:pub,
	address = springer:addr,
	chapter = "1",
	year = 1997
	}

        @mastersthesis{ 
papadopoulos:masters-thesis,
        author = "Dionysios P. Papadopoulos",
        title = "Hood: A User-Level Thread Library for Multiprogramming Multiprocessors",
	school = "Department of Computer Sciences, University of Texas at Austin",
	year = 1998,
        url = "citeseer.ist.psu.edu/papadopoulos98hood.html" 
        }
	
	@article{
parnas:spec,
	author = {David L. Parnas},
	title = {A technique for software module specification with examples},
	journal = CACM,
	volume = {15}, number = {5},
	year = {1972}, month = may,
	pages = {330-336},
	publisher = acm:pub,
	address = acm:addr
	}


        @mastersthesis{
pellerin:masters-thesis,
        author = "Cl\'{e}ment Pellerin",
        title = "The Concurrent Constraint Programming Language {Taskell}",
        school = "School of Computer Science, McGill University",
        address = "Montr\'{e}al, Qu\'{e}bec, Canada",
        year = 1992, month = jan,
        }

        @inproceedings{
pettersson:match-comp,
        title = "A Term Pattern-match Compiler Inspired by Finite Automata
                Theory", 
        author = "Mikael Pettersson",
        booktitle = CC4,
        year = CC4:year, month = CC4:month,
        publisher = springer:pub,
        address = springer:addr,
        series = LNCS, volume = 641,
        pages = "258-270" 
        }   

        @inproceedings{
compiling-by-trx,
        author = "Simon {Peyton Jones}",
        title = "{Compiling Haskell by Program Transformation: 
                  A Report from the Trenches}",
        booktitle = {ESOP '96: Proceedings of the 6th European Symposium
                     on Programming Languages and Systems},
        year = {1996},
        isbn = {3-540-61055-3},
        pages = {18--44},
        publisher = {Springer-Verlag},
        address = {London, UK}
        }
        
	@inproceedings{
concur-haskell,
	author = "Simon {Peyton Jones} and Andrew Gordon and Sigbjorn Finne",
	title = "Concurrent {Haskell}",
	booktitle = POPL23,
	year = POPL23:year, month = jan,
	pages = "295-308",
        publisher = acm:pub,
        address = acm:addr
	}

	@inproceedings{
c--,
	author = "Simon {Peyton Jones} and Thomas Nordin and Dino Oliva",
	title = "{C--}: {A} Portable Assembly Language",
	booktitle = IFL9,
	publisher = springer:pub,
	address = springer:addr,
	series = LNCS,
	volume = 1467,
	year = IFL9:year, month = IFL9:month,
	pages = "1-19"
	}

	@incollection{
awkward-squad,
	author = "Simon {Peyton Jones}",
	title = "Tackling the awkward squad: monadic input/output, concurrency,
		exceptions, and foreign-language calls in {Haskell}",
	booktitle = "Engineering Theories of Software Construction",
	publisher = "{IOS} Press",
	series = "{NTO} Science Series",
	volume = 180,
	editor = "Tony Hoare and Manfred Broy and Ralf Steinbruggen",
	year = 2001,
	pages = "47-96"
	}

	@inproceedings{
ghc-rewriting,
	author = "Simon {Peyton Jones} and Andrew Tolmach and Tony Hoare",
	title = "Playing by the Rules: Rewriting as a practical
		optimization technique in {GHC}",
	booktitle = "Proceedings of the 2001 Haskell Workshop",
	year = 2001, month = sep,
	pages = "203-233"
	}

	@inproceedings{
imprec-exns,
	author = "Simon {Peyton Jones} and Alastair Reid and Fergus Henderson and Tony Hoare and Simon Marlow",
	title = "A semantics for imprecise exceptions",
	booktitle = PLDI99,
	year = 1999, month = PLDI99:month,
	pages = "25-36",
        publisher = acm:pub,
        address = acm:addr
	}

      @conference{
philbin1996vtn,
	title={{Virtual Topologies: A New Concurrency Abstraction for High-Level Parallel Languages}},
	author={Philbin, J. and Suresh Jagannathan, R.M.},
	booktitle={Languages and Compilers for Parallel Computing: 8th International Workshop, LCPC'95, Columbus, Ohio, USA, August 10-12, 1995: Proceedings},
	year={1996},
	organization=springer:pub,
        address=springer:addr
      }

	@article{
pike:windows,
	author = "Rob Pike",
	title = "A concurrent window system",
	journal = "Computing Systems",
	volume = 2, number = 2,
	year = 1989,
	pages = "133-153"
	}

	@article{
sawzall,
	title = "Interpreting the Data: Parallel Analysis with Sawzall",
	author = "Rob Pike and Sean Dorward and Robert Griesemer and Sean Quinlan",
	volume = 13, number = 4,
	journal = "Scientific Programming Journal",
	publisher = "{IOS} Press",
	address = "Amsterdam, Netherlands",
	year = 2005,
	pages = "227-298"
	}

        @mastersthesis{
press:sml-s,
        author = {David Press},
        title = {High-level language support for stream programming on {GPU}s},
        school = {The {U}niversity of {C}hicago},
        address = {Chicago, IL},
        month = Feb,
        day = 15,
        year = 2006
        }

%%%%%%%%%%%
%%%     %%%
%%% QQQ %%%
%%%     %%%
%%%%%%%%%%%

	@inproceedings{
join-pattern-matching,
        author =  "{Ma Qin} and Luc Maranget",
        title = "Compiling Pattern-Matching in Join-Patterns",
        booktitle = CONCUR15,
        series = "LNCS",
	volume = CONCUR15:vol,
	year = CONCUR15:year, month = CONCUR15:month,
        publisher = springer:pub,
	address = springer:addr,
	pages = "417-431"
	}

%%%%%%%%%%%
%%%     %%%
%%% RRR %%%
%%%     %%%
%%%%%%%%%%%

	@mastersthesis{
rainey:masters-paper,
	author = "Mike Rainey",
	title = "The {Manticore} Runtime Model",
	year = 2007, month = jan,
	school = "University of Chicago",
	note = "Available from \url{http://manticore.cs.uchicago.edu}."
	}

       @inproceedings{
rainey:prototyping-schedulers,
       author = "Mike Rainey",
       title = "Prototyping Nested Schedulers",
       year = 2007, month = sep,
       booktitle = "Redex Workshop"
       } 

	@techreport{
ramsey:concur,
	author = "Norman Ramsey",
	title = "Concurrent programming in {ML}",
	number = "CS-TR-262-90",
	institution = princeton-cs,
	year = 1990, month = apr
	}

	@inproceedings{
c--exceptions,
	author = "Norman Ramsey and Simon {Peyton Jones}",
	title = "A single intermediate language that supports multiple
		implementations of exceptions",
	booktitle = PLDI00,
	year = 2000, month = PLDI00:month,
	pages = "285-298"
	}

	@Unpublished{
c--concur,
	author = "Norman Ramsey and Simon {Peyton Jones}",
	title = "Featherweight concurrency in a portable assembly language",
	year = 2000, month = nov,
	note = "Unpublished paper available at
		\url{http://www.cminusminus.org/abstracts/c--con.html}"
	}

	@article{
reeves:particle-systems,
	author = {William T. Reeves},
	title = {Particle Systems --- a Technique for Modeling a Class of Fuzzy Objects},
	journal = TOG,
	volume = {2},
	number = {2},
	year = {1983},
	pages = {91-108},
	publisher = acm:pub,
	address = acm:addr
	}
%%%	doi = {http://doi.acm.org/10.1145/357318.357320},

	@PhdThesis{
regehr:phd-thesis,
	author = "John Regehr",
	title = "{Using Hierarchical Scheduling to Support Soft
        	 Real-Time Applications on General-Purpose Operating
        	 Systems}",
	year = "2001",
	school = "University of Virginia"
	}

	@inproceedings {
reig:annotations,
	author = "Fermin Reig",
	title = "Annotations for Portable Intermediate Languages",
	booktitle = "Electronic Notes in Theoretical Computer Science",
	volume = "59",
	issue = "1",
	publisher = Elsevier:pub,
	address = Elsevier:addr,
	editor = "Nick Benton and Andrew Kennedy",
	year = "2001"
	}

	@book{
reinders:intel-tbb,
	author = "James Reinders",
	title = "{Intel} Threading Building Blocks",
	publisher = OREILLY:pub,
	address = OREILLY:addr,
	year = 2007
	}

        @inproceedings{
found-for-prog-envs,
        author = {John H. Reppy and Emden Gansner},
        title = {A foundation for programming environments},
        booktitle = PSDE86,
        year = 1986,
        month = Dec,
        pages = {218-227},
        publisher = acm:pub,
        address = acm:addr
        }
        

	@inproceedings{
reppy:pml-events,
	author = "John H. Reppy",
	title = "Synchronous operations as first-class values",
	booktitle = pldi88,
	year = 1988, month = jun,
	pages = "250-259"
	}

        @techreport{
reppy:sml-syncops,
        author = "John H. Reppy",
        title = "First-class synchronous operations in {Standard ML}",
        number = "TR 89-1068",
        institution = cornell-cs,
        year = 1989, month = dec
        }
                                                                                     
	@techreport{
reppy:signals,
	author = "John H. Reppy",
	title = "Asynchronous signals in {Standard ML}",
	number = "TR 90-1144",
	institution = cornell-cs,
	address = cornell-cs:addr,
	year = 1990, month = aug
	}

        @phdthesis{                 
reppy:phd-thesis,                                 
        author = "John H. Reppy",                                    
        title = "Higher-order concurrency",
        school = cornell-cs,                                                  
        address = "Ithaca, NY",                                        
        year = 1992, month = jan,                                            
        note = "Available as Technical Report TR 92-1285."
        }                                                      

	@inproceedings{
reppy:cml,
	author = "John H. Reppy",
	title = "{CML}: A higher-order concurrent language",
	booktitle = PLDI91,
	year = 1991, month = jun,
	pages = "293-305",
        publisher = acm:pub,
        address = acm:addr
	}

	@book{
reppy:cml-book,
	author = "John H. Reppy",
	title = "Concurrent Programming in {ML}",
	publisher = CUP:pub,
	address = CUP:addr,
	year = 1999
	}

	@inproceedings{
reppy:lcps,
	author = "John Reppy",
	title = "Local {CPS} conversion in a direct-style compiler",
	booktitle = CW01,
	year = 2001, month = cw01:month,
	pages = "13-22"
	}

	@article{
reppy:lcps-journal,
	author = "John Reppy",
	title = "Optimizing nested loops using local {CPS} conversion",
	journal = HOSC,
	volume = 15,
	year = 2002,
	pages = "161-180"
	}

	@inproceedings{
reppy:typed-cfa,
	author = "John Reppy",
	title = "Type-sensitive control-flow analysis",
	booktitle = ML06,
	year = 2006, month = ML06:month
	}

	@inproceedings{
cml-specialization,
	author = "John Reppy and Yingqi Xiao",
	title = "Specialization of {CML} message-passing primitives",
	booktitle = POPL34,
	year = POPL34:year, month = POPL34:month,
        pages = "315-326",
        publisher = acm:pub,
        address = acm:addr
	}

	@inproceedings{
toward-parallel-cml,
	author = "John Reppy and Yingqi Xiao",
	title = "Toward a parallel implementation of {Concurrent} {ML}",
	booktitle = DAMP08,
	year = 2008, 
        month = DAMP08:month,
	publisher = acm:pub,
        address = acm:addr
	}

	@inproceedings{
parallel-cml,
	author = {John Reppy and Claudio Russo and Yingqi Xiao},
	title = {Parallel {C}oncurrent {ML}},
	booktitle = ICFP09,
	year = 2009, month = ICFP09:month,
	location = ICFP09:loc,
	publisher = acm:pub,
        address = acm:addr,
	pages = "257-268"
	}

	@article{
reynolds:continuations,
	author = "John C. Reynolds",
	title = "The discoveries of continuations",
	journal = LASC,
	publisher = Kluwer:pub,
	address = Kluwer:addr,
	volume = 6, number = "3-4",
	year = 1993,
	pages = "233-248"
	}

	@misc{
ritson:multicore-scheduling-talk,
	author = "Carl Ritson",
	title = "Multicore Scheduling for Lightweight Communicating Processes",
	howpublished = "Talk at the \emph{Workshop on Language and Runtime Support for Concurrent Systems}",
	year = 2008, month = oct,
	note = "Slides available from \url{http://www.mm-net.org.uk/workshop171008/mmw07-slides}"
	}

        @inproceedings{
automatic-complexity-analysis,
        author = "Mads Rosendahl",
        title = "Automatic complexity analysis",
        booktitle = FPCA89,
        year = 1989, 
        month = FPCA89:month,
        pages = {144-156},
        publisher = acm:pub,
        address = acm:addr
        }

	@unpublished{
hamlet,
	author = "Andreas Rossberg",
	title = "{HaMLet}",
	note = "Available from \url{http://www.ps.uni-sb.de/hamlet}"
	}

	@inproceedings{
events-in-haskell,
	author = "George Russell",
	title = "Events in {Haskell}, and how to implement them",
	booktitle = ICFP01,
	year = 2001, month = ICFP01:month,
	pages = "157-168"
	}

	@book{
ai-modern-approach-2ed,
	author = "Stuart Russell and Peter Norvig",
	title = "Artificial Intelligence: A Modern Approach",
	edition = "2nd",
	publisher = prentice-hall:pub,
	address = prentice-hall:addr,
	year = 2003
	}

%%%%%%%%%%%
%%%     %%%
%%% SSS %%%
%%%     %%%
%%%%%%%%%%%

	@techreport{
subtransitive-cfa,
	author = "Bratin Saha and Nevin Heintze and Dino Oliva",
	title = "Subtransitive {CFA} using types",
	institution = "Yale University, Department of Computer Science",
	address = "New Haven, CT",
	year = 1998, 
        month = oct,
	number = "YALEU/DCS/TR-1166"
	}

      @techreport{
saraswat2005rel,
	title="Report on the Experimental Language {X10}",
	author={Saraswat, V. and Nystrom, N.},
	year={2005},
	institution={IBM Research}
        }

      @techreport{
x10-0.41,
	title = {{Report on the Experimental Language X10}},
	author = {Vijay Saraswat},
	year = {2006},
	month = feb,
        institution = {IBM Thomas J. Watson Research Lab},
        address = {Yorktown Heights, NY},
        number = "DRAFT v 0.41"
        }

	@book{
scientific-parallel-comp,
	author = "L. Ridgway Scott and Terry Clark and Babak Bagheri",
	title = "Scientific Parallel Computing",
	publisher = "Princeton University Press",
	address = "Princeton, NJ",
	year = 2005
	}

	@inproceedings{
serrano:cfa-paradigm,
	author = "Manuel Serrano",
	title = "Control flow analysis: a functional languages compilation paradigm",
	booktitle = SAC95,
	year = "1995",
	pages = "118-122",
	location = "Nashville, Tennessee, United States",
	publisher = acm:pub,
	address = acm:addr,
	}

	@INPROCEEDINGS{
list-unroll,
	author = {Zhong Shao and John Reppy and Andrew Appel},
	title = {Unrolling lists},
	booktitle = LISP94,
	year = 1994, month = LISP94:month,
	pages = "185-195",
        publisher = acm:pub,
        address = acm:addr
	}

	@article{
space-efficient-closure,
	author = {Zhong Shao and Andrew W. Appel},
	title = {Efficient and safe-for-space closure conversion},
	journal = TOPLAS,
	volume = {22},
	number = {1},
	year = {2000},
	pages = {129--161},
	publisher = acm:pub,
	address = acm:addr
	}

	@mastersthesis{
shaw:masters-paper,
	author = "Adam Shaw",
	title = "Data Parallelism in {Manticore}",
	year = 2007, month = jul,
	school = "University of Chicago",
	note = "Available from \url{http://manticore.cs.uchicago.edu}."
	}


	@inproceedings{
stm,
	author = {Nir Shavit and Dan Touitou},
	title = {Software transactional memory},
	booktitle = PODC95,
	location = {Ottowa, Ontario, Canada},
	year = {1995},
	doi = {http://doi.acm.org/10.1145/224964.224987},
	publisher = acm:pub,
	address = acm:addr,
	pages = {204-213}
	}

	@inproceedings{
shivers:cfa-in-scheme,
	author = {Olin Shivers},
	title = {Control flow analysis in Scheme},
	booktitle = PLDI88,
	year = 1988, month = PLDI88:month,
	pages = {164-174},
	location = {Atlanta, Georgia, United States},
	publisher = acm:pub,
	address = acm:addr,
	}

	@phdthesis{
shivers:phd-thesis,
	author = "Olin Shivers",
	title = "Control-flow analysis of higher-order languages",
	year = 1991, month = may,
	school = CMU-CS:name,
	address = CMU-CS:addr
	}

	@inproceedings{
shivers:cont-n-threads,
	author = "Olin Shivers",
	title = "Continuations and threads: Expressing machine
		concurrency directly in advanced languages",
	booktitle = CW97,
	month = CW97:month, year = 1997,
        publisher = acm:pub,
        address = acm:addr
	}

	@inproceedings{
atomic-heap-transactions,
	author = "Olin Shivers and James W. Clark and Roland McGrath",
	title = "Atomic heap transactions and fine-grain interrupts",
	booktitle = ICFP99,
	year = 1999, month = ICFP99:month,
	pages = "48-59",
        publisher = acm:pub,
        address = acm:addr
	}

        @inproceedings{
skilli:bmf-par,
        author = {D. B. Skillicorn},
        title = {{T}he {B}ird-{M}eertens {F}ormalism as a {P}arallel {M}odel},
        booktitle = {{NATO} {ARW} ``Software for Parallel Computation''},
        volume = {106},
        publisher = {Springer-Verlag NATO ASI},
        editor = {Kowalik, J.S. and Grandinetti, L.},
        year = {1993},
        url = "citeseer.ist.psu.edu/51414.html" 
        }

	@techreport{
mcc,
	title = "Mostly-copying collection: {A} viable alternative
		to conservative mark-sweep",
	author = "Frederick Smith and Greg Morrisett",
	institution = cornell-cs,
	number = "97-1644",
	year = 1997, month = aug
	}

	@phdthesis{
applications-of-sat,
	author = "Niklas S{\"{o}}rensson",
	title = "Applications of {SAT} Solving",
	year = 2003, month = oct,
	school = "Chalmers University of Technology",
	address = "G{\"{o}}teborg, Sweden"
	}
	
        @inproceedings{
steele:fortress-ppopp,
	author = {Guy L. {Steele Jr.}},
	title = {Parallel programming and code selection in {Fortress}},
	booktitle = PPoPP06,
	year = {2006}, month = PPoPP06:month,
	pages = "1",
	location = {New York, New York, USA},
	doi = {http://doi.acm.org/10.1145/1122971.1122972},
	publisher = acm:pub,
	address = acm:addr,
	note = "Keynote talk; slides available from
		\url{http://research.sun.com/projects/plrg/CGOPPoPP2006public.pdf}."
	}

	@inproceedings{
gc-at-every-instruction,
	title = "Support for Garbage Collection at Every Instruction in a
		{Java} Compiler",
	author = "James M. Stichnoth and Guei-Yuan Lueh and Michal Cierniak",
	booktitle = PLDI99,
	year = 1999, month = PLDI99:month,
	pages = "118-127"
	}

	@misc{
cilk-manual-543,
	author = "Supercomputing Technologies Group",
	publisher = {MIT Laboratory for Computer Science},
	title = {Cilk 5.4.3 (rev 3379) Reference Manual},
	year = 2007
	}

	@manual{
cilk-manual-546,
	title = "{Cilk} 5.4.6 Reference Manual",
	author = "Supercomputing Technologies Group",
	institution = mit-lcs,
	note = {"Available from \url{http://supertech.csail.mit.edu/cilk}"}
	}

      @misc{
microsystems:fpl,
	title={{Fortress Programming Language}},
	author={Sun Microsystems.}
      }

	@article{
concurrency-revolution,
	author = "Herb Sutter and James Larus",
	title = "Software and the Concurrency Revolution",
	journal = "{ACM} {Queue}",
	volume = 3, number = 7,
	month = sep, year = 2005,
	note = "Available from \url{http://www.acmqueue.org}."
	}

	@inproceedings{
sweeney:popl-talk,
	title = "The next mainstream programming language: {A} game
		developer's perspective",
	author = "Tim Sweeney",
	booktitle = POPL33,
	year = POPL33:year, month = jan,
	pages = "269",
	note = "Invited talk; slides available from \url{http://www.cs.princeton.edu/~dpw/popl/06}."
	}

	@book{
expert-f-sharp,
	author = "Don Syme and Adam Granicz and Antonio Cisternino",
	title = "Expert {F\#}",
	publisher = "Apress",
	address = "Berkeley, CA",
	year = 2007
	}

%%%%%%%%%%%
%%%     %%%
%%% TTT %%%
%%%     %%%
%%%%%%%%%%%

	@Article{
type-and-effect,
	author = {Jean-Pierre Talpin and Pierre Jouvelot},
	title = {The Type and Effect Discipline},
	journal = IC,
	volume = {111},
	number = {2},
	year = 1994,
	pages = {245--296},
	publisher = academic-press:pub,
	address = academic-press:addr,
	}

	@inproceedings{
compact-gc-tables,
	author = "David Tarditi",
	title = "Compact Garbage Collection Tables",
	booktitle = ISMM00,
	year = 2000, month = ISMM00:month,
	pages = "50-58"
	}

       @article{
accelerator,
       author = {David Tarditi and Sidd Puri and Jose Oglesby},
       title = {Accelerator: using data parallelism to program GPUs for general-purpose uses},
       journal = {SIGOPS Oper. Syst. Rev.},
       volume = {40},
       number = {5},
       year = {2006},
       issn = {0163-5980},
       pages = {325--335},
       publisher = {ACM},
       address = {New York, NY, USA}
       }

	@article{
raw-microprocessor,
	author = "Michael Bedford Taylor and Jason Kim and Jason Miller and
		David Wentzlaff and Fae Ghodrat and Ben Greenwald and Henry Hoffmann and
		Paul Johnson and Jae-Wook Lee and Walter Lee and 
		Albert Ma and Arvind Saraf and Mark Seneski and Nathan Shnidman and
		Volker Strumpen Matt Frank and Saman Amarasinghe and Anant Agarwal",
	title = "The {Raw} Microprocessor: A Computational Fabric for Software Circuits
		and General Purpose Programs",
	journal = MICRO,
	volume = 22, number = 2,
	year = 2002,
	pages = "25-35",
	doi = {http://doi.ieeecomputersociety.org/10.1109/MM.2002.997877}
	}

        @Article{
strategy-haskell,
        author = {Philip W. Trinder and Kevin Hammond and Hans-Wolfgang Loidl
		and Simon L. {Peyton Jones}},
        title = {Algorithm + strategy = parallelism},
        journal = JFP,
        year = 1998,
        volume = 8,
        number = 1,
        pages = {23-60},
        month = jan
        }

%%%%%%%%%%%
%%%     %%%
%%% UUU %%%
%%%     %%%
%%%%%%%%%%%

%%%%%%%%%%%
%%%     %%%
%%% VVV %%%
%%%     %%%
%%%%%%%%%%%

	@article{
valiant:bsp,
	author = {Leslie G. Valiant},
	title = {A bridging model for parallel computation},
	journal = CACM,
	volume = {33},
	number = {8},
	year = {1990},
	pages = {103-111},
	doi = {http://doi.acm.org/10.1145/79173.79181},
	publisher = acm:pub, address = acm:addr
	}

	@article{
workcrews,
	author = {Mark T. Vandevoorde and Eric S. Roberts},
	title = {Workcrews: an abstraction for controlling parallelism},
	journal = IJPP,
	volume = {17}, number = {4},
	year = {1988}, month = aug,
	pages = {347-366},
	publisher = kluwer:pub,
	address = kluwer:addr,
	}

        @inproceedings{ 
inferring-cost-eqns,
        author = "Pedro B. Vasconcelos and Kevin Hammond",
        title = "Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs",
        booktitle = IFL03,
        publisher = springer:pub,
        address = springer:addr,
        series = LNCS,
        volume = IFL03:vol,
        pages = "86--101",
        month = IFL03:month,
        year = 2004
        }       

	@inproceedings{
session-types-for-multithreading,
	author = "Vasco Vasconcelos and Antonio Ravara and Simon Gay",
	title = "Session Types for Functional Multithreading",
	booktitle = CONCUR15,
	publisher = springer:pub-addr,
	series = LNCS,
	volume = CONCUR15:vol,
	year = CONCUR15:year, month = CONCUR15:month,
	pages = "497-511"
	}

        @phdthesis{
vella:phd-thesis,
        author = "Kevin Vella",
        title = "Seamless parallel computing on heterogeneous networks of multiprocessor workstations",
        year = 1998, month = dec,
        school = "University of Kent at Canterbury"
        }

%%%%%%%%%%%
%%%     %%%
%%% WWW %%%
%%%     %%%
%%%%%%%%%%%

	@inproceedings{
wall:ilp-limits,
	author = {David W. Wall},
	title = {Limits of instruction-level parallelism},
	booktitle = {Proceedings of the Fourth International Conference on
		Architectural support for Programming Languages and Operating Systems},
	year = {1991},
	pages = {176-188},
	location = {Santa Clara, California, United States},
	publisher = acm:pub,
	address = acm:addr,
	}

	@inproceedings{
wand:continuations,
	author = "Mitchell Wand",
	title = "Continuation-based multiprocessing",
	booktitle = LISP80,
	year = 1980, month = LISP80:month,
	pages = "19-28",
        publisher = acm:pub,
        address = acm:addr
	}

	@misc{
weeks:whole-program-mlton,
	author = "Stephen Weeks",
	title = "Whole Program Compilation in {MLton}",
	howpublished = "Invited talk at {ML} '06 Workshop",
	year = 2006, month = ML06:month,
	note = "Invited talk; slides available at
		\url{http://mlton.org/pages/References/attachments/060916-mlton.pdf}"
	}

	@article{
processes-tasks-monitors,
	author = "Peter Wegner and Scott A. Smolka",
	title = "Processes, Tasks and Monitors: A Comparative Study of Concurrent
		Programming Primitives",
	journal = IEEE-SOFTWARE,
	volume = 9, number = 4,
	year = 1983, month = jul,
	pages = "446-462"
	}

	@article{
polymorphic-splitting,
	author = {Andrew K. Wright and Suresh Jagannathan},
	title = {Polymorphic splitting: an effective polyvariant flow analysis},
	journal = TOPLAS,
	volume = {20},
	number = {1},
	year = {1998},
	pages = {166-207},
	publisher = acm:pub,
	address = acm:addr,
	}

%%%%%%%%%%%
%%%     %%%
%%% XXX %%%
%%%     %%%
%%%%%%%%%%%

      @inproceedings{
gc-scheduling:xian,
       author = {Feng Xian and Witawas Srisa-an and Hong Jiang},
       title = {Allocation-phase aware thread scheduling policies to improve garbage collection performance},
       booktitle = {ISMM '07: Proceedings of the 6th international symposium on Memory management},
       year = {2007},
       isbn = {978-1-59593-893-0},
       pages = {79--90},
       location = {Montreal, Quebec, Canada},
       doi = {http://doi.acm.org/10.1145/1296907.1296919},
       publisher = {ACM},
       address = {New York, NY, USA},
       }

      @inproceedings{
contention-scheduling:xian,
       author = {Feng Xian and Witawas Srisa-an and Hong Jiang},
       title = {Contention-aware scheduler: unlocking execution parallelism in multithreaded java programs},
       booktitle = {OOPSLA '08: Proceedings of the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications},
       year = {2008},
       isbn = {978-1-60558-215-3},
       pages = {163--180},
       location = {Nashville, TN, USA},
       doi = {http://doi.acm.org/10.1145/1449764.1449778},
       publisher = {ACM},
       address = {New York, NY, USA},
       }

	@mastersthesis{
xiao:masters-paper,
	author = "Yingqi Xiao",
	title = "Toward optimization of {Concurrent} {ML}",
	year = 2005, month = dec,
	school = "University of Chicago"
	}

%%%%%%%%%%%
%%%     %%%
%%% YYY %%%
%%%     %%%
%%%%%%%%%%%

	@article{
yi:exns,
	author = {Kwangkeun Yi},
	title = {An abstract interpretation for estimating uncaught exceptions in {Standard} {ML} programs},
	journal = {Sci. Comput. Program.},
	volume = {31},
	number = {1},
	year = {1998},
	issn = {0167-6423},
	pages = {147--173},
	publisher = {Elsevier North-Holland, Inc.},
	address = {Amsterdam, The Netherlands, The Netherlands},
	} 
%%% doi = {http://dx.doi.org/10.1016/S0167-6423(96)00044-5},
   
	@inproceedings{
protium-hotos,
	author = "Cliff Young and Lakshman YN and Tom Szymanski and John Reppy
		and Rob Pike and Girija Narlikar and Sape Mullender
		and Eric Grosse",
	title = "Protium, an Infrastructure for Partitioned Applications",
	booktitle = HOTOS05,
	year = 2001, month = jan,
	pages = "41-46"
	}

	@proceedings{
oopsla99,
	key = "OOPSLA",
	title = "OOPSLA'99 Conference Proceedings",
	year = 1999, month = nov,
	note = "This proceedings contains several papers on
		eliminating synchronizations in {Java} using escape
		analysis."
	}

%%%%%%%%%%%
%%%     %%%
%%% ZZZ %%%
%%%     %%%
%%%%%%%%%%%

	@inproceedings{
CML-stabilizers,
	author = {Lukasz Ziarek and Philip Schatz and Suresh Jagannathan},
	title = "Stabilizers: a modular checkpointing abstraction for concurrent
		functional programs",
	booktitle = ICFP06,
	year = 2006, month = ICFP06:month,
	location = {Portland, Oregon, USA},
	publisher = acm:pub,
	address = acm:addr,
	pages = "136-147"
	}

	@inproceedings{
speculative-barriers,
	author = "Lukasz Ziarek and Suresh Jagannathan
		and Matthew Fluet and Umut A. Acar",
	title = "Speculative N-Way Barriers",
	booktitle = DAMP09,
	year = 2009, month = DAMP09:month,
	publisher = acm:pub,
	address = acm:addr,
	pages = "1-12"
        }

        @article{
allocation-wall,
	   author = {Zhao, Yi and Shi, Jin and Zheng, Kai and Wang, Haichuan and Lin, Haibo and Shao, Ling},
	   title = {Allocation wall: a limiting factor of Java applications on emerging multi-core platforms},
	   journal = OOPSLA:09,
	   volume = {44},
	   number = {10},
	   year = {2009},
	   issn = {0362-1340},
	   pages = {361--376},
	   doi = {http://doi.acm.org/10.1145/1639949.1640116},
	   publisher = {ACM},
	   address = {New York, NY, USA},
        }

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0