bib.bib

@book{c,
  title={The {C} Programming Language},
  author={Brian W. Kerninghan and Dennis M. Ritchie},
  publisher={Prentice Hall},
  edition={Second},
  theaddress={Upper Saddle River, New Jersey},
  theisbn={0-13-110362-8},
  year={1988}
}

@article{free_lunch,
    title={The free lunch is over: A fundamental turn toward concurrency in
    software},
    author={Herb Sutter},
    journal={Dr Dobb's Journel},
    volume=30,
    number=3,
    year={2005},
    month={March}
}

@book{balbaert:2012:go,
  title={The Way to Go: A Thorough Introduction to the Go Programming Language},
  author={Balbaert, Ivo.},
  isbn={9781469769165},
  OPTurl={http://books.google.com.au/books?id=oowq\_6bAgloC},
  year={2012},
  publisher={Textstream}
}

@misc{google:2012:go,
    title={The {G}o Programming Language Specification},
    note={retrived from \url{http://golang.org/ref/spec} on 2012-12-05},
    author={Google},
    year={2012}
}

@Book{erlang,
  author =    {Joe Armstrong},
  title =        {Concurrent Programming in {E}RLANG},
  publisher =    {Prentice Hall},
  year =         1996,
  edition =   {Second}}

@inproceedings{dph:2007:status_report,
 author = {Chakravarty, Manuel M. T. and Leshchinskiy, Roman and Jones, Simon Peyton and Keller, Gabriele and Marlow, Simon},
 title = {Data parallel {H}askell: a status report},
 booktitle = {Proceedings of the 2007 Workshop on Declarative Aspects of Multicore Programming},
 year = {2007},
 OPTisbn = {978-1-59593-690-5},
 pages = {10--18},
 address = {Nice, France},
 OPTdoi = {http://doi.acm.org/10.1145/1248648.1248652},
 thepublisher = {ACM, New York, New York},
 }

@inproceedings{dph:2008:harnessing_the_multicores,
 author = {Peyton Jones, Simon and Leshchinskly, Roman and Keller, Gabriele and Chakravarty, Manuel M. T.},
 title = {Harnessing the Multicores: Nested Data Parallelism in {Haskell}},
 booktitle = {Proceedings of the 6th Asian Symposium on Programming Languages and Systems},
 volume = {5356},
 year = {2008},
 OPTisbn = {978-3-540-89329-5},
 pages = {138},
 address = {Bangalore, India},
 OPTdoi = {http://dx.doi.org/10.1007/978-3-540-89330-1_10},
 publisher = {Springer-Verlag, Berlin, Heidelberg},
 series = {Lecture Notes in Computer Science},
 }

@InProceedings{clark:84:parlog_sys_prog,
  author =       {Keith Clark and Steve Gregory},
  title =        {Notes on systems programming in {PARLOG}},
  booktitle = {Proceedings of the International Conference on Fifth Generation
                  Computer Systems},
  pages =     {299--306},
  year =      1984,
  publisher = {ICOT}}

@article{clark:86:parlog,
        author =        {Keith Clark and Steve Gregory},
        title =         {{PARLOG}: parallel programming in logic},
        journal =       {ACM Transactions on Programming Languages and
                  Systems},
        year =          {1986},
        month =         {January},
        volume =        {8},
        number =        {1},
        pages =         {1--49}
}

@article{foster:1987:flat_parlog,
    author = {Ian Foster and Stephen Taylor},
    title = {{F}lat {P}arlog: A basis for comparison},
    journal = {International Journal of Parallel Programming},
    volume = {16},
    number = {2},
    pages = {87--125},
    year = {1987},
    month = {April},
    publisher = {Kluwer Academic Publishers-Plenum Publishers}
}

@phdthesis{ueda:ghc,
        author =        {Kazunori Ueda},
        title =         {{G}uarded {H}orn {C}lauses},
        year =          {March 1986},
        school =        {University of Tokyo}
}

@PhdThesis{saraswat85:probl_with_concur_prolog,
  author =       {Vijay A. Saraswat},
  title =        {Problems with {Concurrent} {Prolog}},
  school =       {Carnegie-Mellon University},
  year =         1985}

@Misc{saraswat86:concurrent_prolog_definition,
  author =    {Vijay A. Saraswat},
  title =     {The concurrent logic programming language {CP}:
                  Definition and Operational Semantics},
  howpublished = {Carnegie-Mellon University},
  month =     {September},
  year =      1986
}

This isn't a good reference.
Misc{shapiro:flat_concur_prolog,
  author =    {Ehud Shapiro},
  title =     {{Flat} {Concurrent} {Prolog} as a general-purpose
                  parallel machine language},
  howpublished = {The Weizmann Institute of Science},
  annote =    {This appears to be a hand-annotated paper, it has Lee
                  Naish's initials on it},
}

@article{taylor:flat_concur_prolog,
    author = {Stephen Taylor and Shmuel Safra and Ehud Shapiro},
    title = {A parallel implementation of {F}lat {C}oncurrent {P}rolog},
    journal = {International Journal of Parallel Programming},
    volume = {15},
    number = {3},
    pages = {245--275},
    year = {1986},
    month = {June},
    publisher = {Kluwer Academic Publishers-Plenum Publishers}
}

@article{boehm:1988:gc,
        author =        {Hans Boehm and Mark Weiser},
        title =         {Garbage collection in an uncooperative environment},
        journal =       {Software -- Practice and Experience},
        volume =        {18},
        year =          {1988},
        pages =         {807--820}
}

@inproceedings{amdahl:1967:law,
 author = {Amdahl, Gene M.},
 title = {Validity of the single processor approach to achieving large scale computing capabilities},
 booktitle = {Proceedings of the 1967 AFIPS Spring Joint Computer Conference},
 theseries = {AFIPS '67 (Spring)},
 year = {1967},
 address = {Atlantic City, New Jersey},
 pages = {483--485},
 numpages = {3},
 OPTurl = {http://doi.acm.org/10.1145/1465482.1465560},
 OPTdoi = {10.1145/1465482.1465560},
 acmid = {1465560},
 publisher = {ACM},
 theaddress = {New York, New York},
}


@Misc{mpi,
  key =       {Message Passing Interface Forum},
  author =    {{M}essage {P}assing {I}nterface {F}orum},
  title =     {{MPI}: A Message-Passing Interface Standard Version 2.2},
  month =     {September},
  year =      2009}

@book{pvm,
  title={PVM: Parallel Virtual Machine :a Users' Guide and Tutorial for Networked Parallel Computing},
  author={Geist, A.},
  isbn={9780262571081},
  lccn={94023404},
  series={Scientific and Engineering Computation},
  year={1994},
  publisher={MIT Press}
}

@misc{java-threads,
    author = {Oracle},
    title = {Concurrency},
    howpublished = {\url{http://docs.oracle.com/javase/tutorial/essential/concurrency/index.html}},
    year = {2012},
    month = {April}
}

@article{Dijkstra:Mutex,
 author = {Dijkstra, E. W.},
 title = {Solution of a problem in concurrent programming control},
 journal = {Communications of the {ACM}},
 issue_date = {September. 1965},
 volume = {8},
 number = {9},
 month = {September},
 year = {1965},
 OPTissn = {0001-0782},
 pages = {569--},
 OPTurl = {http://doi.acm.org/10.1145/365559.365617},
 OPTdoi = {10.1145/365559.365617},
 acmid = {365617},
 publisher = {ACM},
 address = {New York, New York},
}

@Misc{winthreads,
  author =    {Microsoft Corporation},
  title =     {Processes and Threads},
  howpublished = {\url{http://msdn.microsoft.com/en-us/library/ms684841}},
  key =       {Microsoft},
  month =     {April},
  year =      2012}

@book{butenhof1997:pthreads,
  title={Programming With Posix Threads},
  author={Butenhof, D.R.},
  isbn={9780201633924},
  lccn={97006635},
  series={Addison-Wesley Professional Computing Series},
  year={1997},
  publisher={Addison-Wesley}
}

@Article{intel-high-k,
  author =       {Mark T. Bohr and Robert S. Chau and Tahir Chani and Kaizad Mistry},
  title =        {The High-K Solution},
  journal =      {IEEE Spectrum},
  year =         2007,
  volume =    44,
  number =    10,
  pages =     {29--35},
  month =     {October}}

@Article{moore,
  author =       {Gordon E. Moore},
  title =        {Cramming more components onto integrated circuits},
  journal =      {Electronics},
  year =         1965,
  volume =    38,
  number =    8,
  month =     {April}}

@Article{trinder:98:strategies,
  author =   {Philip W. Trinder and Kevin Hammond and Hans-Wolfgang Loidl and Simon L. {Peyton Jones}},
  title =    {Algorithm + {S}trategy = {P}arallelism},
  journal =      {Journal of Functional Programming},
  year =     {1998},
  volume =   {8},
  number =   {1},
  month =    jan,
  pages =    {23--60},
  read =     "no",
  file =     "strategies.ps.gz"
}

@Article{lopez96:granularity,
  author =       {P. Lopez and M. Hermenegildo and S. Debray},
  title =        {A methodology for granularity-based control of parallelism in logic programs},
  journal =      {Journal of Symbolic Computation},
  year =         1996,
  volume =    22,
  number =    4,
  pages =     {715--734},
  read = "yes",
  file = "ciao_granuality.pdf"
}


@article{hermenegildo_ciao,
  author =    {M. Hermenegildo and F. Bueno and D. Cabeza and M. Carro
  and M. Garc\'ia de la Banda and P. Lopez and G. Puebla},
  title =     {The {CIAO} Multi-Dialect Compiler and System: An
    Experimentation Workbench for Future {(C)LP} Systems},
  journal={Parallelism and Implementation of Logic and Constraint Logic Programming},
  pages={65--85},
  year = {1999},
  thefile = "Ciao.ps",
  theread = "yes"
}

@article{harris_07_feedback_imp_par,
 author = {Tim Harris and Satnam Singh},
 title = {Feedback directed implicit parallelism},
 journal = {SIGPLAN Notices},
 volume = {42},
 number = {9},
 year = {2007},
 OPTissn = {0362-1340},
 pages = {251--264},
 OPTdoi = {http://doi.acm.org/10.1145/1291220.1291192},
 publisher = {ACM},
 address = {New York, New York},
 read = "yes",
 file = "harris-sing_feedback-directed-implicit-parallelism.pdf"
}

@InProceedings{shen_98_granularity-control,
  author = {Shen, Kish and Costa, V\'{\i}tor Santos and King, Andy},
  title = {Distance: a new metric for controlling granularity for parallel execution},
  booktitle = {Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming},
  year = {1998},
  OPTisbn = {0-262-60031-5},
  address = {Manchester, United Kingdom},
  pages = {85--99},
  numpages = {15},
  OPTurl = {http://portal.acm.org/citation.cfm?id=299315.300851},
  theacmid = {300851},
  publisher = {MIT Press},
  theaddress = {Cambridge, Massachusetts}
}

@Misc{soper_improv_logic_languag_compil,
  author =    {P. J. Soper and A. M. King and M. Longley},
  title =     {Improving Logic Language Compilers},
  file =      {king_imporving-logic-language-compilation.pdf},
  read =      {no},
}

@Misc{king:_sched_analy_of_concur_logic_progr,
  author =    {Andy King and Paul Soper},
  title =     {Schedule Analysis of Concurrent Logic Programs},
  file =      {king_schedule-analysis-of-lp.ps},
  read =      {yes}
}

@InProceedings{king:lower_bound_time_complexity,
    author = {Andy King and Kish Shen and Florence Benoy},
    title = {Lower-bound Time-complexity Analysis of Logic Programs},
    booktitle = {Proceedings of the 1997 International Symposium on logic Programming},
    series = {ILPS '97},
    year = {1997},
    OPTisbn = {0-262-63180-6},
    address = {Port Washington, New York},
    pages = {261--275},
    OPTnumpages = {15},
    OPTurl = {http://dl.acm.org/citation.cfm?id=271338.271391},
    OPTacmid = {271391},
    publisher = {MIT Press},
    theaddress = {Cambridge, Massachusetts}
} 

@MastersThesis{tannier:2007:parallel_mercury,
  author =       {J\'er\"ome Tannier},
  title =        {Parallel {Mercury}},
  school =       {Institut d'informatique,
                  Facult\'es Universitaires Notre-Dame de la Paix},
  address =      {21, rue Grandgagnage,
                  B-5000 Namur, Belgium},
  year =         2007,
  file =         {tannier_07_parallel_mercury.ps},
  read =         {yes}
}

@InProceedings{jones_08_data-par-haskell,
  author =       {Simon Peyton Jones and Roman Leshchinskiy and Gabriele Keller and Manuel M. T. Chakravarty},
  title =        {Harnessing the Multicores: Nested Data Parallelism in {Haskell}},
  booktitle = {Proceedings of the Annual Conference on Foundations of Software Technology and Theoretical Computer Science},
  year =      2008,
  editor =    {R. Hariharan and M. Mukund and V. Vinay},
  address =   {Bangalore, India},
  month =     {October},
  file =      {jones_08_data-par-haskell.pdf},
  abstract =  {If you want to program a parallel computer, a purely
                  functional language like Haskell is a promising
                  starting point. Since the language is pure, it is
                  by-default safe for parallel evaluation, whereas
                  imperative languages are by-default unsafe. But that
                  doesn't make it easy! Indeed it has proved quite
                  difficult to get robust, scalable performance
                  increases through parallel functional programming,
                  especially as the number of processors increases. A
                  particularly promising and well-studied approach to
                  employing large numbers of processors is data
                  parallelism. Blelloch's pioneering work on NESL
                  showed that it was possible to combine a rather
                  flexible programming model (nested data parallelism)
                  with a fast, scalable execution model (flat data
                  parallelism). In this paper we describe Data
                  Parallel Haskell, which embodies nested data
                  parallelism in a modern, general-purpose language,
                  implemented in a state-of-the-art compiler, GHC. We
                  focus particularly on the vectorisation
                  transformation, which transforms nested to flat data
                  parallelism.},
  read =      {yes},
  notes =     {A good paper, sadly no results section on the
                  performance of this implementation.

               It makes some
                  interesting points about locality of reference,
                  especially when an algorithm can be parallelised in
                  multiple ways.

               The code transformations are quite
                  in depth and in some cases difficult to follow.  The
                  representation of data parallel arrays with regard
                  to locality of reference and memory bandwith is
                  excelent.  This un-parametric type transformation
                  may be useful in Mercury.  When tuples are stored in
                  an array the use of multiple arrays is interesting
                  and gives some nice speed improvments for zip/unzip.

               Some interesting discussion about inlineing, map/map
                  transformations and join (split ..) transformations
                  towards the end.  These impact on how work is balanced
                  between threads.}

}

@TechReport{blelloch:95:nesl,
  author =       {Guy Blelloch},
  title =        {{NESL}: A Nested Data-Parallel Language. (Version 3.1),},
  institution =  {Carnegie-Mellon University, School of Computer Science},
  year =         1995,
  number =    {CMU-CS-95-170},
  address =   {Pittsburgh, Pennsylvania},
  month =     {September}}

@inproceedings{diplcl99,
  title = "Mozart: {A} Programming System for Agent Applications",
  year = {1999},
  author = {Peter Van Roy and Seif Haridi},
  abstract = {The Mozart Programming System is a development platform
 designed for distributed programming,
 symbolic computation, and constraint-based inferencing.
 This article gives a survey of
 the abilities of Mozart
 for open, concurrent, resource-aware distributed computing.
 We show by example how easy it is to
 develop applications with these properties.
 This makes Mozart particularly well-suited
 for building agent applications.
 We give a summary of some current
 agent-based projects in Mozart.},
  booktitle = "Proceedings of the International Workshop on Distributed and
  Internet Programming with Logic and Constraint Languages",
  month = nov,
  note = "Part of International Conference on Logic Programming (ICLP 99)",
  sline = {2190},
  label = {diplcl99},
  file = {diplcl99.ps.gz}
}

@article{Toplas:99,
  title = {Efficient Logic Variables for Distributed Computing},
  year = {1999},
  author = {Seif Haridi and Peter Van Roy and Per Brand and Michael Mehl and Ralf Scheidhauer and Gert Smolka},
  abstract = {We define a practical algorithm for distributed rational tree unification and prove its correctness in both the off-line and on-line
 cases.  We derive the distributed algorithm from a centralized one,
 showing clearly the trade-offs between local and distributed
 execution.  The algorithm is used to realize logic variables in the
 Mozart Programming System, which implements the Oz language
 (see http://www.mozart-oz.org/).
 Oz appears to the programmer as
 a concurrent object-oriented language with dataflow synchronization.
 Logic variables implement the dataflow behavior.  We
 show that logic variables can easily be added to the more restricted
 models of Java and ML, thus providing an alternative way to do
 concurrent programming in these languages.  We present common
 distributed programming idioms in a network-transparent way using
 logic variables.  We show that in common cases the algorithm maintains
 the same message latency as explicit message passing.  In addition, it
 is able to handle uncommon cases that arise from the properties of
 latency tolerance and third-party independence.  This is evidence that
 using logic variables in distributed computing is beneficial at both
 the system and language levels.  At the system level, they improve
 latency tolerance and third-party independence.  At the language
 level, they help make network-transparent distribution practical.},
  volume = 21,
  journal = {ACM Transactions on Programming Languages and Systems},
  number = 3,
  month = may,
  pages = {569--626},
  sline = {3111},
  project-key = {C1},
  label = {TOPLAS99},
  file = {TOPLASS99.gs.ps}
}

@inproceedings{brus:1987:clean,
  author = {Brus, T. and M.C.J.D. van Eekelen and M. van Leer and M.J. Plasmeijer and
  H.P. Barendregt},
  title = {{CLEAN} - A Language for Functional Graph Rewriting},
  booktitle = {Proceedings of the Conference on Functional Programming Languages and
  Computer Architecture},
  address = {Portland, Oregon},
  publisher = {Springer-Verlag},
  series = {Lecture Notes on Computer Science},
  volume = {274},
  pages = {364--384},
  year = {1987}
}

@inproceedings{1991:concurrent-clean,
 author = {N\"{o}cker, E. G. J. M. H. and Smetsers, J. E. W. and Eekelen, Marko C. J. D. van and Plasmeijer, Marinus J.},
 title = {Concurrent Clean},
 booktitle = {Proceedings of Parallel Architectures and Languages Europe 1991},
 year = {1991},
 volume = {506},
 OPTisbn = {3-540-54152-7},
 pages = {202--219},
 publisher = {Springer-Verlag},
 address = {London, United Kingdom},
 read = "no",
 }

@article{2005:eden-parallel-fp,
 author = {Loogen, Rita and Ortega-mall\'{e}n, Yolanda and Pe\,
{n}a-mar\'{\i}, Ricardo},
 title = {Parallel functional programming in Eden},
 journal = {J. Funct. Program.},
 volume = {15},
 number = {3},
 year = {2005},
 OPTissn = {0956-7968},
 pages = {431--475},
 OPTdoi = {http://dx.doi.org/10.1017/S0956796805005526},
 publisher = {Cambridge University Press},
 address = {New York, New York},
 read = "no",
 file = "eden-parallel-fp.pdf",
 }

@article{trinder_loidl_pointon:2002:haskell-par-dist,
 author = {Trinder, P. W. and Loidl, H.-W. and Pointon, R. F.},
 title = {Parallel and Distributed {Haskells}},
 journal = {J. Funct. Program.},
 volume = {12},
 number = {5},
 year = {2002},
 OPTissn = {0956-7968},
 pages = {469--510},
 OPTdoi = {http://dx.doi.org/10.1017/S0956796802004343},
 publisher = {Cambridge University Press},
 address = {New York, New York},
 read = "no",
 missing = "yes",
 }

@inproceedings{2008:eden-lphg-parallelism,
 author = {Al Zain, Abdallah Deeb I. and Hammond, Kevin and Berthold, Jost and Trinder, Phil and Michaelson, Greg and Aswad, Mustafa},
 title = {Low-pain, high-gain multicore programming in {Haskell}: coordinating irregular symbolic computations on multicore architectures},
 booktitle = {Proceedings of the 4th workshop on Declarative aspects of multicore programming},
 year = {2008},
 OPTisbn = {978-1-60558-417-1},
 pages = {25--36},
 address = {Savannah, Georgia, USA},
 OPTdoi = {http://doi.acm.org/10.1145/1481839.1481843},
 publisher = {ACM},
 theaddress = {New York, New York},
 read = "no",
 file = "eden-lphg-parallelism",
 }


@Misc{blair-chappell10:_what_paral_progr_reall_reall_want,
  author =    {Stephen Blair-Chappell},
  title =     {What parallel programmers really really want...},
  howpublished = {Intel Software Blogs},
  month =     {March},
  year =      2010,
  note =      {http://software.intel.com/en-us/blogs/2010/03/15/what-parallel-programmers-really-really-want}
}

@phdthesis{conway:2002:par,
    author =    {Thomas Conway},
    title =     {Towards parallel {Mercury}},
    OPTurl =    {http://www.mercurylang.org/information/papers.html\#conway-thesis},
    year =      {2002},
    month =     {July},
    school =    {Department of Computer Science and Software
                  Engineering, The University of Melbourne},
    address =       {Melbourne, Australia}
}

@TechReport{wang:2006:hons,
  author =       {Peter Wang},
  title =        {Parallel {Mercury}},
  institution =  {Department of Computer Science and Software
                  Engineering, The University of Melbourne},
  year =         2006,
  type =      {Honours Thesis},
  month =     {October},
  address =       {Melbourne, Australia}}


@article{mercury_jlp,
    author =    {Zoltan Somogyi and Fergus Henderson and Thomas
                  Conway},
    title =     {The execution algorithm of {Mercury}, an efficient
                  purely declarative logic programming language},
    journal =   {Journal of Logic Programming},
    volume =    {26},
    number =    {1--3},
    month =     {October-December},
    year =      {1996},
    pages =     {17--64}
}

@InProceedings{ross:mercury-lcmc,
    author = {Peter Ross and David Overton and Zoltan Somogyi},
    title = {Making {M}ercury programs tail recursive},
    booktitle = {Proceedings of the Ninth International Workshop on
    Logic-based Program Synthesis and Transformation},
    address = {Venice, Italy},
    month = {September},
    year = {1999},
    theseries = {Lecture Notes in Computer Science},
    thepublisher = {Springer Verlag}
}

@techreport{conway:2001:mercury-deep,
    author =        {Thomas Conway and Zoltan Somogyi},
    title =         {Deep profiling: engineering a profiler for a
                  declarative programming language},
    year =          2001,
    month =         {July},
    institution =   {Department of Computer Science and Software
                  Engineering, University of Melbourne},
    address =       {Melbourne, Australia}

}

% Maybe remove this reference since it's online.
@misc{tutorial,
        author =        {Ralph Becket},
        title =         {Mercury tutorial},
        year =          {1999},
        note =          {Available from
	{http://www.mercurylang.org/information/documentation.html}}
}

@misc{mercury_refman,
	author =	{Fergus Henderson and Thomas Conway and Zoltan
                  Somogyi and David Jeffery and Peter Schachte and
                  Simon Taylor and Chris Speirs and Tyson Dowd and
                  Ralph Becket and Mark Brown},
	title =		{The {M}ercury language reference manual, version 10.04},
	howpublished  = "Available from
        {http://www.mercurylang.org/information/documentation.html}",
	year =		{2010}
}



@Article{zinc,
  author =       {Kim Marriott and Nicholas Nethercote and Reza Rafeh
                  and Peter J. Stuckey and Maria Garc\'ia de la Banda
                  and Mark Wallace},
  title =        {The Design of the {Zinc} Modelling Language},
  journal =      {Constraints},
  year =         2008,
  volume =    13,
  number =    3,
  pages =     {229-267},
  month =     {September}}


@TechReport{mercury-stm,
  author =       {Leon Mika},
  title =        {Software transactional memory in {Mercury}},
  institution =  {Department of Computer Science and Software Engineering,
                  Melbourne University},
  year =         2007,
  address =   {Melbourne, Australia},
  month =     {October}
}

@InProceedings{harris:2005:haskell-stm,
  author =       {Tim Harris and Simon Marlow and Simon Peyton-Jones
                  and Maurice Herlihy},
  title =        {Composable memory transactions},
  booktitle = {Proceedings of the Tenth {ACM} {SIGPLAN} {Symposium} on the {Principles}
                  and {Practice} of {Parallel} {Programming}},
  pages =     {48-60},
  year =      2005
}

@article{stm,
    title={Software transactional memory},
    author={Shavit, Nir and Touitou, Dan},
    journal={Distributed Computing},
    volume={10},
    number={2},
    year={1997},
    publisher={Springer-Verlag},
    pages={99-116}
}

@inproceedings{threadscope,
 author = {Jones,Jr., Don and Marlow, Simon and Singh, Satnam},
 title = {Parallel performance tuning for {Haskell}},
 booktitle = {Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell},
 year = {2009},
 OPTisbn = {978-1-60558-508-6},
 pages = {81--92},
 address = {Edinburgh, Scotland},
 OPTdoi = {http://doi.acm.org/10.1145/1596638.1596649}
}

@inproceedings{wang:2011:dep-par,
  author =      {Peter Wang and Zoltan Somogyi},
  title =       {Minimizing the overheads of dependent {AND}-parallelism},
  booktitle =   {Proceedings of the 27th International Conference on Logic Programming},
  address = 	{Lexington, Kentucky},
  year =        2011
}

@TechReport{bone:2008:hons,
  author =       {Paul Bone},
  title =        {Calculating likely Parallelism within Dependant
                  Conjunctions for Logic Programs},
  institution =  {University of Melbourne},
  year =         2008,
  type =      {Honours Thesis},
  address =   {Melbourne, Australia},
  month =     {October}}

@article{bone:2011:overlap,
  author={Paul Bone and Zoltan Somogyi and Peter Schachte},
  title = "Estimating the overlap between dependent computations for automatic parallelization",
  journal = "Theory and Practice of Logic Programming",
  volume = "11",
  number = "4--5",
  pages = "575--591",
  year = "2011",
  OPTurl = "http://www.csse.unimelb.edu.au/~schachte/papers/overlap.pdf",
}

@inproceedings{bone:2011:tscope,
    author = {Paul Bone and Zoltan Somogyi},
    title = {Profiling parallel {M}ercury programs with {T}hread{S}cope},
    booktitle = {Proceedings of the 21st Workshop on Logic-based methods in
        Programming Environments (WLPE 2011)},
    year = {2011},
    month = {July},
    OPTeditor = {Peter Schneider-Kamp},
    pages = {32--46}
}

@inproceedings{bone:2012:loop_control,
    author =       {Paul Bone and Zoltan Somogyi and Peter Schachte},
    title =        {Controlling Loops in Parallel {M}ercury Code},
    booktitle = {Proceedings of the International Conference on Declarative Aspects and Applications of Multicore Programming},
    year =      2012,
    address =   {Philadelphia, Pennsylvania},
    month =     {January}
}

@article{simonmar_2009_multicore_rts,
 author = {Simon Marlow and Simon Peyton\ Jones and Satnam Singh},
 title = {Runtime support for multicore {H}askell},
 journal = {SIGPLAN Notices},
 volume = {44},
 number = {9},
 year = {2009},
 OPTissn = {0362-1340},
 pages = {65--78},
 OPTdoi = {http://doi.acm.org/10.1145/1631687.1596563}
 }

@inproceedings{gprof,
        author =       "S. L. Graham and P. B. Kessler and M. K. McKusick",
        title =        "gprof: a call graph execution profiler",
        booktitle =    "Proceedings of the 1982 SIGPLAN Symposium on Compiler
                        Construction",
        month =        jun,
        year =         "1982",
        address =     "Boston, Massachusetts",
        pages =        "120--126"
}

@inproceedings{Chase_2005_wsdeque,
 author = {David Chase and Yossi Lev},
 title = {Dynamic circular work-stealing deque},
 booktitle = {Proceedings of the seventeenth annual ACM Symposium on Parallelism in algorithms and architectures},
 series = {SPAA '05},
 year = {2005},
 OPTisbn = {1-58113-986-1},
 address = {Las Vegas, Nevada},
 pages = {21--28},
 numpages = {8},
 OPTurl = {http://doi.acm.org/10.1145/1073970.1073974},
 OPTdoi = {http://doi.acm.org/10.1145/1073970.1073974},
 acmid = {1073974},
 publisher = {ACM},
 theaddress = {New York, New York},
 keywords = {deque, load balancing, lock-free, work stealing},
}

@inproceedings{arora:1998:work-stealing,
 author = {Arora, Nimar S. and Blumofe, Robert D. and Plaxton, C. Greg},
 title = {Thread scheduling for multiprogrammed multiprocessors},
 booktitle = {Proceedings of the Tenth Annual ACM symposium on Parallel Algorithms and Architectures},
 series = {SPAA '98},
 year = {1998},
 OPTisbn = {0-89791-989-0},
 address = {Puerto Vallarta, Mexico},
 pages = {119--129},
 numpages = {11},
 OPTurl = {http://doi.acm.org/10.1145/277651.277678},
 OPTdoi = {10.1145/277651.277678},
 acmid = {277678},
 thepublisher = {ACM},
 theaddress = {New York, New York},
} 

@inproceedings{von_Praun:2007:implicit_parallelism_with_ordered_transactions,
 author = {von Praun, Christoph and Ceze, Luis and Ca\c{s}caval, Calin},
 title = {Implicit parallelism with ordered transactions},
 booktitle = {Proceedings of the 12th Symposium on Principles and Practice of Parallel Programming},
 year = {2007},
 OPTisbn = {978-1-59593-602-8},
 address = {San Jose, California},
 pages = {79--89},
 numpages = {11},
 OPTurl = {http://doi.acm.org/10.1145/1229428.1229443},
 OPTdoi = {http://doi.acm.org/10.1145/1229428.1229443},
 acmid = {1229443},
 keywords = {implicit parallelism, ordered transactions, parallel programming, program parallelization, thread-level speculation, transactional memory},
}

@article{DBLP:journals/jlp/MuthukumarBBH99,
  author    = {Kalyan Muthukumar and
               Francisco Bueno and
               Maria J. Garc\'{\i}a de la Banda and
               Manuel V. Hermenegildo},
  title     = {Automatic Compile-Time Parallelization of Logic Programs
               for Restricted, Goal Level, Independent {AND}-Parallelism},
  journal   = {Journal of Logic Programming},
  volume    = {38},
  number    = {2},
  year      = {1999},
  pages     = {165-218},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/tcs/GrasH09,
  author    = {Daniel Cabeza Gras and
               Manuel V. Hermenegildo},
  title     = {Non-strict independence-based program parallelization using
               sharing and freeness information},
  journal   = {Theoretical Computer Science},
  volume    = {410},
  number    = {46},
  year      = {2009},
  pages     = {4704-4723},
  ee        = {http://dx.doi.org/10.1016/j.tcs.2009.07.044},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/lopstr/CasasCH07,
  author    = {Amadeo Casas and
               Manuel Carro and
               Manuel V. Hermenegildo},
  title     = {Annotation Algorithms for Unrestricted Independent {AND}-Parallelism
               in Logic Programs},
  booktitle = {Proceedings of the 17th International Symposium on
  		Logic-based Program Synthesis and Transformation},
  address   = {Lyngby, Denmark},
  year      = {2007},
  pages     = {138-153},
  ee        = {http://dx.doi.org/10.1007/978-3-540-78769-3_10},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{Hermenegildo1995,
	title = "Strict and nonstrict independent {AND}-parallelism in logic programs: Correctness, efficiency, and compile-time conditions",
	journal = "Journal of Logic Programming",
	volume = "22",
	number = "1",
	pages = "1--45",
	year = "1995",
	note = "",
	OPTissn = "0743-1066",
	OPTdoi = "DOI: 10.1016/0743-1066(93)00007-F",
	OPTurl = "http://www.sciencedirect.com/science/article/B6V0J-3YCMH4N-4/2/c0e3b963abba213093f4148b5a2351dd",
	author = "Manuel V. Hermenegildo and Francesca Rossi"
}

@INPROCEEDINGS{bevemyr:reform,
	AUTHOR = "Johan Bevemyr and Thomas Lindgren and Håkan Millroth",
	TITLE = "{R}eform {P}rolog: the language and its implementation",
	booktitle = "Proceedings of the Tenth International Conference on
		Logic Programming",
	PAGES = {283--298},
	YEAR = {1993},
	ADDRESS = "Budapest, Hungary"
}

@INPROCEEDINGS{Pontelli97automaticcompile-time,
	author = {Enrico Pontelli and Gopal Gupta and Francesco Pulvirenti and
		Alfredo Ferro},
	title = {Automatic Compile-Time Parallelization of Prolog Programs for
		Dependent {AND}-Parallelism},
	booktitle = {Proceedings of the 14th International Conference on Logic Programming},
	year = {1997},
	pages = {108--122},
	address = {Leuven, Belgium}
}

@techreport{pontelli:1996:nondet-and-par,
	author = {Enrico Pontelli and Gopal Gupta},
    title = {Non-determinate Dependent And-Parallelism Revisited},
    institution = {Laboratory for Logic, Databases, and Advanced
        Programming; New Mexico State University},
    address = {Las Cruces, New Mexico},
    year = 1996,
    month = {February}
}

@article{shen:1996:daswam,
    author = {Kish Shen},
    title = {Overview of {DASWAM}: Exploitation of dependent {AND}-parallelism},
    journal = {The Journal of Logic Programming},
    volume = {29},
    number = {1--3},
    year = {1996},
    month = {October--December},
    pages = {245--293},
    thepublisher = {Elsevier}
}

@InProceedings{edentraceviewer,
  author =       {Jost Berthold and Rita Loogen},
  title =        {Visualizing parallel functional program runs: Case
                  studies with the {E}den trace viewer},
  booktitle = {Proceedings of the International Conference
                  {P}ar{C}o 2007},
  year =      2007,
  series =    {Parallel Computing: Architectures, Algoritthms and Applications},
  address =   {J\"ulich, Germany}}
}

@PhdThesis{loidl98:gransim,
  author = {Hans Wolfgang Loidl},
  title =  {Granularity in Large-Scale Parallel Functional Programming},
  school = {Department of Computer Science, University of {G}lasgow},
  year =   1998,
  month =  {March}}

@InProceedings{runciman93:profilingparfp,
  author =       {Colin Runciman and David Wakeling},
  title =        {Profiling parallel functional computations (without
                  parallel machines)},
  booktitle = {Proceedings of the Glasgow Workshop on Functional Programming},
  year =      1993,
  month =     {July},
  publisher = {Springer}
}

@INPROCEEDINGS{vace,
	author = { R. Vaupel and E. Pontelli and G. Gupta},
	title = {Visualization of {And/Or}-parallel execution
		of logic programs},
	booktitle = {Proceedings of the 14th International Conference
		on Logic Programming},
	month = {July},
	year = {1997},
	pages = {271--285},
	address = {Leuven, Belgium}
}

@ARTICLE{Foster96,
	author = {Ian Foster},
	title = {Compositional Parallel Programming Languages},
	journal = {ACM Transactions on Programming Languages and Systems},
	year = {1996},
	volume = {18},
    number = {4},
	pages = {454--476}
}

@ARTICLE{Gupta95parallelexecution,
	author = {Gopal Gupta and Khayri A. M. Ali and Mats Carlsson
		and Manuel V. Hermenegildo},
	title = {Parallel Execution of {P}rolog Programs: A Survey},
	journal = {ACM Transactions on Programming Languages and Systems},
	year = {1995},
	volume = {23},
	pages = {2001}
}

@InProceedings{gph:gum,
  author = 	 {Philip W. Trinder and Kevin Hammond and James
S. {Mattson Jr.} and Andrew S. Partridge and Simon L. {Peyton Jones}},
  title = 	 {{GUM}: a portable parallel implementation of {H}askell},
  booktitle = 	 {Proceedings of Programming Language Design and Implementation},
  month = 	 may,
  year = 	 {1996},
  address = 	 {Philadephia, Pennsylvania}
}

@InBook{loidi:2008:gph-semiexplicit-parallelism,
  author =    {Loidl H.W and Trinder P.W and Hammond K and Al Zain A and Baker-Finch C },
  title =        {Process Algebra for Parallel and Distributed Processing},
  chapter =      {Semi-Explicit Parallel Programming in a Purely Functional Style: GpH},
  publisher =    {Chapman Hall},
  year =         2008,
  isbn =         {978-1420064865},
  file =         {loidi_2008_gph-semiexplicit-parallelism.pdf},
  read =         {yes},
  comments =     {Nothing new since trinder_98_statergies except for some perfomance tweeks,
                  This is not implicit parallelism at all},
}

@inproceedings{harris:2005:haskell-smp,
    author = {Tim Harris and Simon Marlow and Simon Peyton-Jones},
    title = {{H}askell on a Shared Memory Multiprocessor},
    booktitle = {Proceedings of the 2005 ACM SIGPLAN workshop on Haskell},
    pages = {49--61},
    address = {Tallinn, Estonia},
    publisher = {ACM},
    year = {2005},
    month = {September}
}

@article{harris_singh:haskell-auto-par,
 author = {Tim Harris and Satnam Singh},
 title = {Feedback directed implicit parallelism},
 journal = {SIGPLAN Notices},
 volume = {42},
 number = {9},
 year = {2007},
 OPTissn = {0362-1340},
 pages = {251--264},
 OPTdoi = {http://doi.acm.org/10.1145/1291220.1291192},
 publisher = {ACM},
 address = {New York, New York},
 }

@Book{haskell98,
  editor =    {Simon Peyton Jones},
  title =        {Haskell 98 language and libraries: the revised report},
  publisher =    {Cambridge University Press},
  year =         2003,
  edition =   {Fourth}}

@Article{hindley69:types,
  author =       {R. Hindley},
  title =        {The principal type-scheme of an object in combinatory logic},
  journal =      {Transactions of the {A}merican {M}athematical {S}ociety},
  year =         1969,
  volume =    146,
  pages =     {29--60},
  month =     {December}}

@article{milner78:types,
  title = "A theory of type polymorphism in programming",
  journal = "Journal of Computer and System Sciences",
  volume = "17",
  number = "3",
  pages = "348--375",
  year = "1978",
  OPTissn = "0022-0000",
  OPTdoi = "10.1016/0022-0000(78)90014-4",
  OPTurl = "http://www.sciencedirect.com/science/article/pii/0022000078900144",
  author = "Robin Milner"
}

@article{marlow:monadpar,
 author = {Marlow, Simon and Newton, Ryan and Peyton Jones, Simon},
 title = {A monad for deterministic parallelism},
 journal = {SIGPLAN Notices},
 issue_date = {December 2011},
 volume = {46},
 number = {12},
 month = sep,
 year = {2011},
 OPTissn = {0362-1340},
 pages = {71--82},
 numpages = {12},
 OPTurl = {http://doi.acm.org/10.1145/2096148.2034685},
 OPTdoi = {10.1145/2096148.2034685},
 acmid = {2034685},
 publisher = {ACM},
 address = {New York, New York},
 keywords = {haskell, parallel},
}

@TechReport{mika:mercury-stm,
  author =       {Leon Mika},
  title =        {Software transactional memory in {Mercury}},
  institution =  {Department of Computer Science and Software Engineering,
                  Melbourne University},
  year =         2007,
  address =   {Melbourne, Australia},
  month =     {October}}

@Article{openmp,
  author =       {L. Dagum and P. Menon},
  title =        {{OpenMP}: an industry standard {API} for shared-memory programming},
  journal =      {Computational Science \& Engineering, IEEE},
  year =         1998,
  volume =    5,
  number =    1,
  pages =     {46--55},
  month =     {Janurary--March}}

@article{feo:1990:sisal-report,
	author =	{John T. Feo and David C. Cann and Rodney R. Oldehoeeft},
	title =		{A report on the {S}isal language project},
	journal =	{Journal of Parallel and Disributed Computing},
	year =		{1990},
	volume =	{10},
	pages =		{349--366}
}

@article{modedghc,
	author =	{Kazunori Ueda and Masao Morita},
	title =		{Moded {F}lat {GHC} and its message-oriented
			implementation technique},
	journal =	{New Generation Computing},
	year =		{1994},
	volume =	{13},
	number =	{1},
	pages =		{3--43}
}

@article{essurvey,
	author =	{Ehud Shapiro},
	title =		{A family of concurrent logic programming languages},
	journal =	{Computing Surveys},
	year =		{September 1989},
	volume =	{21},
	number =	{3}
}

@article{kgsurvey,
	author =	{Jacques Chassin de Kergommeaux and Philippe Codognet},
	title =		{Parallel logic programming systems},
	journal =	{Computing Surveys},
	year =		{September 1994},
	volume =	{26},
	number =	{3}
}

@article{gsurvey,
	author =	{Gopal Gupta and Enrico Pontelli and Khayri A.M. Ali
			and Mats Carlsson and Manuel V. Hermenegildo},
	title =		{Parallel execution of {Prolog} programs: a survey},
	journal =	{ACM Transactions on Programming Languages and Systems},
	year =		{July 2001},
	volume =	{23},
	number =	{2}
}

@inproceedings{andorra,
	author =	{Vitor Santos Costa and David H. D. Warren
			and Rong Yang},
	title =		{Andorra {I}: a parallel {P}rolog system that
			transparently exploits
			both {AND}- and {OR}-parallelism},
	booktitle =	{Proceedings of the Third ACM Symposium on the
			Principles and Practice of Parallel Programming},
	address =	{Williamsburg, Virginia},
	pages =		{83--93},
	year =		{1991}
}

@article{gupta01:optimization_for_parallel_nodet_code,
  author    = {Gopal Gupta and
p               Enrico Pontelli},
  title     = {Optimization schemas for parallel implementation of non-deterministic
               languages and systems},
  journal   = {Software: Practice and Experience},
  volume    = {31},
  number    = {12},
  year      = {2001},
  pages     = {1143-1181},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@Book{gcc,
  author    = {Richard M. Stallman and others},
  title     = {Using The {GNU} {C}ompiler {C}ollection},
  publisher = {GNU Press},
  address =   {Boston, Massachusetts},
  url       = {http://gcc.gnu.org/onlinedocs/}
}

@inproceedings{mdb,
    title = "The Implementation Technology of the {M}ercury Debugger",
    booktitle = {Proceedings of the Tenth Workshop on Logic Programming
    Environments},
    thejournal = "Electronic Notes in Theoretical Computer Science",
    thevolume = "30",
    thenumber = "4",
    pages = "256 - 275",
    year = "2000",
    thenote = "WLPE'99, Tenth Workshop on Logic Programming Environments (in connection with ICLP'99, International Conference on Logic Programming)",
    OPTissn = "1571-0661",
    OPTdoi = "10.1016/S1571-0661(05)80661-9",
    OPTurl = "http://www.sciencedirect.com/science/article/pii/S1571066105806619",
    author = "Zoltan Somogyi and Fergus Henderson"
}

% This is the best reference I can find for the prolog port model.
@Book{adventures_in_prolog,
  author =    {Dennis Merritt},
  title =        {Adventures in {Prolog}},
  publisher =    {Amzi! inc.},
  year =         2004,
  address =   {5861 Greentree Road, Lebanon, OH 45036 U.S.A.},
  month =     {March}}

% I can't find this paper either, but Peter tells me it's the correct one
% for box-model.
@techreport{box-model,
    title={Prolog debugging facilities},
    author={Lawrence Byrd},
    institution={Department of Artificial Intelligence,
      Edinburgh University},
    year={1980}
}

% I can't find this paper.
@inproceedings{box-model2,
  title =        "Understanding the control flow of {P}rolog programs",
  author =       "Lawrence Byrd",
  booktitle =    "Proceedings of the 1980 Logic Programming Workshop",
  address =      "Debrecen, Hungary",
  month =    {July},
  year =         "1980",
  pages =    "127--138"
}

@inproceedings{blumofe:1994:work-stealing,
 author = {Blumofe, R. D. and Leiserson, C. E.},
 title = {Scheduling multithreaded computations by work stealing},
 booktitle = {Proceedings of the 35th Annual Symposium on Foundations of Computer Science},
 series = {SFCS '94},
 year = {1994},
 OPTisbn = {0-8186-6580-7},
 pages = {356--368},
 numpages = {13},
 OPTurl = {http://dx.doi.org/10.1109/SFCS.1994.365680},
 OPTdoi = {10.1109/SFCS.1994.365680},
 acmid = {1398998},
 publisher = {IEEE Computer Society},
 address = {Washington, District of Columbia},
 keywords = {folk wisdom, multithreaded computations scheduling, work stealing, parallel computers, dynamic MIMD-style computation, minimum serial execution time},
}

@article{blumofe:1999:work-stealing,
 author = {Blumofe, Robert D. and Leiserson, Charles E.},
 title = {Scheduling multithreaded computations by work stealing},
 journal = {J. ACM},
 issue_date = {Sept. 1999},
 volume = {46},
 number = {5},
 month = sep,
 year = {1999},
 OPTissn = {0004-5411},
 pages = {720--748},
 numpages = {29},
 OPTurl = {http://doi.acm.org/10.1145/324133.324234},
 OPTdoi = {10.1145/324133.324234},
 acmid = {324234},
 publisher = {ACM},
 address = {New York, New York},
 keywords = {critical-path length, multiprocessor, multithreading, randomized algorithm, thread scheduling, work stealing},
}

% This is the paper I keep citing for futures, but it's not the one Wang cited.
@inproceedings{halstead:1984:multilisp,
    author =    {Robert H. Halstead},
    title =     {Implementation of {MultiLisp}: {L}isp on a multiprocessor},
    booktitle = {Proceedings of the 1984 ACM Symposium on
            	List and Functional Programming},
    address =   {Austin, Texas},
    pages =     {9--17},
    year =      {1984}
}

@article{halstead:1985:multilisp,
 author = {Halstead,Jr., Robert H.},
 title = {{MultiLisp}: a language for concurrent symbolic computation},
 journal = {ACM Transactions on Programming Languages and Systems},
 issue_date = {Oct. 1985},
 volume = {7},
 number = {4},
 month = Oct,
 year = {1985},
 OPTissn = {0164-0925},
 pages = {501--538},
 numpages = {38},
 OPTurl = {http://doi.acm.org/10.1145/4472.4478},
 OPTdoi = {10.1145/4472.4478},
 acmid = {4478},
 publisher = {ACM},
 address = {New York, New York},
}

@inproceedings{kranz:1989:mul-t,
 author = {Kranz, D. A. and Halstead,Jr., R. H. and Mohr, E.},
 title = {{Mul-T}: a high-performance parallel {Lisp}},
 booktitle = {Proceedings of the ACM SIGPLAN 1989 Conference on Programming Language Design and Implementation},
 series = {PLDI '89},
 year = {1989},
 OPTisbn = {0-89791-306-X},
 address = {Portland, Oregon},
 pages = {81--90},
 numpages = {10},
 OPTurl = {http://doi.acm.org/10.1145/73141.74825},
 OPTdoi = {10.1145/73141.74825},
 theacmid = {74825},
 publisher = {ACM},
 theaddress = {New York, New York},
}

@inproceedings{hope,
  author = {Burstall, R. M. and MacQueen, D. B. and Sannella, D. T.},
  title = {HOPE: An experimental applicative language},
  booktitle = {Proceedings of the 1980 ACM Conference on LISP and
               Functional Programming},
  series = {LFP '80},
  year = {1980},
  badaddress = {Stanford University, California},
  pages = {136--143},
  numpages = {8},
  OPTurl = {http://doi.acm.org/10.1145/800087.802799},
  OPTdoi = {10.1145/800087.802799},
  acmid = {802799},
  publisher = {ACM},
  theaddress = {New York, New York},
}

@misc{apple_gcd,
    institution = {Apple Inc.},
    key = "apple",
    title = {{G}rand {C}entral {D}ispatch ({GCD}) Reference},
    year = "2012",
    month = {May},
    note = {Retrived from
    \url{https://developer.apple.com/library/mac/#documentation/Performance/Reference/GCD_libdispatch_Ref/Reference/reference.html}},
}

@inbook{intel:pause,
    editor = {{Intel Corporation}},
    title = {{Intel}\textsuperscript{\textregistered} 64 and IA-32
    Architectures Software Developer's Manual},
    publisher = {{Intel Corporation}},
    volume = {2B: Instruction Set Reference, N-Z},
    month = {March},
    year = {2009},
    pages = {4:63},
}

@inproceedings{hendler:2002:stealhalf,
 author = {Hendler, Danny and Shavit, Nir},
 title = {Non-blocking steal-half work queues},
 booktitle = {Proceedings of the 21st Annual Symposium on the
   Principles of Distributed Computing},
 series = {PODC '02},
 year = {2002},
 OPTisbn = {1-58113-485-1},
 address = {Monterey, California},
 pages = {280--289},
 thenumpages = {10},
 OPTurl = {http://doi.acm.org/10.1145/571825.571876},
 OPTdoi = {10.1145/571825.571876},
 theacmid = {571876},
 thepublisher = {ACM},
 theaddress = {New York, New York},
}

@inproceedings{broquedis:2010:hwloc,
    title = { hwloc: a {G}eneric {F}ramework for {M}anaging
            {H}ardware {A}ffinities in {HPC} {A}pplications},
    author = {{B}roquedis, {F}ran{\c{c}}ois and {C}let-{O}rtega,
            {J}{\'e}r{\^o}me and {M}oreaud, {S}t{\'e}phanie and
            {F}urmento, {N}athalie and {G}oglin, {B}rice and {M}ercier,
            {G}uillaume and {T}hibault, {S}amuel and {N}amyst, {R}aymond},
    language = {{A}nglais}, affiliation = {{L}aboratoire
            {B}ordelais de {R}echerche en {I}nformatique - {L}a{BRI} -
            {CNRS} : {UMR}5800 - {U}niversit{\'e} {S}ciences et
            {T}echnologies - {B}ordeaux {I} - {E}cole {N}ationale
            {S}up{\'e}rieure d'{E}lectronique, {I}nformatique et
            {R}adiocommunications de {B}ordeaux - {U}niversit{\'e}
            {V}ictor {S}egalen - {B}ordeaux {II} - {RUNTIME} - {INRIA}
            {B}ordeaux - {S}ud-{O}uest - {INRIA} - {CNRS} : {UMR}5800 -
            {U}niversit{\'e} {S}ciences et {T}echnologies - {B}ordeaux {I}
            - {E}cole {N}ationale {S}up{\'e}rieure d'{E}lectronique,
            {I}nformatique et {R}adiocommunications de {B}ordeaux },
    booktitle = {Proceedings of the 18th {E}uromicro
            {I}nternational {C}onference on {P}arallel, {D}istributed and
            {N}etwork-{B}ased {C}omputing },
    address = {Pisa, Italy },
    editor = {{IEEE} },
    audience = {internationale },
    day = {17},
    month = {02},
    year = {2010},
    OPTurl = {http://hal.inria.fr/inria-00429889/en/},
}

@article{Boehm:2005:threads-as-a-library,
 author = {Boehm, Hans-J.},
 title = {Threads cannot be implemented as a library},
 journal = {SIGPLAN Notices},
 issue_date = {June 2005},
 volume = {40},
 number = {6},
 month = jun,
 year = {2005},
 OPTissn = {0362-1340},
 pages = {261--268},
 numpages = {8},
 OPTurl = {http://doi.acm.org/10.1145/1064978.1065042},
 OPTdoi = {10.1145/1064978.1065042},
 acmid = {1065042},
 publisher = {ACM},
 address = {New York, New York},
 keywords = {data race, optimization, pthreads, register promotion, threads},
} 

@article{Adve:2010:memory-models,
 author = {Adve, Sarita V. and Boehm, Hans-J.},
 title = {Memory models: a case for rethinking parallel languages and hardware},
 journal = {Communications of the ACM},
 issue_date = {August 2010},
 volume = {53},
 number = {8},
 month = aug,
 year = {2010},
 OPTissn = {0001-0782},
 pages = {90--101},
 numpages = {12},
 OPTurl = {http://doi.acm.org/10.1145/1787234.1787255},
 OPTdoi = {10.1145/1787234.1787255},
 acmid = {1787255},
 publisher = {ACM},
 address = {New York, New York},
} 

@techreport{curtsinger:2012:stabilizer,
  title={Stabilizer: Enabling statistically rigorous performance evaluation},
  author={Curtsinger, Charlie and Berger, Emery D.},
  year={2012},
  institution={University of Massachusetts, Amherst}
}

@misc{sysv-abi,
  title={{System V} application binary interface, {AMD64} architecture processor
  supplement},
  author={Matz, Michael. and Hubi\v{c}ka, Jan. and Jaeger, Andreas. and
  Mitchell, Mark.},
  note={Draft version 0.99},
  year={2009},
  howpublished={\url{http://www.x86-64.org/documentation/abi.pdf}}
}

@article{hoare:1978:CSP,
 author = {Hoare, Charles Antony Richard},
 title = {Communicating sequential processes},
 journal = {Communincations of the {ACM}},
 theissue_date = {Aug. 1978},
 volume = {21},
 number = {8},
 month = {August},
 year = {1978},
 OPTissn = {0001-0782},
 pages = {666--677},
 numpages = {12},
 OPTurl = {http://doi.acm.org/10.1145/359576.359585},
 OPTdoi = {10.1145/359576.359585},
 acmid = {359585},
 publisher = {ACM},
 address = {New York, New York},
 keywords = {classes, concurrency, conditional critical regions, coroutines, data representations, guarded commands, input, iterative arrays, monitors, multiple entries, multiple exits, nondeterminacy, output, parallel programming, procedures, program structures, programming, programming languages, programming primitives, recursion},
} 

@article{ml-types,
    title={A Syntactic Approach to Type Soundness},
    author={Andrew K. Wright and Matthias Felleisen},
    journal={Information and Computation},
    volume={115},
    number={1},
    pages={38--94},
    year={1994}
}

@article{ocaml-modules,
    title={A Modular Module System},
    author={Xavier Leroy},
    journal={Journal of Functional Programming},
    volume={10},
    number={3},
    pages={269--303},
    year={2000}
}

@techreport{ocaml-bytecode,
    title={The {ZINC} experiment, an economical implementation of the {ML}
        language},
    author={Xavier Leroy},
    institution={INRIA},
    number={117},
    year={1990}
}

@inproceedings{ocaml-native,
    title={The effectiveness of type-based unboxing},
    author={Xavier Leroy},
    booktitle={Proceedings of the Workshop on Types in Compilation},
    year={1997}
}

@article{jocaml,
    title={Compiling Join-Patterns},
    author={Luc Maranget and Fabrice Le Fessant},
    journal={Electronic Notes in Theoretical Computer Science},
    volume={16},
    number={3},
    pages={205--224},
    year={1998},
    publisher={Elsevier}
}

@inproceedings{join-calculus,
   title={The reflexive CHAM and the join-calculus},
   author={Fournet, C. and Gonthier, G.},
   booktitle={Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on
     Principles of programming languages},
   pages={372--385},
   year={1996},
   organization={ACM}
}

@techreport{milner:pi,
   title={The Polyadic $\pi$-Calculus: a Tutorial},
   author={Robin Milner},
   institution={Laboratory for Foundations of Computer Science,
       Computer Science Deptment,
       University of Edinburgh},
   address={The King's Buildings,
        Edinburgh, Scotland},
   year={1991},
   month={October}
}

@book{occam1,
    title={{OCCAM} Programming Manual},
    author={INMOS Limited},
    year={1984},
    publisher={Prentice-Hall International},
    isbn={0-13-629296-8},
    address={Englewood Cliffs, New Jersey}
}

@misc{occam3,
    title={{occam} 3 reference manual},
    author={Geoff Barrett},
    year={1992},
    month={March},
    note={Draft},
    howpublished={online
    \url{http://www.wotug.org/occam/documentation/oc3refman.pdf}
    retrieved 22/11/2012}
}

@book{cplusplus,
  author = {Stroustrup, Bjarne},
  title = {The {C++} Programming Language},
  year = {1997},
  isbn = {0201 889544},
  edition = {Third},
  publisher = {Addison-Wesley Longman Publishing Co., Inc.},
  address = {Boston, Massachusetts},
} 

@inproceedings{backus:1957:fortran,
  author = {Backus, J. W. and Beeber, R. J. and Best, S. and Goldberg, R. and Haibt, L. M. and Herrick, H. L. and Nelson, R. A. and Sayre, D. and Sheridan, P. B. and Stern, H. and Ziller, I. and Hughes, R. A. and Nutt, R.},
  title = {The {FORTRAN} automatic coding system},
  booktitle = {Proceedings of the Western joint computer conference: Techniques for reliability},
  series = {IRE-AIEE-ACM '57 (Western)},
  year = {1957},
  month = {Febuary},
  address = {Los Angeles, California},
  pages = {188--198},
  publisher = {ACM},
  theaddress = {New York, New York}
} 

@phdthesis{ddc,
  author={Ben Lippmeier},
  title={Type Inference and Optimisation for an Impure World},
  school={Australian National University},
  year={2009},
  month={June}
}

@article{haskell-monads,
    author={John Launchbury and Simon Peyton-Jones},
    title={State in {Haskell}},
    journal={Lisp and Symbolic Computation},
    volume={8},
    number={4},
    year={1995},
    month={December},
    pages={293--341}
}

@inproceedings{kowalski_sld,
    author={Robert Kowalski},
    title={Predicate Logic as a Programming Language},
    booktitle={Proceedings of IFIP Congress},
    badaddress={XXX Stockholm, Holland},
    publisher={North Holland Publishing Company},
    year={1974},
    pages={569--574}
}

@inproceedings{augustsson:1989:parallel-graph-reduction,
    title={Parallel graph reduction with the (v, G)-machine},
    author={Lennart Augustsson and Thomas Johnsson},
    booktitle={Proceedings of the Fourth International Conference on
        Functional Programming Languages and Computer Architecture},
    thepublisher={ACM},
    year={1989},
    pages={202--213}
}

@inproceedings{burn:1989:parallel-reduction-machine,
    title={Overview of a Parallel Reduction Machine Project {II}},
    author={G. L. Burn},
    booktitle={Proceedings of Parallel Architectures and Languages Europe
    1989},
    address={Eindhoven, The Netherlands},
    publisher={Springer Berlin Heidelberg},
    series={Lecture Notes in Computer Science},
    year={1989},
    month={June},
    volume={365},
    pages={385--396}
}

@inproceedings{peyton-jones:1989:parallel-graph-reduction,
    title={High-performance parallel graph reduction},
    author={Simon Peyton-Jones and Chris Clack and Jon Salkild},
    booktitle={Proceedings of Parallel Architectures and Languages Europe 1989},
    address={Eindhoven, The Netherlands},
    publisher={Springer Berlin Heidelberg},
    series={Lecture Notes in Computer Science},
    year={1989},
    month={June},
    volume={365},
    pages={193--206},
}

@article{lusk:1990:aurora,
    year={1990},
    journal={New Generation Computing},
    volume={7},
    number={2--3},
    title={The {A}urora {OR}-parallel {P}rolog system},
    publisher={Springer-Verlag},
    keywords={Logic Programming; Prolog; Parallel Computing; Automatic
    Parallelization},
    author={Lusk, Ewing and Butler, Ralph and Disz, Terrence and Olson, Robert
    and Overbeek, Ross and Stevens, Rick and Warren, David H. D. and Calderwood,
    Alan and Szeredi, P\'eter and Haridi, Seif and Brand, Per and Carlsson, Mats
    and Ciepielewski, Andrzej and Hausman, Bogumil},
    pages={243--271},
    language={English}
}

@inproceedings{hausman:1987:or,
  title={OR-parallel {P}rolog made efficient on shared memory
    multiprocessors},
  author={Bogumil Hausman and Andrzej Ciepielewski and Seif Haridi},
  booktitle={Proceedings of the 1987 Symposium on Logic Programming},
  year={1987},
  month={August--September},
  address={San Francisco, California},
  publisher={IEEE Computer Society Press},
  pages={69--79}
}

@article{hermenegildo:1991:and-parallel,
    title={The \&-{P}rolog system: Exploiting Independent And-Parallelism},
    author={M. V. Hermenegildo and K. J. Greene},
    journal={New Generation Computing},
    volume={9},
    number={3--4},
    year={1991},
    pages={233--257},
    publisher={Springer-Verlag},
}

@inproceedings{haridi:1990:andorra,
    title={{K}ernel {A}ndorra {P}rolog and its computation model},
    author={Haridi, Seif and Janson, Sverker},
    booktitle={Proceedings of the Seventh International Conference
        on Logic Programming},
    address={Jerusalem, Israel},
    year={1990},
    month={June},
    publisher={MIT Press}
}

@article{ali:1990:muse,
    title={The {M}use approach to {OR}-parallel {P}rolog},
    author={Khayri A. M. Ali and Roland Karlsson},
    journal={International Journal of Parallel Programming},
    volume={19},
    number={2},
    pages={129--162},
    year={1990},
    month={April}
}

@inproceedings{baron:1988:pepsys,
    title={The Parallel {ECRC} {P}rolog System {PEPS}ys:
        an Overview and Evaluation Results},
    author={Uri Baron and Jacques Cassin de Kergommeaux and Max Hailperin
        and Micheal Ratcliffe and Phillippe Robert and
        Jean-Claude Syre and Harald Westpal},
    booktitle={Proceedings of the International Conference on Fifth
    Generation Computer Systems},
    address={Tokyo, Japan},
    year={1988}
}

@article{gupta:1991:ace,
    title={{ACE}: {And/Or}-parallel copying-based execution of logic
        programs},
    author={Gopal Gupta and Manuel Hermenegildo},
    journal={Parallel Execution of Logic Programs},
    series={Lecture Notes in Computer Science},
    volume={569},
    year={1991},
    pages={146--156}
}

@article{debray:1990:granularity,
    author = {Debray, Saumya K. and Lin, Nai-Wei and Hermnegildo, Manuel},
    title = {Task granularity analysis in logic programs},
    journal = {SIGPLAN Notices},
    theissue_date = {Jun. 1990},
    volume = {25},
    number = {6},
    month = jun,
    year = {1990},
    OPTissn = {0362-1340},
    pages = {174--188},
    thenumpages = {15},
    OPTurl = {http://doi.acm.org/10.1145/93548.93564},
    OPTdoi = {10.1145/93548.93564},
    theacmid = {93564},
    thepublisher = {ACM},
    theaddress = {New York, New York},
} 

@book{wizard-book,
    title={Structure and Interpretation of Computer Programs},
    author={Harold Abelson and Gerald Jay Sussman
        and Julie Sussman},
    edition={Second},
    publisher={The MIT Press},
    address={Cambridge, Massachusetts},
    year={1984}
}


@TechReport{rose:cstar,
  author =       {John Rose and Guy Steele Jr.},
  title =        {{C*}: An extended (C) language for data parallel programming},
  institution =  {Thinking Machines Corporation},
  year =         1987,
  number =    {PL87-5},
  month =     {April}}

@Misc{threadscope-summit,
  author =    {ThreadScope summit attendees},
  title =     {First {T}hread{S}cope summit},
  howpublished = {personal correspondance},
  month =     {July},
  year =      2011}


@article{sutter:2005:concurrency,
  author = {Sutter, Herb and Larus, James},
  title = {Software and the Concurrency Revolution},
  journal = {Queue},
  issue_date = {September 2005},
  volume = {3},
  number = {7},
  month = {September},
  year = {2005},
  OPTissn = {1542-7730},
  pages = {54--62},
  numpages = {9},
  OPTurl = {http://doi.acm.org/10.1145/1095408.1095421},
  OPTdoi = {10.1145/1095408.1095421},
  acmid = {1095421},
  publisher = {ACM},
  address = {New York, New York},
}

o
@article{gustafson:88:reevaluating-amdahl,

    author = {John L. Gustafson},
    title = {Reevaluating Amdahl's Law},
    journal = {Communications of the ACM},
    year = {1988},
    volume = {31},
    pages = {532--533}
}