User menu

Practical Evaluation of the Lasp Programming Model at Large Scale

Bibliographic reference Meiklejohn, Christopher ; et. al. Practical Evaluation of the Lasp Programming Model at Large Scale.19th International Symposium on Principles and Practice of Declarative Programming (PPDP 2017) (Namur, Belgium, du 09/10/2017 au 12/10/2017).
Permanent URL
  1. Douglas B Terry, Marvin M Theimer, Karin Petersen, Alan J Demers, Mike J Spreitzer, and Carl H Hauser. 1995. Managing update conflicts in Bayou, a weakly connected replicated storage system. Vol. 29. ACM.
  2. KC Sivaramakrishnan, Gowtham Kaki, and Suresh Jagannathan. 2015. Declarative Programming over Eventually Consistent Data Stores. In Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '15). ACM, New York, NY, USA, 413--424.
  3. Marc Shapiro, Nuno Preguiça, Carlos Baquero, and Marek Zawirski. 2011. A comprehensive study of convergent and commutative replicated data types. Technical Report RR-7506. INRIA.
  4. Rodrigues Rodrigo, Druschel Peter, Peer-to-peer systems, 10.1145/1831407.1831427
  5. Myter Florian, Coppieters Tim, Scholliers Christophe, De Meuter Wolfgang, I now pronounce you reactive and consistent: handling distributed and replicated state in reactive programming, 10.1145/3001929.3001930
  6. Christopher S Meiklejohn and Peter Van Roy. 2017. Loquat: A framework for large-scale actor communication on edge networks. In Pervasive Computing and Communications Workshops (PerCom Workshops), 2017 IEEE International Conference on. IEEE, 563--568.
  7. Christopher Meiklejohn and Peter Van Roy. 2015. Selective Hearing: An Approach to Distributed, Eventually Consistent Edge Computation. In Reliable Distributed Systems Workshop (SRDSW), 2015 IEEE 34th Symposium on. IEEE, 62--67.
  8. Meiklejohn Christopher, Van Roy Peter, Lasp : a language for distributed, coordination-free programming, 10.1145/2790449.2790525
  9. João Leitão, José Pereira, and Luìs Rodrigues. 2007. HyParView: A membership protocol for reliable gossip-based broadcast. IEEE, 419--429.
  10. Leitao Joao, Pereira Jose, Rodrigues Luis, Epidemic Broadcast Trees, 10.1109/srds.2007.27
  11. Lindsey Kuper and Ryan R Newton. 2014. Joining forces: toward a unified account of LVars and convergent replicated data types. In 5th Workshop on Determinism and Correctness in Parallel Programming (WoDet 2014).
  12. Benjamin Hindman, Andy Konwinski, Matei Zaharia, Ali Ghodsi, Anthony D Joseph, Randy H Katz, Scott Shenker, and Ion Stoica. 2011. Mesos: A Platform for Fine-Grained Resource Sharing in the Data Center.. In NSDI, Vol. 11. 22--22.
  13. Conway Neil, Marczak William R., Alvaro Peter, Hellerstein Joseph M., Maier David, Logic and lattices for distributed programming, 10.1145/2391229.2391230
  14. Christopher S. Meiklejohn. 2017. Lasp Language Source Repository. (2017).
  15. Christopher S. Meiklejohn. 2017. Lasp Language Documentation. (2017).
  16. Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, and Manuel Fähndrich. 2015. Global sequence protocol: A robust abstraction for replicated shared state. In LIPIcs-Leibniz International Proceedings in Informatics, Vol. 37. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik.
  17. Peter Alvaro, Neil Conway, Joseph M Hellerstein, and William R Marczak. 2011. Consistency Analysis in Bloom: a CALM and Collected Approach.. In CIDR. 249--260.
  18. Paulo Sérgio Almeida, Ali Shoker, and Carlos Baquero. 2016. Delta State Replicated Data Types. CoRR abs/1603.01529 (2016).