Skip to main content

Lightweight Computation for Networks at the Edge

Leistungen

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.

Veröffentlichungen

Ensuring referential integrity under causal consistency

Autoren: Marc Shapiro, Annette Bieniusa, Peter Zeller, Gustavo Petri
Veröffentlicht in: Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data - PaPoC '18, 2018, Page(s) 1-5, ISBN 9781-450356558
Herausgeber: ACM Press
DOI: 10.1145/3194261.3194262

Co-Design and Verification of an Available File System

Autoren: Mahsa Najafzadeh, Marc Shapiro, Patrick Eugster
Veröffentlicht in: 2018, Page(s) 358-381
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-73721-8_17

Pure Operation-Based Replicated Data Types

Autoren: Carlos Baquero, Paulo Sergio Almeida, Ali Shoker
Veröffentlicht in: 2017
Herausgeber: ?

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

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

Cure: Strong Semantics Meets High Availability and Low Latency

Autoren: Deepthi Devaki Akkoorath, Alejandro Z. Tomsic, Manuel Bravo, Zhongmiao Li, Tyler Crain, Annette Bieniusa, Nuno Preguica, Marc Shapiro
Veröffentlicht in: 2016 IEEE 36th International Conference on Distributed Computing Systems (ICDCS), 2016, Page(s) 405-414, ISBN 978-1-5090-1483-5
Herausgeber: IEEE
DOI: 10.1109/ICDCS.2016.98

Lasp: a language for distributed, coordination-free programming

Autoren: Christopher Meiklejohn, Peter Van Roy
Veröffentlicht in: 2015
Herausgeber: International Symposium on Principles and Practice of Declarative Programming (PPDP)

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

Autoren: Dimitrios Vasilas, Marc Shapiro, Bradley King
Veröffentlicht in: Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data - PaPoC '18, 2018, Page(s) 1-4, ISBN 9781-450356558
Herausgeber: ACM Press
DOI: 10.1145/3194261.3194265

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

Autoren: Zhongmiao Li, Peter Van Roy, Paolo Romano
Veröffentlicht in: 2017 IEEE 16th International Symposium on Network Computing and Applications (NCA), 2017, Page(s) 1-10, ISBN 978-1-5386-1465-5
Herausgeber: IEEE
DOI: 10.1109/NCA.2017.8171364

Aggregation Protocols in Light of Reliable Communication

Autoren: Ziad Kassam, Ali Shoker, Paulo Sergio Almeida and Carlos Baquero
Veröffentlicht in: 2017
Herausgeber: IEEE Computer Society

Sustainable blockchain through proof of exercise

Autoren: Ali Shoker
Veröffentlicht in: 2017 IEEE 16th International Symposium on Network Computing and Applications (NCA), 2017, Page(s) 1-9, ISBN 978-1-5386-1465-5
Herausgeber: IEEE
DOI: 10.1109/NCA.2017.8171383

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

Autoren: Christopher S. Meiklejohn, Vitor Enes, Junghun Yoo, Carlos Baquero, Peter Van Roy, Annette Bieniusa
Veröffentlicht in: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming - PPDP '17, 2017, Page(s) 109-114, ISBN 9781-450352918
Herausgeber: ACM Press
DOI: 10.1145/3131851.3131862

Exploiting speculation in partially replicated transactional data stores

Autoren: Zhongmiao Li, Peter Van Roy, Paolo Romano
Veröffentlicht in: Proceedings of the 2017 Symposium on Cloud Computing - SoCC '17, 2017, Page(s) 640-640, ISBN 9781-450350280
Herausgeber: ACM Press
DOI: 10.1145/3127479.3132692

Unobtrusive Deferred Update Stabilization for Efficient Geo-Replication

Autoren: Chathuri Gunawardhana, Manuel Bravo, and Luıs Rodrigues
Veröffentlicht in: 2017
Herausgeber: ATC

LiteSense: An adaptive sensing scheme for WSNs

Autoren: Joao Marco C. Silva, Kalil Araujo Bispo, Paulo Carvalho, Solange Rito Lima
Veröffentlicht in: 2017 IEEE Symposium on Computers and Communications (ISCC), 2017, Page(s) 1209-1212, ISBN 978-1-5386-1629-1
Herausgeber: IEEE
DOI: 10.1109/ISCC.2017.8024689

A Certain Tendency Of The Database Community

Autoren: Christopher S. Meiklejohn
Veröffentlicht in: 2017
Herausgeber: ?

Blotter - Low Latency Transactions for Geo-Replicated Storage

Autoren: Henrique Moniz, João Leitão, Ricardo J. Dias, Johannes Gehrke, Nuno Preguiça, Rodrigo Rodrigues
Veröffentlicht in: Proceedings of the 26th International Conference on World Wide Web - WWW '17, 2017, Page(s) 263-272, ISBN 9781-450349130
Herausgeber: ACM Press
DOI: 10.1145/3038912.3052603

Compact Resettable Counters through Causal Stability

Autoren: Georges Younes, Paulo Sérgio Almeida, Carlos Baquero
Veröffentlicht in: Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data - PaPoC'17, 2017, Page(s) 1-3, ISBN 9781-450349338
Herausgeber: ACM Press
DOI: 10.1145/3064889.3064892

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

Autoren: Vitor Enes, Carlos Baquero, Paulo Sérgio Almeida, João Leitão
Veröffentlicht in: Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data - PaPoC'17, 2017, Page(s) 1-3, ISBN 9781-450349338
Herausgeber: ACM Press
DOI: 10.1145/3064889.3064894

Saturn - a Distributed Metadata Service for Causal Consistency

Autoren: Manuel Bravo, Luís Rodrigues, Peter Van Roy
Veröffentlicht in: Proceedings of the Twelfth European Conference on Computer Systems - EuroSys '17, 2017, Page(s) 111-126, ISBN 9781-450349383
Herausgeber: ACM Press
DOI: 10.1145/3064176.3064210

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

Autoren: Christopher S. Meiklejohn, Peter Van Roy
Veröffentlicht in: 2017
Herausgeber: ?

As Secure as Possible Eventual Consistency - Work in Progress

Autoren: Ali Shoker, Houssam Yactine, Carlos Baquero
Veröffentlicht in: Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data - PaPoC'17, 2017, Page(s) 1-5, ISBN 9781-450349338
Herausgeber: ACM Press
DOI: 10.1145/3064889.3064895

Practical Continuous Aggregation in Wireless Edge Environments

Autoren: Pedro Akos Costa and Joao Leitao
Veröffentlicht in: 2018
Herausgeber: SRDS 2018

MuSE: Multimodal Searchable Encryption for Cloud Applications

Autoren: B. Ferreira, J. Leitão, and H. Domingos
Veröffentlicht in: 2018
Herausgeber: SRDS 2018

Fine-Grained Consistency Upgrades for Online Services

Autoren: Filipe Freitas, Joao Leitao, Nuno Preguiça, and Rodrigo Rodrigues
Veröffentlicht in: 2017
Herausgeber: SRDS 2017

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

Autoren: Alejandro Z. Tomsic, Manuel Bravo, Marc Shapiro
Veröffentlicht in: Proceedings of the 19th International Middleware Conference on - Middleware '18, 2018, Page(s) 120-133, ISBN 9781-450357029
Herausgeber: ACM Press
DOI: 10.1145/3274808.3274818

Practical Continuous Aggregation in Wireless Edge Environments

Autoren: Pedro Akos Costa, Joao Leitao
Veröffentlicht in: 2018 IEEE 37th Symposium on Reliable Distributed Systems (SRDS), 2018, Page(s) 41-50, ISBN 978-1-5386-8301-9
Herausgeber: IEEE
DOI: 10.1109/srds.2018.00015

Practical and Fast Causal Consistent Partial Geo-Replication

Autoren: Pedro Fouto, Joao Leitao, Nuno Preguica
Veröffentlicht in: 2018 IEEE 17th International Symposium on Network Computing and Applications (NCA), 2018, Page(s) 1-10, ISBN 978-1-5386-7659-2
Herausgeber: IEEE
DOI: 10.1109/nca.2018.8548067

MuSE: Multimodal Searchable Encryption for Cloud Applications

Autoren: Bernardo Ferreira, Joao Leitao, Henrique Domingos
Veröffentlicht in: 2018 IEEE 37th Symposium on Reliable Distributed Systems (SRDS), 2018, Page(s) 181-190, ISBN 978-1-5386-8301-9
Herausgeber: IEEE
DOI: 10.1109/srds.2018.00029

Fine-grained distributed consistency guarantees with effect orchestration

Autoren: Kia Rahmani, Gowtham Kaki, Suresh Jagannathan
Veröffentlicht in: Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data - PaPoC '18, 2018, Page(s) 1-5, ISBN 9781-450356558
Herausgeber: ACM Press
DOI: 10.1145/3194261.3194267

Brief Announcement - Sustainable Blockchains through Proof of eXercise

Autoren: Ali Shoker
Veröffentlicht in: Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing - PODC '18, 2018, Page(s) 269-271, ISBN 9781-450357951
Herausgeber: ACM Press
DOI: 10.1145/3212734.3212781

Transparent speculation in geo-replicated transactional data stores

Autoren: Zhongmiao Li, Peter Van Roy, Paolo Romano
Veröffentlicht in: Proceedings of the 27th International Symposium on High-Performance Parallel and Distributed Computing - HPDC '18, 2018, Page(s) 255-266, ISBN 9781-450357852
Herausgeber: ACM Press
DOI: 10.1145/3208040.3208055

The Pitfalls in Achieving Tagged Causal Delivery

Autoren: George Younes, Paulo Sérgio Almeida and Carlos Baquero
Veröffentlicht in: 5th Workshop pn the Principles and Practice of Consistency for Distributed Data (PaPoC 2018), 2018
Herausgeber: PaPoC 2018

Testing properties of weakly consistent programs with Repliss

Autoren: Peter Zeller
Veröffentlicht in: Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data - PaPoC'17, 2017, Page(s) 1-5, ISBN 9781-450349338
Herausgeber: ACM Press
DOI: 10.1145/3064889.3064893

Bringing Hybrid Consistency Closer to Programmers

Autoren: Gonçalo Marcelino, Valter Balegas, Carla Ferreira
Veröffentlicht in: Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data - PaPoC'17, 2017, Page(s) 1-4, ISBN 9781-450349338
Herausgeber: ACM Press
DOI: 10.1145/3064889.3064896

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

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

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

Autoren: Christopher S. Meiklejohn, Peter Van Roy
Veröffentlicht in: 2017 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops), 2017, Page(s) 563-568, ISBN 978-1-5090-4338-5
Herausgeber: IEEE
DOI: 10.1109/percomw.2017.7917624

Designing Distributed Applications Using a Phase-Aware, Reversible System

Autoren: Ruma Paul, Jeremie Melchior, Peter Van Roy, Vladimir Vlassov
Veröffentlicht in: 2017 IEEE International Conference on Edge Computing (EDGE), 2017, Page(s) 55-64, ISBN 978-1-5386-2017-5
Herausgeber: IEEE
DOI: 10.1109/ieee.edge.2017.16

A Certain Tendency Of The Database Community

Autoren: Christopher S. Meiklejohn
Veröffentlicht in: Proceedings of the International Conference on the Art, Science, and Engineering of Programming - Programming '17, 2017, Page(s) 1-5, ISBN 9781-450348362
Herausgeber: ACM Press
DOI: 10.1145/3079368.3079414

Fine-Grained Consistency Upgrades for Online Services

Autoren: Filipe Freitas, Joao Leitao, Nuno Preguica, Rodrigo Rodrigues
Veröffentlicht in: 2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS), 2017, Page(s) 1-10, ISBN 978-1-5386-1679-6
Herausgeber: IEEE
DOI: 10.1109/srds.2017.9

Multimodal Indexable Encryption for Mobile Cloud-Based Applications

Autoren: Bernardo Ferreira, Joao Leitao, Henrique Domingos
Veröffentlicht in: 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2017, Page(s) 213-224, ISBN 978-1-5386-0542-4
Herausgeber: IEEE
DOI: 10.1109/dsn.2017.31

On the Design of Distributed Programming Models

Autoren: Christopher S. Meiklejohn
Veröffentlicht in: Proceedings of the Programming Models and Languages for Distributed Computing on - PMLDC '17, 2017, Page(s) 1-6, ISBN 9781-450363563
Herausgeber: ACM Press
DOI: 10.1145/3166089.3166093

Aggregation protocols in light of reliable communication

Autoren: Ziad Kassam, Ali Shoker, Paulo Sergio Almeida, Carlos Baquero
Veröffentlicht in: 2017 IEEE 16th International Symposium on Network Computing and Applications (NCA), 2017, Page(s) 1-4, ISBN 978-1-5386-1465-5
Herausgeber: IEEE
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

Autoren: Igor Kopestenski and Peter Van Roy
Veröffentlicht in: 2019
Herausgeber: SmartEdge 2019 Workshop (colocated with PerCom 2019)

Higher-Order Patterns in Replicated Data Types

Autoren: Adriaan Leijnse, Paulo Sérgio Almeida, Carlos Baquero
Veröffentlicht in: Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data - PaPoC '19, 2019, Page(s) 1-6, ISBN 9781-450362764
Herausgeber: ACM Press
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

Autoren: Igor Kopestenski, Peter Van Roy
Veröffentlicht in: 2019 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops), 2019, Page(s) 875-881, ISBN 978-1-5386-9151-9
Herausgeber: IEEE
DOI: 10.1109/percomw.2019.8730773

Sparkle: Speculative Deterministic Concurrency Control for Partially Replicated Transactional Stores

Autoren: Zhongmiao Li, Paolo Romano, Peter Van Roy
Veröffentlicht in: 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2019, Page(s) 164-175, ISBN 978-1-7281-0057-9
Herausgeber: IEEE
DOI: 10.1109/dsn.2019.00029

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

Autoren: Igor Kopestenski, Peter Van Roy
Veröffentlicht in: Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang - Erlang 2019, 2019, Page(s) 1-12, ISBN 9781-450368100
Herausgeber: ACM Press
DOI: 10.1145/3331542.3342567

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

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

Revisiting Broadcast Algorithms for Wireless Edge Networks

Autoren: André Rosa, Pedro Ákos Costa, and João Leitão
Veröffentlicht in: 2019
Herausgeber: Proceedings of the 38th IEEE Symposium on Reliable Distributed Systems (SRDS 2019)

Just-Right Consistency: reconciling availability and safety

Autoren: Shapiro, Marc; Bieniusa, Annette; Preguiça, Nuno; Balegas, Valter; Meiklejohn, Christopher
Veröffentlicht in: 4, 2018
Herausgeber: Creative Commons Attribution| 4.0 International License

LightKone: Towards General Purpose Computations on the Edge

Autoren: Ali Shoker, Joao Leitao, Peter Van Roy, and Christopher Meiklejohn
Veröffentlicht in: 2017
Herausgeber: ?

Composition in State-based Replicated Data Types

Autoren: Carlos Baquero, Paulo Sérgio Almeida, Alcino Cunha, and Carla Ferreira
Veröffentlicht in: 2017
Herausgeber: European Association for Theoretical Computer Science

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

Autoren: Mathias Weber and Annette Bieniusa
Veröffentlicht in: 2018
Herausgeber: INRIA

Delta state replicated data types

Autoren: Paulo Sérgio Almeida, Ali Shoker, Carlos Baquero
Veröffentlicht in: Journal of Parallel and Distributed Computing, 111, 2018, Page(s) 162-173, ISSN 0743-7315
Herausgeber: Academic Press
DOI: 10.1016/j.jpdc.2017.08.003

Scalable eventually consistent counters over unreliable networks

Autoren: Paulo Sérgio Almeida, Carlos Baquero
Veröffentlicht in: Distributed Computing, 32/1, 2019, Page(s) 69-89, ISSN 0178-2770
Herausgeber: Springer Verlag
DOI: 10.1007/s00446-017-0322-2

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

Autoren: Bernardo Ferreira, Joao Rodrigues, Joao Leitao, Henrique Domingos
Veröffentlicht in: IEEE Transactions on Cloud Computing, 2014, Page(s) 1-1, ISSN 2168-7161
Herausgeber: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/tcc.2017.2669999

IPA

Autoren: Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno Preguiça
Veröffentlicht in: Proceedings of the VLDB Endowment, 12/4, 2018, Page(s) 404-418, ISSN 2150-8097
Herausgeber: Proceedings of the VLDB Endowment, Vol. 12, No. 4
DOI: 10.14778/3297753.3297760

Co-Design and Verification of an Available File System

Autoren: Mahsa Najafzadeh, Marc Shapiro, Patrick Eugster
Veröffentlicht in: Verification, Model Checking, and Abstract Interpretation, 10747, 2018, Page(s) 358-381, ISBN 978-3-319-73720-1
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-73721-8_17

Global-Local View: Scalable Consistency for Concurrent Data Types

Autoren: Deepthi Akkoorath, José Brandão, Annette Bieniusa, Carlos Baquero
Veröffentlicht in: Euro-Par 2018: Parallel Processing - 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings, 11014, 2018, Page(s) 492-504, ISBN 978-3-319-96982-4
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-96983-1_35

Quality-Aware Reactive Programming for the Internet of Things

Autoren: José Proença, Carlos Baquero
Veröffentlicht in: Fundamentals of Software Engineering, 10522, 2017, Page(s) 180-195, ISBN 978-3-319-68971-5
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-68972-2_12

Software

Code to run experiments for Euro-Par 2018 paper: Global-Local View: Scalable Consistency for Concurrent Data Types

Autoren: Deepthi Akkoorath; Brandão, José; Bieniusa, Annette; Baquero, Carlos
DOI: 10.6084/m9.figshare.6383807; 10.6084/m9.figshare.6383807.v1
Herausgeber: figshare