Skip to main content

Lightweight Computation for Networks at the Edge

Deliverables

Year 1 market research

Deliverable D 8.1 (M 03) consists of setting up the Project LightKone Web2.0 portal, mailing lists, wikis and other supporting tools. The other deliverables of this work package are yearly reports describing the status of the project during a year. • The primary evidence for dissemination is the presentation of the deliverables at scientific venues (invited talks, conferences and workshops) and demonstrations at conferences, standardisation meetings, and trade conferences. This will be reported in the yearly activity report. • The market research deliverables at each year end are the continuous process of performing market research to determine where our solution fits against the existing solutions brought to market in industry. This task is to ensure that our project has a clear differentiator in its approach, and stays grounded in the classes of applications that are being built. • The business plan deliverables at each year are the continuous process of refining the business plan based on market research, the other deliverable and feedback from dissemination activities, ensuring the best possible product/market fit. Note that all deliverables in LightKone are public (PU) except for the three business plan deliverables here, which are confidential (CO).

Runtime system for edge computing with appl. support (report + software)

Four deliverables will be provided by this work package in the form of research reports, software, and user documentation. The reports will describe the outcome of the theoretical work and contributions throughout the four tasks, whereas the documentation will be targeted for end users of the artifacts. Each are described as follows: • At M 24, the deliverable will include an updated prototype of the previous one that ad- dresses different categories of applications, accompanied with a report desribing the theo- retical work and used tools.

Infrastructure support for aggregation in edge computing (report + software)

The first deliverable reports on the results of Task T 5.1, including support for aggregation-based computations at the edge. The second deliverable reports the solutions developed in Task T 4.2 for supporting generic computation at the Edge (this includes a set of distributed protocols, their formal correctness proof, and experimental evaluation) as well as the initial prototypes of IoT applications. The third deliverable will present the set of mechanisms, and their integration in the previously defined protocols, to provide security guarantees and autonomic behaviour, and the final prototypes for IoT applications. The final deliverable will demonstrate that one of our application partners examples can be implemented on top of our infrastructure provider.

Packaging of heavy edge computing example (startup) (report + software)

WP 6 has four deliverables reporting on the progress in the area of heavy edge application and infrastructure: • The first-year deliverable describes the new concepts for heavy edge applications, their prob- lems and solution strategies, as well as the envisioned architectures of the applications. • The second-year deliverable reports on the solution of selected concepts and the develop- ment of heavy edge applications. • The third-year deliverable focusses on the description of the applied concepts, the realised infrastructure, and the evaluation techniques specific for heavy edge applications. • The final deliverable will demonstrate that one of our application partners examples can be implemented on top of our infrastructure provider.

Final programming model for edge computing (report + software)

There will be four deliverables for this work package, giving three successive programming models for edge computing. Each programming model will be both a report and software. The software will be tightly coordinated with the corresponding deliverables of WP 3, which gives the runtime infrastructure. The connection between the two is the API of the runtime layer: the programming model layer will target this API. The definition of this API is a critical part of the success of the edge computing platform and will be the subject of collaboration between WP 3 and WP 4. • The first-year deliverable will be a basic programming model, which is a completed and optimised version of the Selective Hearing model of the SyncFree project. • The second-year deliverables will be an extended programming model, with extensions for the scenarios from WP 2. • The third-year deliverable will be a final programming model, improved for scalability and robustness through feedback from the evaluations of WP 7, as well as a design for an end-user programming interface for the infrastructure provider.

Year 2 activity report

Deliverable D 8.1 (M 03) consists of setting up the Project LightKone Web2.0 portal, mailing lists, wikis and other supporting tools. The other deliverables of this work package are yearly reports describing the status of the project during a year. • The primary evidence for dissemination is the presentation of the deliverables at scientific venues (invited talks, conferences and workshops) and demonstrations at conferences, standardisation meetings, and trade conferences. This will be reported in the yearly activity report. • The market research deliverables at each year end are the continuous process of performing market research to determine where our solution fits against the existing solutions brought to market in industry. This task is to ensure that our project has a clear differentiator in its approach, and stays grounded in the classes of applications that are being built. • The business plan deliverables at each year are the continuous process of refining the business plan based on market research, the other deliverable and feedback from dissemination activities, ensuring the best possible product/market fit. Note that all deliverables in LightKone are public (PU) except for the three business plan deliverables here, which are confidential (CO).

Initial runtime edge computing system (report + software)

Four deliverables will be provided by this work package in the form of research reports, software, and user documentation. The reports will describe the outcome of the theoretical work and contributions throughout the four tasks, whereas the documentation will be targeted for end users of the artifacts. Each are described as follows: • At M 12, the deliverable will include the prototype of the initial edge computing system and a report that desribes the algorithms and data structures used.

Year 2 market research

Deliverable D 8.1 (M 03) consists of setting up the Project LightKone Web2.0 portal, mailing lists, wikis and other supporting tools. The other deliverables of this work package are yearly reports describing the status of the project during a year. • The primary evidence for dissemination is the presentation of the deliverables at scientific venues (invited talks, conferences and workshops) and demonstrations at conferences, standardisation meetings, and trade conferences. This will be reported in the yearly activity report. • The market research deliverables at each year end are the continuous process of performing market research to determine where our solution fits against the existing solutions brought to market in industry. This task is to ensure that our project has a clear differentiator in its approach, and stays grounded in the classes of applications that are being built. • The business plan deliverables at each year are the continuous process of refining the business plan based on market research, the other deliverable and feedback from dissemination activities, ensuring the best possible product/market fit. Note that all deliverables in LightKone are public (PU) except for the three business plan deliverables here, which are confidential (CO).

End-user API for edge computing (startup) (report + software)

There will be four deliverables for this work package, giving three successive programming models for edge computing. Each programming model will be both a report and software. The software will be tightly coordinated with the corresponding deliverables of WP 3, which gives the runtime infrastructure. The connection between the two is the API of the runtime layer: the programming model layer will target this API. The definition of this API is a critical part of the success of the edge computing platform and will be the subject of collaboration between WP 3 and WP 4. • The first-year deliverable will be a basic programming model, which is a completed and optimised version of the Selective Hearing model of the SyncFree project. • The second-year deliverables will be an extended programming model, with extensions for the scenarios from WP 2. • The third-year deliverable will be a final programming model, improved for scalability and robustness through feedback from the evaluations of WP 7, as well as a design for an end-user programming interface for the infrastructure provider.

First report on heavy edge computing (report + software)

WP 6 has four deliverables reporting on the progress in the area of heavy edge application and infrastructure: • The first-year deliverable describes the new concepts for heavy edge applications, their prob- lems and solution strategies, as well as the envisioned architectures of the applications. • The second-year deliverable reports on the solution of selected concepts and the develop- ment of heavy edge applications. • The third-year deliverable focusses on the description of the applied concepts, the realised infrastructure, and the evaluation techniques specific for heavy edge applications. • The final deliverable will demonstrate that one of our application partners examples can be implemented on top of our infrastructure provider.

Reliable and scalable runtime system for edge computing (report + software)

Four deliverables will be provided by this work package in the form of research reports, software, and user documentation. The reports will describe the outcome of the theoretical work and contributions throughout the four tasks, whereas the documentation will be targeted for end users of the artifacts. Each are described as follows: • At M 36, a fully functional edge computing system software will be delivered including a report that describes the emerged challenges in this task and the respective optimisations to the edge computing system. The report will also describe and analyse the final state of the runtime edge computing system, given the evaluation results conducted in WP6

Extended programming model for edge computing (report + software)

There will be four deliverables for this work package, giving three successive programming models for edge computing. Each programming model will be both a report and software. The software will be tightly coordinated with the corresponding deliverables of WP 3, which gives the runtime infrastructure. The connection between the two is the API of the runtime layer: the programming model layer will target this API. The definition of this API is a critical part of the success of the edge computing platform and will be the subject of collaboration between WP 3 and WP 4. • The first-year deliverable will be a basic programming model, which is a completed and optimised version of the Selective Hearing model of the SyncFree project. • The second-year deliverables will be an extended programming model, with extensions for the scenarios from WP 2. • The third-year deliverable will be a final programming model, improved for scalability and robustness through feedback from the evaluations of WP 7, as well as a design for an end-user programming interface for the infrastructure provider.

First evaluation report of edge applications (report + software)

WP 7 has two deliverables reporting on the evaluation of the technology developed in the project: • The M 24 report will present an initial assessment of the techniques being developed, with initial prototypes that will not include all features and have limited scale. • The M 36 report will present results of experiments performed with realistic size deploy- ments. Ease of programming will be assessed through the use of surveys to programmers. The deliverables will include software and data so that the results can be reproduced by third parties.

Report on self management and security in edge computing (report + software)

The first deliverable reports on the results of Task T 5.1, including support for aggregation-based computations at the edge. The second deliverable reports the solutions developed in Task T 4.2 for supporting generic computation at the Edge (this includes a set of distributed protocols, their formal correctness proof, and experimental evaluation) as well as the initial prototypes of IoT applications. The third deliverable will present the set of mechanisms, and their integration in the previously defined protocols, to provide security guarantees and autonomic behaviour, and the final prototypes for IoT applications. The final deliverable will demonstrate that one of our application partners examples can be implemented on top of our infrastructure provider.

Packaging of light edge computing example (startup) (report + software)

The first deliverable reports on the results of Task T 5.1, including support for aggregation-based computations at the edge. The second deliverable reports the solutions developed in Task T 4.2 for supporting generic computation at the Edge (this includes a set of distributed protocols, their formal correctness proof, and experimental evaluation) as well as the initial prototypes of IoT applications. The third deliverable will present the set of mechanisms, and their integration in the previously defined protocols, to provide security guarantees and autonomic behaviour, and the final prototypes for IoT applications. The final deliverable will demonstrate that one of our application partners examples can be implemented on top of our infrastructure provider.

Year 3 market research

Deliverable D 8.1 (M 03) consists of setting up the Project LightKone Web2.0 portal, mailing lists, wikis and other supporting tools. The other deliverables of this work package are yearly reports describing the status of the project during a year. • The primary evidence for dissemination is the presentation of the deliverables at scientific venues (invited talks, conferences and workshops) and demonstrations at conferences, standardisation meetings, and trade conferences. This will be reported in the yearly activity report. • The market research deliverables at each year end are the continuous process of performing market research to determine where our solution fits against the existing solutions brought to market in industry. This task is to ensure that our project has a clear differentiator in its approach, and stays grounded in the classes of applications that are being built. • The business plan deliverables at each year are the continuous process of refining the business plan based on market research, the other deliverable and feedback from dissemination activities, ensuring the best possible product/market fit. Note that all deliverables in LightKone are public (PU) except for the three business plan deliverables here, which are confidential (CO).

Final report on heavy edge computing (report + software)

WP 6 has four deliverables reporting on the progress in the area of heavy edge application and infrastructure: • The first-year deliverable describes the new concepts for heavy edge applications, their prob- lems and solution strategies, as well as the envisioned architectures of the applications. • The second-year deliverable reports on the solution of selected concepts and the develop- ment of heavy edge applications. • The third-year deliverable focusses on the description of the applied concepts, the realised infrastructure, and the evaluation techniques specific for heavy edge applications. • The final deliverable will demonstrate that one of our application partners examples can be implemented on top of our infrastructure provider.

Year 1 activity report

Deliverable D 8.1 (M 03) consists of setting up the Project LightKone Web2.0 portal, mailing lists, wikis and other supporting tools. The other deliverables of this work package are yearly reports describing the status of the project during a year. • The primary evidence for dissemination is the presentation of the deliverables at scientific venues (invited talks, conferences and workshops) and demonstrations at conferences, standardisation meetings, and trade conferences. This will be reported in the yearly activity report. • The market research deliverables at each year end are the continuous process of performing market research to determine where our solution fits against the existing solutions brought to market in industry. This task is to ensure that our project has a clear differentiator in its approach, and stays grounded in the classes of applications that are being built. • The business plan deliverables at each year are the continuous process of refining the business plan based on market research, the other deliverable and feedback from dissemination activities, ensuring the best possible product/market fit. Note that all deliverables in LightKone are public (PU) except for the three business plan deliverables here, which are confidential (CO).

Basic programming model for edge computing (report + software)

There will be four deliverables for this work package, giving three successive programming models for edge computing. Each programming model will be both a report and software. The software will be tightly coordinated with the corresponding deliverables of WP 3, which gives the runtime infrastructure. The connection between the two is the API of the runtime layer: the programming model layer will target this API. The definition of this API is a critical part of the success of the edge computing platform and will be the subject of collaboration between WP 3 and WP 4. • The first-year deliverable will be a basic programming model, which is a completed and optimised version of the Selective Hearing model of the SyncFree project. • The second-year deliverables will be an extended programming model, with extensions for the scenarios from WP 2. • The third-year deliverable will be a final programming model, improved for scalability and robustness through feedback from the evaluations of WP 7, as well as a design for an end- user programming interface for the infrastructure provider.

Report on generic edge computing (report + software)

The first deliverable reports on the results of Task T 5.1, including support for aggregation-based computations at the edge. The second deliverable reports the solutions developed in Task T 4.2 for supporting generic computation at the Edge (this includes a set of distributed protocols, their formal correctness proof, and experimental evaluation) as well as the initial prototypes of IoT applications. The third deliverable will present the set of mechanisms, and their integration in the previously defined protocols, to provide security guarantees and autonomic behaviour, and the final prototypes for IoT applications. The final deliverable will demonstrate that one of our application partners examples can be implemented on top of our infrastructure provider.

Year 3 activity report

Deliverable D 8.1 (M 03) consists of setting up the Project LightKone Web2.0 portal, mailing lists, wikis and other supporting tools. The other deliverables of this work package are yearly reports describing the status of the project during a year. • The primary evidence for dissemination is the presentation of the deliverables at scientific venues (invited talks, conferences and workshops) and demonstrations at conferences, standardisation meetings, and trade conferences. This will be reported in the yearly activity report. • The market research deliverables at each year end are the continuous process of performing market research to determine where our solution fits against the existing solutions brought to market in industry. This task is to ensure that our project has a clear differentiator in its approach, and stays grounded in the classes of applications that are being built. • The business plan deliverables at each year are the continuous process of refining the business plan based on market research, the other deliverable and feedback from dissemination activities, ensuring the best possible product/market fit. Note that all deliverables in LightKone are public (PU) except for the three business plan deliverables here, which are confidential (CO).

New concepts for heavy edge computing

WP 6 has four deliverables reporting on the progress in the area of heavy edge application and infrastructure: • The first-year deliverable describes the new concepts for heavy edge applications, their prob- lems and solution strategies, as well as the envisioned architectures of the applications. • The second-year deliverable reports on the solution of selected concepts and the develop- ment of heavy edge applications. • The third-year deliverable focusses on the description of the applied concepts, the realised infrastructure, and the evaluation techniques specific for heavy edge applications. • The final deliverable will demonstrate that one of our application partners examples can be implemented on top of our infrastructure provider.

Documentation and operational support for using the runtime system (startup)

Four deliverables will be provided by this work package in the form of research reports, software, and user documentation. The reports will describe the outcome of the theoretical work and contributions throughout the four tasks, whereas the documentation will be targeted for end users of the artifacts. Each are described as follows: • At M 36, to support the startup effort, a second deliverable will deliver documentation and support for configuring, deploying, and operating the runtime system in the form of user documentation.

Final evaluation report of edge applications (report + software)

WP 7 has two deliverables reporting on the evaluation of the technology developed in the project: • The M 24 report will present an initial assessment of the techniques being developed, with initial prototypes that will not include all features and have limited scale. • The M 36 report will present results of experiments performed with realistic size deploy- ments. Ease of programming will be assessed through the use of surveys to programmers. The deliverables will include software and data so that the results can be reproduced by third parties.

Web site and collaboration tools

Deliverable D 8.1 (M 03) consists of setting up the Project LightKone Web2.0 portal, mailing lists, wikis and other supporting tools. The other deliverables of this work package are yearly reports describing the status of the project during a year. • The primary evidence for dissemination is the presentation of the deliverables at scientific venues (invited talks, conferences and workshops) and demonstrations at conferences, standardisation meetings, and trade conferences. This will be reported in the yearly activity report. • The market research deliverables at each year end are the continuous process of performing market research to determine where our solution fits against the existing solutions brought to market in industry. This task is to ensure that our project has a clear differentiator in its approach, and stays grounded in the classes of applications that are being built. • The business plan deliverables at each year are the continuous process of refining the business plan based on market research, the other deliverable and feedback from dissemination activities, ensuring the best possible product/market fit. Note that all deliverables in LightKone are public (PU) except for the three business plan deliverables here, which are confidential (CO).

Informal requirements

Two deliverables will be provided: first, we will specify a set of informal application requirements, and second, we will select a subset of these and make formal specifications of their informal requirements. The latter subset will be used in the rest of the project to drive development of the edge-computing platform and its industrial application.

Formal requirements

Two deliverables will be provided: first, we will specify a set of informal application requirements, and second, we will select a subset of these and make formal specifications of their informal requirements. The latter subset will be used in the rest of the project to drive development of the edge-computing platform and its industrial application.

Searching for OpenAIRE data...

Publications

Ensuring referential integrity under causal consistency

Author(s): Marc Shapiro, Annette Bieniusa, Peter Zeller, Gustavo Petri
Published in: Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data - PaPoC '18, 2018, Page(s) 1-5
DOI: 10.1145/3194261.3194262

Co-Design and Verification of an Available File System

Author(s): Mahsa Najafzadeh, Marc Shapiro, Patrick Eugster
Published in: 2018, Page(s) 358-381
DOI: 10.1007/978-3-319-73721-8_17

Pure Operation-Based Replicated Data Types

Author(s): Carlos Baquero, Paulo Sergio Almeida, Ali Shoker
Published in: 2017

Legion - Enriching Internet Services with Peer-to-Peer Interactions

Author(s): Albert van der Linde, Pedro Fouto, João Leitão, Nuno Preguiça, Santiago Castiñeira, Annette Bieniusa
Published in: Proceedings of the 26th International Conference on World Wide Web - WWW '17, 2017, Page(s) 283-292
DOI: 10.1145/3038912.3052673

Cure: Strong Semantics Meets High Availability and Low Latency

Author(s): Deepthi Devaki Akkoorath, Alejandro Z. Tomsic, Manuel Bravo, Zhongmiao Li, Tyler Crain, Annette Bieniusa, Nuno Preguica, Marc Shapiro
Published in: 2016 IEEE 36th International Conference on Distributed Computing Systems (ICDCS), 2016, Page(s) 405-414
DOI: 10.1109/ICDCS.2016.98

Lasp: a language for distributed, coordination-free programming

Author(s): Christopher Meiklejohn, Peter Van Roy
Published in: 2015

A modular design for geo-distributed querying - work in progress report

Author(s): Dimitrios Vasilas, Marc Shapiro, Bradley King
Published in: Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data - PaPoC '18, 2018, Page(s) 1-4
DOI: 10.1145/3194261.3194265

Enhancing throughput of partially replicated state machines via multi-partition operation scheduling

Author(s): Zhongmiao Li, Peter Van Roy, Paolo Romano
Published in: 2017 IEEE 16th International Symposium on Network Computing and Applications (NCA), 2017, Page(s) 1-10
DOI: 10.1109/NCA.2017.8171364

Aggregation Protocols in Light of Reliable Communication

Author(s): Ziad Kassam, Ali Shoker, Paulo Sergio Almeida and Carlos Baquero
Published in: 2017

Sustainable blockchain through proof of exercise

Author(s): Ali Shoker
Published in: 2017 IEEE 16th International Symposium on Network Computing and Applications (NCA), 2017, Page(s) 1-9
DOI: 10.1109/NCA.2017.8171383

Practical evaluation of the Lasp programming model at large scale - an experience report

Author(s): Christopher S. Meiklejohn, Vitor Enes, Junghun Yoo, Carlos Baquero, Peter Van Roy, Annette Bieniusa
Published in: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming - PPDP '17, 2017, Page(s) 109-114
DOI: 10.1145/3131851.3131862

Exploiting speculation in partially replicated transactional data stores

Author(s): Zhongmiao Li, Peter Van Roy, Paolo Romano
Published in: Proceedings of the 2017 Symposium on Cloud Computing - SoCC '17, 2017, Page(s) 640-640
DOI: 10.1145/3127479.3132692

Unobtrusive Deferred Update Stabilization for Efficient Geo-Replication

Author(s): Chathuri Gunawardhana, Manuel Bravo, and Luıs Rodrigues
Published in: 2017

LiteSense: An adaptive sensing scheme for WSNs

Author(s): Joao Marco C. Silva, Kalil Araujo Bispo, Paulo Carvalho, Solange Rito Lima
Published in: 2017 IEEE Symposium on Computers and Communications (ISCC), 2017, Page(s) 1209-1212
DOI: 10.1109/ISCC.2017.8024689

A Certain Tendency Of The Database Community

Author(s): Christopher S. Meiklejohn
Published in: 2017

Blotter - Low Latency Transactions for Geo-Replicated Storage

Author(s): Henrique Moniz, João Leitão, Ricardo J. Dias, Johannes Gehrke, Nuno Preguiça, Rodrigo Rodrigues
Published in: Proceedings of the 26th International Conference on World Wide Web - WWW '17, 2017, Page(s) 263-272
DOI: 10.1145/3038912.3052603

Compact Resettable Counters through Causal Stability

Author(s): Georges Younes, Paulo Sérgio Almeida, Carlos Baquero
Published in: Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data - PaPoC'17, 2017, Page(s) 1-3
DOI: 10.1145/3064889.3064892

Borrowing an Identity for a Distributed Counter - Work in progress report

Author(s): Vitor Enes, Carlos Baquero, Paulo Sérgio Almeida, João Leitão
Published in: Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data - PaPoC'17, 2017, Page(s) 1-3
DOI: 10.1145/3064889.3064894

Saturn - a Distributed Metadata Service for Causal Consistency

Author(s): Manuel Bravo, Luís Rodrigues, Peter Van Roy
Published in: Proceedings of the Twelfth European Conference on Computer Systems - EuroSys '17, 2017, Page(s) 111-126
DOI: 10.1145/3064176.3064210

Loquat: A Framework for Large-Scale Actor Communication on Edge Networks

Author(s): Christopher S. Meiklejohn, Peter Van Roy
Published in: 2017

As Secure as Possible Eventual Consistency - Work in Progress

Author(s): Ali Shoker, Houssam Yactine, Carlos Baquero
Published in: Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data - PaPoC'17, 2017, Page(s) 1-5
DOI: 10.1145/3064889.3064895

Practical Continuous Aggregation in Wireless Edge Environments

Author(s): Pedro Akos Costa and Joao Leitao
Published in: 2018

MuSE: Multimodal Searchable Encryption for Cloud Applications

Author(s): B. Ferreira, J. Leitão, and H. Domingos
Published in: 2018

Fine-Grained Consistency Upgrades for Online Services

Author(s): Filipe Freitas, Joao Leitao, Nuno Preguiça, and Rodrigo Rodrigues
Published in: 2017

Distributed transactional reads - the strong, the quick, the fresh & the impossible

Author(s): Alejandro Z. Tomsic, Manuel Bravo, Marc Shapiro
Published in: Proceedings of the 19th International Middleware Conference on - Middleware '18, 2018, Page(s) 120-133
DOI: 10.1145/3274808.3274818

Practical Continuous Aggregation in Wireless Edge Environments

Author(s): Pedro Akos Costa, Joao Leitao
Published in: 2018 IEEE 37th Symposium on Reliable Distributed Systems (SRDS), 2018, Page(s) 41-50
DOI: 10.1109/srds.2018.00015

Practical and Fast Causal Consistent Partial Geo-Replication

Author(s): Pedro Fouto, Joao Leitao, Nuno Preguica
Published in: 2018 IEEE 17th International Symposium on Network Computing and Applications (NCA), 2018, Page(s) 1-10
DOI: 10.1109/nca.2018.8548067

MuSE: Multimodal Searchable Encryption for Cloud Applications

Author(s): Bernardo Ferreira, Joao Leitao, Henrique Domingos
Published in: 2018 IEEE 37th Symposium on Reliable Distributed Systems (SRDS), 2018, Page(s) 181-190
DOI: 10.1109/srds.2018.00029

Fine-grained distributed consistency guarantees with effect orchestration

Author(s): Kia Rahmani, Gowtham Kaki, Suresh Jagannathan
Published in: Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data - PaPoC '18, 2018, Page(s) 1-5
DOI: 10.1145/3194261.3194267

Brief Announcement - Sustainable Blockchains through Proof of eXercise

Author(s): Ali Shoker
Published in: Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing - PODC '18, 2018, Page(s) 269-271
DOI: 10.1145/3212734.3212781

Transparent speculation in geo-replicated transactional data stores

Author(s): Zhongmiao Li, Peter Van Roy, Paolo Romano
Published in: Proceedings of the 27th International Symposium on High-Performance Parallel and Distributed Computing - HPDC '18, 2018, Page(s) 255-266
DOI: 10.1145/3208040.3208055

The Pitfalls in Achieving Tagged Causal Delivery

Author(s): George Younes, Paulo Sérgio Almeida and Carlos Baquero
Published in: 5th Workshop pn the Principles and Practice of Consistency for Distributed Data (PaPoC 2018), 2018

Testing properties of weakly consistent programs with Repliss

Author(s): Peter Zeller
Published in: Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data - PaPoC'17, 2017, Page(s) 1-5
DOI: 10.1145/3064889.3064893

Bringing Hybrid Consistency Closer to Programmers

Author(s): Gonçalo Marcelino, Valter Balegas, Carla Ferreira
Published in: Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data - PaPoC'17, 2017, Page(s) 1-4
DOI: 10.1145/3064889.3064896

FMKe - a Real-World Benchmark for Key-Value Data Stores

Author(s): Gonçalo Tomás, Peter Zeller, Valter Balegas, Deepthi Akkoorath, Annette Bieniusa, João Leitão, Nuno Preguiça
Published in: Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data - PaPoC'17, 2017, Page(s) 1-4
DOI: 10.1145/3064889.3064897

Loquat: A framework for large-scale actor communication on edge networks

Author(s): Christopher S. Meiklejohn, Peter Van Roy
Published in: 2017 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops), 2017, Page(s) 563-568
DOI: 10.1109/percomw.2017.7917624

Designing Distributed Applications Using a Phase-Aware, Reversible System

Author(s): Ruma Paul, Jeremie Melchior, Peter Van Roy, Vladimir Vlassov
Published in: 2017 IEEE International Conference on Edge Computing (EDGE), 2017, Page(s) 55-64
DOI: 10.1109/ieee.edge.2017.16

A Certain Tendency Of The Database Community

Author(s): Christopher S. Meiklejohn
Published in: Proceedings of the International Conference on the Art, Science, and Engineering of Programming - Programming '17, 2017, Page(s) 1-5
DOI: 10.1145/3079368.3079414

Fine-Grained Consistency Upgrades for Online Services

Author(s): Filipe Freitas, Joao Leitao, Nuno Preguica, Rodrigo Rodrigues
Published in: 2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS), 2017, Page(s) 1-10
DOI: 10.1109/srds.2017.9

Multimodal Indexable Encryption for Mobile Cloud-Based Applications

Author(s): Bernardo Ferreira, Joao Leitao, Henrique Domingos
Published in: 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2017, Page(s) 213-224
DOI: 10.1109/dsn.2017.31

On the Design of Distributed Programming Models

Author(s): Christopher S. Meiklejohn
Published in: Proceedings of the Programming Models and Languages for Distributed Computing on - PMLDC '17, 2017, Page(s) 1-6
DOI: 10.1145/3166089.3166093

Aggregation protocols in light of reliable communication

Author(s): Ziad Kassam, Ali Shoker, Paulo Sergio Almeida, Carlos Baquero
Published in: 2017 IEEE 16th International Symposium on Network Computing and Applications (NCA), 2017, Page(s) 1-4
DOI: 10.1109/nca.2017.8171346

Achlys: Towards a Framework for Distributed Storage and Generic Computing Applications for Wireless IoT Edge Networks with Lasp on GRiSP

Author(s): Igor Kopestenski and Peter Van Roy
Published in: 2019

Higher-Order Patterns in Replicated Data Types

Author(s): Adriaan Leijnse, Paulo Sérgio Almeida, Carlos Baquero
Published in: Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data - PaPoC '19, 2019, Page(s) 1-6
DOI: 10.1145/3301419.3323971

Achlys: Towards a Framework for Distributed Storage and Generic Computing Applications for Wireless IoT Edge Networks with Lasp on GRiSP

Author(s): Igor Kopestenski, Peter Van Roy
Published in: 2019 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops), 2019, Page(s) 875-881
DOI: 10.1109/percomw.2019.8730773

Sparkle: Speculative Deterministic Concurrency Control for Partially Replicated Transactional Stores

Author(s): Zhongmiao Li, Paolo Romano, Peter Van Roy
Published in: 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2019, Page(s) 164-175
DOI: 10.1109/dsn.2019.00029

Erlang as an enabling technology for resilient general-purpose applications on edge IoT networks

Author(s): Igor Kopestenski, Peter Van Roy
Published in: Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang - Erlang 2019, 2019, Page(s) 1-12
DOI: 10.1145/3331542.3342567

BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage

Author(s): Bernardo Ferreira, Bernardo Portela, Tiago Oliveira, Guilherme Borges, Henrique Domingos and Joa ̃o Leita ̃o
Published in: Proceedings of the 38th IEEE Symposium on Reliable Distributed Systems (SRDS 2019), 2019

Revisiting Broadcast Algorithms for Wireless Edge Networks

Author(s): André Rosa, Pedro Ákos Costa, and João Leitão
Published in: 2019

Just-Right Consistency: reconciling availability and safety

Author(s): Shapiro, Marc; Bieniusa, Annette; Preguiça, Nuno; Balegas, Valter; Meiklejohn, Christopher
Published in: Issue 4, 2018

LightKone: Towards General Purpose Computations on the Edge

Author(s): Ali Shoker, Joao Leitao, Peter Van Roy, and Christopher Meiklejohn
Published in: 2017

Composition in State-based Replicated Data Types

Author(s): Carlos Baquero, Paulo Sérgio Almeida, Alcino Cunha, and Carla Ferreira
Published in: 2017

ACGreGate: A Framework for Practical Access Control for Applications using Weakly Consistent Databases

Author(s): Mathias Weber and Annette Bieniusa
Published in: 2018

Delta state replicated data types

Author(s): Paulo Sérgio Almeida, Ali Shoker, Carlos Baquero
Published in: Journal of Parallel and Distributed Computing, Issue 111, 2018, Page(s) 162-173, ISSN 0743-7315
DOI: 10.1016/j.jpdc.2017.08.003

Scalable eventually consistent counters over unreliable networks

Author(s): Paulo Sérgio Almeida, Carlos Baquero
Published in: Distributed Computing, Issue 32/1, 2019, Page(s) 69-89, ISSN 0178-2770
DOI: 10.1007/s00446-017-0322-2

Practical Privacy-Preserving Content-Based Retrieval in Cloud Image Repositories

Author(s): Bernardo Ferreira, Joao Rodrigues, Joao Leitao, Henrique Domingos
Published in: IEEE Transactions on Cloud Computing, 2014, Page(s) 1-1, ISSN 2168-7161
DOI: 10.1109/tcc.2017.2669999

IPA

Author(s): Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno Preguiça
Published in: Proceedings of the VLDB Endowment, Issue 12/4, 2018, Page(s) 404-418, ISSN 2150-8097
DOI: 10.14778/3297753.3297760

Co-Design and Verification of an Available File System

Author(s): Mahsa Najafzadeh, Marc Shapiro, Patrick Eugster
Published in: Verification, Model Checking, and Abstract Interpretation, Issue 10747, 2018, Page(s) 358-381
DOI: 10.1007/978-3-319-73721-8_17

Global-Local View: Scalable Consistency for Concurrent Data Types

Author(s): Deepthi Akkoorath, José Brandão, Annette Bieniusa, Carlos Baquero
Published in: Euro-Par 2018: Parallel Processing - 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings, Issue 11014, 2018, Page(s) 492-504
DOI: 10.1007/978-3-319-96983-1_35

Quality-Aware Reactive Programming for the Internet of Things

Author(s): José Proença, Carlos Baquero
Published in: Fundamentals of Software Engineering, Issue 10522, 2017, Page(s) 180-195
DOI: 10.1007/978-3-319-68972-2_12