Building Systems of Systems with Escher

[1]  Luiz F.M. Vieira,et al.  Fast Packet Processing with eBPF and XDP , 2020, ACM Comput. Surv..

[2]  Manos Kapritsos,et al.  Aegean: replication beyond the client-server model , 2019, SOSP.

[3]  Miguel Correia,et al.  State machine replication in containers managed by Kubernetes , 2017, J. Syst. Archit..

[4]  Robbert van Renesse,et al.  Ovid: A Software-Defined Distributed Systems Framework , 2016, HotCloud.

[5]  Eric A. Brewer,et al.  Borg, Omega, and Kubernetes , 2016, ACM Queue.

[6]  Srinath T. V. Setty,et al.  IronFleet: proving practical distributed systems correct , 2015, SOSP.

[7]  Xi Wang,et al.  Verdi: a framework for implementing and formally verifying distributed systems , 2015, PLDI.

[8]  David Bernstein,et al.  Containers and Cloud: From LXC to Docker to Kubernetes , 2014, IEEE Cloud Computing.

[9]  Haifeng Jiang,et al.  Photon: fault-tolerant and scalable joining of continuous data streams , 2013, SIGMOD '13.

[10]  Yang Wang,et al.  Robustness in the Salus Scalable Block Store , 2013, NSDI.

[11]  Yanhong A. Liu,et al.  High-Level Executable Specifications of Distributed Algorithms , 2012, SSS.

[12]  Joseph Sifakis,et al.  A framework for automated distributed implementation of component-based models , 2012, Distributed Computing.

[13]  K. Rustan M. Leino,et al.  Dafny: An Automatic Program Verifier for Functional Correctness , 2010, LPAR.

[14]  Alexander Romanovsky,et al.  Fault Tolerant Middleware for Agent Systems: A Refinement Approach , 2009 .

[15]  Liuba Shrira,et al.  Modular Software Upgrades for Distributed Systems , 2006, ECOOP.

[16]  Miguel Castro,et al.  Farsite: federated, available, and reliable storage for an incompletely trusted environment , 2002, OPSR.

[17]  Jacob R. Lorch,et al.  Farsite: federated, available, and reliable storage for an incompletely trusted environment , 2002, OSDI '02.

[18]  Wouter Joosen,et al.  On Interaction Refinement in Middleware , 2000 .

[19]  Tom Valesky.  Enterprise JavaBeans: Developing Component-Based Distributed Applications , 1999 .

[20]  Valérie Issarny,et al.  A dynamic reconfiguration service for CORBA , 1998, Proceedings. Fourth International Conference on Configurable Distributed Systems (Cat. No.98EX159).

[21]  Martín Abadi,et al.  The existence of refinement mappings , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[22]  Satish K. Tripathi,et al.  Fault tolerant remote procedure call , 1988, [1988] Proceedings. The 8th International Conference on Distributed.

[23]  Eric C. Cooper.  Replicated procedure call , 1986, OPSR.

[24]  David Gelernter,et al.  Generative communication in Linda , 1985, TOPL.