diff options
Diffstat (limited to '_bibliography')
| -rw-r--r-- | _bibliography/langs-extended-for-dist.bib | 487 |
1 files changed, 462 insertions, 25 deletions
diff --git a/_bibliography/langs-extended-for-dist.bib b/_bibliography/langs-extended-for-dist.bib index 416b697..055024c 100644 --- a/_bibliography/langs-extended-for-dist.bib +++ b/_bibliography/langs-extended-for-dist.bib @@ -1,26 +1,463 @@ -@inproceedings{Uniqueness, - author = {Philipp Haller and - Martin Odersky}, - title = {Capabilities for Uniqueness and Borrowing}, - booktitle = {ECOOP 2010, Maribor, Slovenia, June 21-25, 2010.}, - pages = {354--378}, - year = {2010}, -} - -@inproceedings{Elsman2005, - author = {Martin Elsman}, - title = {Type-specialized serialization with sharing}, - booktitle = {Trends in Functional Programming}, - year = {2005}, - pages = {47-62}, -} - -@article{Kennedy2004, - author = {Andrew Kennedy}, - title = {Pickler combinators}, - journal = {J. Funct. Program.}, - volume = {14}, - number = {6}, - year = {2004}, - pages = {727-739}, +@inproceedings{bhjl07, + author = {Black, Andrew P. and Hutchinson, Norman C. and Jul, Eric and Levy, Henry M.}, + title = {The Development of the Emerald Programming Language}, + booktitle = {Proceedings of the Third ACM SIGPLAN Conference on History of Programming Languages}, + series = {HOPL III}, + year = {2007}, + isbn = {978-1-59593-766-7}, + location = {San Diego, California}, + pages = {11-1--11-51}, + url = {http://doi.acm.org/10.1145/1238844.1238855}, + doi = {10.1145/1238844.1238855}, + acmid = {1238855}, + publisher = {ACM}, + address = {New York, NY, USA}, + keywords = {Eden, Emerald, Washington, abstract types, call-by-move, distributed programming, mobility, object mobility, object-oriented programming, polymorphism, remote object invocation, remote procedure call, type conformity}, +} + +@inproceedings{LanguagesAsLibraries, + author = {Tobin-Hochstadt, Sam and St-Amour, Vincent and Culpepper, Ryan and Flatt, Matthew and Felleisen, Matthias}, + title = {Languages As Libraries}, + booktitle = {Proceedings of the 32Nd ACM SIGPLAN Conference on Programming Language Design and Implementation}, + series = {PLDI '11}, + year = {2011}, + isbn = {978-1-4503-0663-8}, + location = {San Jose, California, USA}, + pages = {132--141}, + numpages = {10}, + url = {http://doi.acm.org/10.1145/1993498.1993514}, + doi = {10.1145/1993498.1993514}, + acmid = {1993514}, + publisher = {ACM}, + address = {New York, NY, USA}, + keywords = {extensible languages, macros, modules, typed racket}, +} + +@article{ScalaActors, + author = {Haller, Philipp and Odersky, Martin}, + title = {Scala Actors: Unifying Thread-based and Event-based Programming}, + journal = {Theor. Comput. Sci.}, + issue_date = {February, 2009}, + volume = {410}, + number = {2-3}, + month = feb, + year = {2009}, + issn = {0304-3975}, + pages = {202--220}, + numpages = {19}, + url = {http://dx.doi.org/10.1016/j.tcs.2008.09.019}, + doi = {10.1016/j.tcs.2008.09.019}, + acmid = {1496422}, + publisher = {Elsevier Science Publishers Ltd.}, + address = {Essex, UK}, + keywords = {Actors, Concurrent programming, Events, Threads}, +} + +@article{Argus, + author = {Liskov, Barbara}, + title = {Distributed Programming in Argus}, + journal = {Commun. ACM}, + issue_date = {March 1988}, + volume = {31}, + number = {3}, + month = mar, + year = {1988}, + issn = {0001-0782}, + pages = {300--312}, + numpages = {13}, + url = {http://doi.acm.org/10.1145/42392.42399}, + doi = {10.1145/42392.42399}, + acmid = {42399}, + publisher = {ACM}, + address = {New York, NY, USA}, +} + +@article{Linda, + author = {Carriero, Nicholas J. and Gelernter, David and Mattson, Timothy G. and Sherman, Andrew H.}, + title = {The Linda Alternative to Message-passing Systems}, + journal = {Parallel Comput.}, + issue_date = {April 1994}, + volume = {20}, + number = {4}, + month = apr, + year = {1994}, + issn = {0167-8191}, + pages = {633--655}, + numpages = {23}, + url = {http://dx.doi.org/10.1016/0167-8191(94)90032-9}, + doi = {10.1016/0167-8191(94)90032-9}, + acmid = {180102}, + publisher = {Elsevier Science Publishers B. V.}, + address = {Amsterdam, The Netherlands, The Netherlands}, + keywords = {LINDA, message passing, parallel programming paradigm, virtual shared memory}, +} + +@inproceedings{AmbientTalk, + author = {Dedecker, Jessie and Van Cutsem, Tom and Mostinckx, Stijn and D\&\#39;Hondt, Theo and De Meuter, Wolfgang}, + title = {Ambient-Oriented Programming in Ambienttalk}, + booktitle = {Proceedings of the 20th European Conference on Object-Oriented Programming}, + series = {ECOOP'06}, + year = {2006}, + isbn = {3-540-35726-2, 978-3-540-35726-1}, + location = {Nantes, France}, + pages = {230--254}, + numpages = {25}, + url = {http://dx.doi.org/10.1007/11785477_16}, + doi = {10.1007/11785477_16}, + acmid = {2171349}, + publisher = {Springer-Verlag}, + address = {Berlin, Heidelberg}, +} + +@inproceedings{Bloom, + author = {Peter Alvaro and + Neil Conway and + Joseph M. Hellerstein and + William R. Marczak}, + title = {Consistency Analysis in Bloom: a {CALM} and Collected Approach}, + booktitle = {{CIDR} 2011, Fifth Biennial Conference on Innovative Data Systems + Research, Asilomar, CA, USA, January 9-12, 2011, Online Proceedings}, + pages = {249--260}, + year = {2011}, + crossref = {DBLP:conf/cidr/2011}, + url = {http://www.cidrdb.org/cidr2011/Papers/CIDR11_Paper35.pdf}, + timestamp = {Mon, 18 May 2015 01:00:00 +0200}, + biburl = {http://dblp.dagstuhl.de/rec/bib/conf/cidr/AlvaroCHM11}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} + +@inproceedings{Lasp, + author = {Meiklejohn, Christopher and Van Roy, Peter}, + title = {Lasp: A Language for Distributed, Coordination-free Programming}, + booktitle = {Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming}, + series = {PPDP '15}, + year = {2015}, + isbn = {978-1-4503-3516-4}, + location = {Siena, Italy}, + pages = {184--195}, + numpages = {12}, + url = {http://doi.acm.org/10.1145/2790449.2790525}, + doi = {10.1145/2790449.2790525}, + acmid = {2790525}, + publisher = {ACM}, + address = {New York, NY, USA}, + keywords = {Erlang, commutative operations, eventual consistency}, +} + +@inproceedings{CloudHaskell, + author = {Epstein, Jeff and Black, Andrew P. and Peyton-Jones, Simon}, + title = {Towards Haskell in the Cloud}, + booktitle = {Proceedings of the 4th ACM Symposium on Haskell}, + series = {Haskell '11}, + year = {2011}, + isbn = {978-1-4503-0860-1}, + location = {Tokyo, Japan}, + pages = {118--129}, + numpages = {12}, + url = {http://doi.acm.org/10.1145/2034675.2034690}, + doi = {10.1145/2034675.2034690}, + acmid = {2034690}, + publisher = {ACM}, + address = {New York, NY, USA}, + keywords = {erlang, haskell, message-passing}, +} + +@inproceedings{TermiteScheme, + author = {Germain, Guillaume}, + title = {Concurrency Oriented Programming in Termite Scheme}, + booktitle = {Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang}, + series = {ERLANG '06}, + year = {2006}, + isbn = {1-59593-490-1}, + location = {Portland, Oregon, USA}, + pages = {20--20}, + numpages = {1}, + url = {http://doi.acm.org/10.1145/1159789.1159795}, + doi = {10.1145/1159789.1159795}, + acmid = {1159795}, + publisher = {ACM}, + address = {New York, NY, USA}, + keywords = {continuations, distributed computing, erlang, macros, scheme}, +} + +@inproceedings{ML5, + author = {Murphy,VII., Tom and Crary, Karl and Harper, Robert}, + title = {Type-safe Distributed Programming with ML5}, + booktitle = {Proceedings of the 3rd Conference on Trustworthy Global Computing}, + series = {TGC'07}, + year = {2008}, + isbn = {3-540-78662-7, 978-3-540-78662-7}, + location = {Sophia-Antipolis, France}, + pages = {108--123}, + numpages = {16}, + url = {http://dl.acm.org/citation.cfm?id=1793574.1793585}, + acmid = {1793585}, + publisher = {Springer-Verlag}, + address = {Berlin, Heidelberg}, +} + +@inproceedings{MBrace, + author = {Dzik, Jan and Palladinos, Nick and Rontogiannis, Konstantinos and Tsarpalis, Eirik and Vathis, Nikolaos}, + title = {MBrace: Cloud Computing with Monads}, + booktitle = {Proceedings of the Seventh Workshop on Programming Languages and Operating Systems}, + series = {PLOS '13}, + year = {2013}, + isbn = {978-1-4503-2460-1}, + location = {Farmington, Pennsylvania}, + pages = {7:1--7:6}, + articleno = {7}, + numpages = {6}, + url = {http://doi.acm.org/10.1145/2525528.2525531}, + doi = {10.1145/2525528.2525531}, + acmid = {2525531}, + publisher = {ACM}, + address = {New York, NY, USA}, + keywords = {big data, cloud monad, distributed programming}, +} + +@inproceedings{Spark, + author = {Zaharia, Matei and Chowdhury, Mosharaf and Das, Tathagata and Dave, Ankur and Ma, Justin and McCauley, Murphy and Franklin, Michael J. and Shenker, Scott and Stoica, Ion}, + title = {Resilient Distributed Datasets: A Fault-tolerant Abstraction for In-memory Cluster Computing}, + booktitle = {Proceedings of the 9th USENIX Conference on Networked Systems Design and Implementation}, + series = {NSDI'12}, + year = {2012}, + location = {San Jose, CA}, + pages = {2--2}, + numpages = {1}, + url = {http://dl.acm.org/citation.cfm?id=2228298.2228301}, + acmid = {2228301}, + publisher = {USENIX Association}, + address = {Berkeley, CA, USA}, +} + +@inproceedings{DryadLINQ, + author = {Yu, Yuan and Isard, Michael and Fetterly, Dennis and Budiu, Mihai and Erlingsson, \'{U}lfar and Gunda, Pradeep Kumar and Currey, Jon}, + title = {DryadLINQ: A System for General-purpose Distributed Data-parallel Computing Using a High-level Language}, + booktitle = {Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation}, + series = {OSDI'08}, + year = {2008}, + location = {San Diego, California}, + pages = {1--14}, + numpages = {14}, + url = {http://dl.acm.org/citation.cfm?id=1855741.1855742}, + acmid = {1855742}, + publisher = {USENIX Association}, + address = {Berkeley, CA, USA}, +} + +@inproceedings{Dedalus, + author = {Alvaro, Peter and Marczak, William R. and Conway, Neil and Hellerstein, Joseph M. and Maier, David and Sears, Russell}, + title = {Dedalus: Datalog in Time and Space}, + booktitle = {Proceedings of the First International Conference on Datalog Reloaded}, + series = {Datalog'10}, + year = {2011}, + isbn = {978-3-642-24205-2}, + location = {Oxford, UK}, + pages = {262--281}, + numpages = {20}, + url = {http://dx.doi.org/10.1007/978-3-642-24206-9_16}, + doi = {10.1007/978-3-642-24206-9_16}, + acmid = {2185942}, + publisher = {Springer-Verlag}, + address = {Berlin, Heidelberg}, + keywords = {datalog, distributed systems, logic programming, temporal logic}, +} + +@inproceedings{Emerald, + author = {Black, Andrew and Hutchinson, Norman and Jul, Eric and Levy, Henry}, + title = {Object Structure in the Emerald System}, + booktitle = {Conference Proceedings on Object-oriented Programming Systems, Languages and Applications}, + series = {OOPSLA '86}, + year = {1986}, + isbn = {0-89791-204-7}, + location = {Portland, Oregon, USA}, + pages = {78--86}, + numpages = {9}, + url = {http://doi.acm.org/10.1145/28697.28706}, + doi = {10.1145/28697.28706}, + acmid = {28706}, + publisher = {ACM}, + address = {New York, NY, USA}, +} + +@phdthesis{Erlang, + title={Making reliable distributed systems in the presence of software errors}, + author={Armstrong, Joe}, + year={2003}, + school={The Royal Institute of Technology Stockholm, Sweden} +} + +@inproceedings{Redex, + author = {Klein, Casey and Clements, John and Dimoulas, Christos and Eastlund, Carl and Felleisen, Matthias and Flatt, Matthew and McCarthy, Jay A. and Rafkind, Jon and Tobin-Hochstadt, Sam and Findler, Robert Bruce}, + title = {Run Your Research: On the Effectiveness of Lightweight Mechanization}, + booktitle = {Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, + series = {POPL '12}, + year = {2012}, + isbn = {978-1-4503-1083-3}, + location = {Philadelphia, PA, USA}, + pages = {285--296}, + numpages = {12}, + url = {http://doi.acm.org/10.1145/2103656.2103691}, + doi = {10.1145/2103656.2103691}, + acmid = {2103691}, + publisher = {ACM}, + address = {New York, NY, USA}, + keywords = {lightweight semantics engineering}, +} + +@misc{sml, + title={The Definition of Standard ML--Revised}, + author={Miler, Robin and Tofte, Mads and Harper, Robert and MacQueen, David}, + year={1997}, + publisher={MIT press} +} + +@article{Alice, + title={Alice through the looking glass.}, + author={Rossberg, Andreas and Le Botlan, Didier and Tack, Guido and Brunklaus, Thorsten and Smolka, Gert}, + journal={Trends in Functional Programming}, + volume={5}, + pages={79--96}, + year={2004} +} + +@inproceedings{salesman, + author = {Meijer, Erik}, + title = {Confessions of a Used Programming Language Salesman}, + booktitle = {Proceedings of the 22Nd Annual ACM SIGPLAN Conference on Object-oriented Programming Systems and Applications}, + series = {OOPSLA '07}, + year = {2007}, + isbn = {978-1-59593-786-5}, + location = {Montreal, Quebec, Canada}, + pages = {677--694}, + numpages = {18}, + url = {http://doi.acm.org/10.1145/1297027.1297078}, + doi = {10.1145/1297027.1297078}, + acmid = {1297078}, + publisher = {ACM}, + address = {New York, NY, USA}, +} + +@article{Eden, + title={The Eden Programming Language}, + author={Black, Andrew P}, + year={1985} +} + +@inproceedings{smalltalkHistory, + author = {Kay, Alan C.}, + title = {The Early History of Smalltalk}, + booktitle = {The Second ACM SIGPLAN Conference on History of Programming Languages}, + series = {HOPL-II}, + year = {1993}, + isbn = {0-89791-570-4}, + location = {Cambridge, Massachusetts, USA}, + pages = {69--95}, + numpages = {27}, + url = {http://doi.acm.org/10.1145/154766.155364}, + doi = {10.1145/154766.155364}, + acmid = {155364}, + publisher = {ACM}, + address = {New York, NY, USA}, +} + +@inproceedings{microservices, + title={Your server as a function}, + author={Eriksen, Marius}, + booktitle={Proceedings of the Seventh Workshop on Programming Languages and Operating Systems}, + pages={5}, + year={2013}, + organization={ACM} +} + +@inproceedings{socioPLT, + author = {Meyerovich, Leo A. and Rabkin, Ariel S.}, + title = {Empirical Analysis of Programming Language Adoption}, + booktitle = {Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages \&\#38; Applications}, + series = {OOPSLA '13}, + year = {2013}, + isbn = {978-1-4503-2374-1}, + location = {Indianapolis, Indiana, USA}, + pages = {1--18}, + numpages = {18}, + url = {http://doi.acm.org/10.1145/2509136.2509515}, + doi = {10.1145/2509136.2509515}, + acmid = {2509515}, + publisher = {ACM}, + address = {New York, NY, USA}, + keywords = {programming language adoption, survey research}, +} + +@article{hewitt77, + author = {Hewitt, Carl}, + title = {Viewing Control Structures As Patterns of Passing Messages}, + journal = {Artif. Intell.}, + issue_date = {June 1977}, + volume = {8}, + number = {3}, + month = jun, + year = {1977}, + issn = {0004-3702}, + pages = {323--364}, + numpages = {42}, + url = {http://dx.doi.org/10.1016/0004-3702(77)90033-9}, + doi = {10.1016/0004-3702(77)90033-9}, + acmid = {3015427}, + publisher = {Elsevier Science Publishers Ltd.}, + address = {Essex, UK}, +} + +@inproceedings{typeclasses, + author = {Wadler, P. and Blott, S.}, + title = {How to Make Ad-hoc Polymorphism Less Ad Hoc}, + booktitle = {Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, + series = {POPL '89}, + year = {1989}, + isbn = {0-89791-294-2}, + location = {Austin, Texas, USA}, + pages = {60--76}, + numpages = {17}, + url = {http://doi.acm.org/10.1145/75277.75283}, + doi = {10.1145/75277.75283}, + acmid = {75283}, + publisher = {ACM}, + address = {New York, NY, USA}, +} + +@article{deriving-typeclasses, + title={Derivable type classes}, + author={Hinze, Ralf and Jones, Simon Peyton}, + journal={Electronic notes in theoretical computer science}, + volume={41}, + number={1}, + pages={5--35}, + year={2001}, + publisher={Elsevier} +} + +@article{700pl, + author = {Landin, P. J.}, + title = {The Next 700 Programming Languages}, + journal = {Commun. ACM}, + issue_date = {March 1966}, + volume = {9}, + number = {3}, + month = mar, + year = {1966}, + issn = {0001-0782}, + pages = {157--166}, + numpages = {10}, + url = {http://doi.acm.org/10.1145/365230.365257}, + doi = {10.1145/365230.365257}, + acmid = {365257}, + publisher = {ACM}, + address = {New York, NY, USA}, +} + +@techreport{note-on-dc, + author = {Kendall, Samuel C. and Waldo, Jim and Wollrath, Ann and Wyant, Geoff}, + title = {A Note on Distributed Computing}, + year = {1994}, + publisher = {Sun Microsystems, Inc.}, + address = {Mountain View, CA, USA}, }
\ No newline at end of file |