RPC

• RPC Calculi
• A Polymorphic RPC calculus SCP 2020
  Authors: Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley
• A theory of RPC calculi for client-server model JFP 2019
  Authors: Kwanghoon Choi, Byeong-Mo Chang
• Links: Web Programming Without Tiers FMCO 2006
  Authors: Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop
• Semantics / Compilation
• A Typed Slicing Compilation of the Polymorphic RPC calculus PPDP 2021
  Authors: Kwanghoon Choi, James Cheney, Sam Lindley, Bob Reynders
• Semantics for Communication Primitives in an Polymorphic Language POPL 1993
  Authors: Atsushi Ohori, Kazuhiko Kato
• A Unified Semantics for Future Erlang Erlang Workshop 2010
  Authors: Hans Svensson, Lars-Ake Fredlund, Clara Benac Earle
• Programming Distributed Computing Systems: A Foundational Approach MIT Press
  Authors: Carlos A. Varela
• Choreographic programming
• Portable, Efficient, Practical Library-level Choreographic programming ICFP 2024
  Authors: Shun Kashiwa, Gan Shen, Soroush Zare, Lindsey Kuper
• HasChor: Functional Choreographic Programming for ALL (functional pearl) ICFP 2023
  Authors: Gan Shen, Shun Kashiwa, Lindsey Kuper
• Alice or Bob?: Process polymorphism in choreographies JFP 2024
  Authors: Eva Graversen, Andrew K. Hirsch, Fabrizio Montesi
• MultiChor: Census Polymorphic Choreographic Programming with Multiply Located Values ??
  Authors: Mako Bates, Syed Jafri, Joseph P. Near
• ScalaLoci
• Multiparty languages: The Choreographic and Multitier Cases ECOOP 2021
  Authors: Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger
• Multitier modules ECOOP 2019
  Authors: Pascal Weisenburger, Guido Salvaneschi
• Distributed system development with ScalaLoci OOPSLA 2018
  Authors: Pascal Weisenburger, Mirko Köhler, Guido Salvaneschi
• Actors and Multitier PLs
• Bridging between Active Objects : Multitier Programming for Distributed, Concurrent Systems Active Object Languages: Current Research Trends, LNCS, Vol. 14360, 2024
  Authors: Guido Salvaneschi, Pascal Weisenburger
• 43 years of actors: a taxonomy of actor models and their key properties. AGERE 2016
  Authors: Joeri De Koster, Tom Van Cutsem, and Wolfgang De Meuter
• A Survey of Active Object Languages ACM Comput. Surv
  Authors: Frank De Boer, Vlad Serbanescu, Reiner Hähnle, Ludovic Henrio, Justine Rochas, Crystal Chang Din, Einar Broch Johnsen, Marjan Sirjani, Ehsan Khamespanah, Kiko Fernandez-Reyes, and Albert Mingkun Yang
• Making reliable distributed systems in the presence of sodware errors Ph.D. Thesis, KTH, 2003
  Authors: Joe Armstrong
• Programming Language/Software
• PolyRPC
• Links
• ScalaLoci
• Choral
• HasChor
• Haskell Distributed Computing
• Cloud Haskell
• Scala Actors: Unifying thread-based and event-based programming Theoretical Computer Science, Vol.410, No.2-3, 2009
  Authors: P. Haller and M. Odersky
• Programming Models for Distributed Computation by Heather Miller and her students in CS7680 Special Topics in Computing Systems, a course at Northeastern University
• Distributed Programming in Argus by B. Liskov
• Distribution and Abstract Types in Emerald by A.Black, N. Hutchinson, E. Jul, H. Levy, and L.Carter
• The Linda alternative to message-passing systems by N.J. Carriero, D. Gelernter, T.G. Mattson, and A.H. Sherman
• Towards Haskell in the Cloud by J. Epstein, A.P. Black, and S.P. Jones
• Lasp: A Language for Distributed, Coordination-Free Programming by C. Meiklejohn and P.V. Roy
• Applications of Multitier Programming
• Wysteria: A Programming Language for Generic, Mixed-Mode Multiparty Computations ECOOP 2018
  Authors: Aseem Rastogi, Matthew A. Hammer, Michael Hicks
• A domain-specific programming language for secure multiparty computation PLAS 2007
  Authors: Janus Dam Nielsen, Michael I. Schwartzbach
• Secure program partitioning ACM Trans. on Computer Systems, Vol.20, No.3, 2002
  Authors: Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers
• Tierless programming and reasoning for software-defined networks USENIX NSDI 2014
  Authors: Tim Nelson, Andrew D. Ferguson, Michael J.G. Scheer, and Shriram Krishnamurthi
• ZK-SecreC: a Domain-Specific Language for Zero-Knowledge Proofs CSF 2024
  Authors: Jan Bogdanov, Joosep Jääger, Peeter Laud, Härmel Nestra, Martin Pettai, Jaak Randmets, Raul-Martin Rebane, Ville Sokk, Kert Tali, Sandhra-Mirella Valdma
• Secure Synthesis of Distributed Cryptographic Applications CSF 2024
  Authors: Coşku Acay, Joshua Gancher, Rolph Recto, Andrew C. Myers
• General-Purpose Secure Conflict-free Replicated Data Types CSF 2023
  Authors: Bernardo Portela, Hugo Pacheco, Pedro Jorge, Rogério Pontes
• Silph: A Framework for Scalable and Accurate Generation of Hybrid MPC Protocols IEEE S&P 2023
  Authors: Edward Chen, Jinhao Zhu, Alex Ozdemir, Riad S. Wahby, Fraser Brown, Wenting Zheng
• CrypTFlow: Secure TensorFlow Inference IEEE S&P 2020
  Authors: Nishant Kumar, Mayank Rathee, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma
• EzPC: Programmable and Efficient Secure Two-Party Computation for Machine Learning IEEE EuroS&P 2019
  Authors: Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma, Shardul Tripathi
• SoK: General Purpose Compilers for Secure Multi-Party Computation IEEE S&P 2019
  Authors: Marcella Hastings, Brett Hemenway, Daniel Noble, Steve Zdancewic
• Frigate: A Validated, Extensible, and Efficient Compiler and Interpreter for Secure Computation IEEE EuroS&P 2016
  Authors: Benjamin Mood, Debayan Gupta, Henry Carter, Kevin Butler, Patrick Traynor
• ObliVM: A Programming Framework for Secure Computation IEEE S&P 2015
  Authors: Chang Liu, Xiao Shaun Wang, Kartik Nayak, Yan Huang, Elaine Shi
• GraphSC: Parallel Secure Computation Made Easy IEEE S&P 2015
  Authors: Kartik Nayak, Xiao Shaun Wang, Stratis Ioannidis, Udi Weinsberg, Nina Taft, Elaine Shi
• Automating Efficient RAM-Model Secure Computation IEEE S&P 2014
  Authors: Chang Liu, Yan Huang, Elaine Shi, Jonathan Katz, Michael Hicks