@book(agha86, author = {Gul A. Agha}, year = {1986}, title = {{ACTORS}: {A} Model of Concurrent Computation in Distributed Systems}, series = {Series in Artificial Intelligence}, publisher = {The MIT Press}, address = {Cambridge, Massachusetts}, ) @inproceedings(AminGORS16, author = {Nada Amin and Samuel Gr{\"u}tter and Martin Odersky and Tiark Rompf and Sandro Stucki}, year = {2016}, title = {The Essence of Dependent Object Types}, booktitle = {A List of Successes That Can Change the World}, publisher = {Springer}, pages = {249--272}, doi = {10.1007/978-3-319-30936-1_14}, ) @inproceedings(ClarkeWOJ08, author = {Dave Clarke and Tobias Wrigstad and Johan {\"O}stlund and Einar Broch Johnsen}, year = {2008}, title = {Minimal Ownership for Active Objects}, booktitle = {APLAS}, publisher = {Springer}, pages = {139--154}, doi = {10.1007/978-3-540-89330-1_11}, ) @inproceedings(ClebschDBM15, author = {Sylvan Clebsch and Sophia Drossopoulou and Sebastian Blessing and Andy McNeil}, year = {2015}, title = {Deny capabilities for safe, fast actors}, booktitle = {AGERE!@SPLASH}, publisher = {ACM}, pages = {1--12}, doi = {10.1145/2824815.2824816}, ) @inproceedings(HallerL16, author = {Philipp Haller and Alex Loiko}, year = {2016}, title = {LaCasa: Lightweight affinity and object capabilities in {Scala}}, booktitle = {OOPSLA}, publisher = {ACM}, pages = {272--291}, doi = {10.1145/2983990.2984042}, ) @inproceedings(HewittBS73, author = {Carl Hewitt and Peter Bishop and Richard Steiger}, year = {1973}, title = {A Universal Modular {ACTOR} Formalism for Artificial Intelligence}, booktitle = {IJCAI}, publisher = {William Kaufmann}, pages = {235--245}, ) @inproceedings(ImamS14a, author = {Shams Mahmood Imam and Vivek Sarkar}, year = {2014}, title = {Savina - An Actor Benchmark Suite: Enabling Empirical Evaluation of Actor Libraries}, booktitle = {AGERE!@SPLASH}, publisher = {ACM}, pages = {67--80}, doi = {10.1145/2687357.2687368}, ) @misc(Akka, author = {{Lightbend, Inc.}}, year = {2009}, title = {Akka}, howpublished = {\url{http://akka.io/}}, ) @misc(TheronThreadRing, author = {Ashton Mason}, year = {2012}, title = {The {ThreadRing} benchmark}, howpublished = {\url{http://www.theron-library.com/index.php?t=page&p=threadring}}, ) @inproceedings(MillerHO14, author = {Heather Miller and Philipp Haller and Martin Odersky}, year = {2014}, title = {Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution}, booktitle = {ECOOP}, publisher = {Springer}, pages = {308--333}, doi = {10.1007/978-3-662-44202-9_13}, ) @phdthesis(Mill06a, author = {Mark Samuel Miller}, year = {2006}, title = {Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control}, school = {Johns Hopkins University}, address = {Baltimore, Maryland, USA}, ) @inproceedings(NegaraKA11, author = {Stas Negara and Rajesh K. Karmani and Gul A. Agha}, year = {2011}, title = {Inferring ownership transfer for efficient message passing}, booktitle = {PPOPP}, publisher = {ACM}, pages = {81--90}, doi = {10.1145/1941553.1941566}, ) @inproceedings(OliveiraSCLY12, author = {Bruno C. d. S. Oliveira and Tom Schrijvers and Wontae Choi and Wonchan Lee and Kwangkeun Yi}, year = {2012}, title = {The implicit calculus: a new foundation for generic programming}, booktitle = {PLDI}, publisher = {ACM}, pages = {35--44}, doi = {10.1145/2254064.2254070}, ) @inproceedings(SrinivasanM08, author = {Sriram Srinivasan and Alan Mycroft}, year = {2008}, title = {Kilim: Isolation-Typed Actors for {Java}}, booktitle = {ECOOP}, publisher = {Springer}, pages = {104--128}, doi = {10.1007/978-3-540-70592-5_6}, ) @inproceedings(Turon17, author = {Aaron Turon}, year = {2017}, title = {Rust: from {POPL} to practice (keynote)}, booktitle = {POPL}, publisher = {ACM}, pages = {2}, doi = {10.1145/3009837.3011999}, )