Computer Systems

Information Team Publications Projects Graduations Prototypes Seminars

Novel designs for a hierarchical distributed hash table

Novel designs for a hierarchical distributed hash table Concluded

28/01/2021 - 28/01/2022

Team

João Leitão,

LESS (is more): Low-level External Superoptimizer for Smart contracts

LESS Concluded

01/01/2021 - 30/04/2022

Team

Henrique Domingos, Simão Melo de Sousa, Salvador Abreu, Henrique Domingos, Simão Melo de Sousa, Salvador Abreu,

End-to-End Privacy Enhanced Services using AWS EC2 (EC2 / AWS CloudSerach / AWS S3)

MyPrivateEC2 Concluded

01/10/2014 - 30/09/2016

Team

Henrique Domingos, Henrique Domingos, Bernardo Ferreira,

An Environment for Live Construction of Trustworthy Software

CLAY Concluded

01/07/2016 - 31/12/2019

Team

Luis Caires, João Costa Seco, Teresa Romão, Nuno Preguiça, João Costa Seco, Carlos Viegas Damásio,

From monitoring global media to context-aware recommendation

GoLocal Concluded

01/03/2016 - 28/02/2020

Team

João Magalhães, Nuno Preguiça, Rodrigo Rodrigues,

Infrastructure for Client-Based Desktop virtualisation

iCBD Concluded

22/02/2016 - 22/02/2018

Team

Paulo Afonso Lopes, Pedro Medeiros, Nuno Preguiça,

Infrastructure for Client-Based Desktops

iCBD Concluded

01/03/2017 - 30/06/2018

Team

Paulo Afonso Lopes, Pedro Medeiros, Nuno Preguiça,

Lightweight Computation for Networks at the Edge

LightKone Concluded

01/01/2017 - 31/12/2019

Team

Nuno Preguiça, João Leitão, Carla Ferreira, Henrique Domingos, Sérgio Duarte, Bernardo Ferreira, Gonçalo Tomás, Pedro Ákos Costa, Pedro Fouto, Guilherme Borges, Maria Cecília Gomes,

High-Performance Serializable Transactions

HiPSTr Concluded

01/06/2018 - 31/05/2021

Team

João Lourenço, João Leitão, Hervé Paulino, Valter Balegas,

Secure and Scalable Platform for Massive-scale Mobile Applications

SAMOA Concluded

01/07/2018 - 30/06/2021

Team

Nuno Preguiça, João Leitão, Sérgio Duarte, João Lourenço, Bernardo Ferreira, Albert van der Linde,

Hardware-backed trusted and scalable decentralized systems

HADES Concluded

01/10/2018 - 30/09/2021

Team

Bernardo Ferreira, João Leitão, Henrique Domingos, Nuno Preguiça, Albert van der Linde, Manuel Barbosa, Bernardo Portela, Tiago Oliveira,

New Generation of Data Storage and Management Systems

NG-STORAGE Concluded

01/10/2018 - 30/09/2021

Team

João Leitão, Nuno Preguiça, Carla Ferreira, Sérgio Duarte, João Lourenço, Albert van der Linde, Pedro Fouto, Pedro Ákos Costa, Gonçalo Tomás,

FORGET – Efficiently Forgetting What Needs to be Forgotten

Concluded

01/10/2018 - 30/09/2021

Team

João Leite, Matthias Knorr, Ricardo Gonçalves, João Leitão, Carla Ferreira, Carlos Viegas Damásio, José Júlio Alferes, Nuno Preguiça,

Distributed Data-Centric Concurrency Control

DeDuCe Concluded

01/09/2018 - 31/08/2021

Team

Hervé Paulino, António Ravara, João Lourenço, Marco Giunti, Ana Almeida Matos,

A correct by design methodology for available cloud applications

PRECISE Concluded

01/10/2018 - 30/09/2021

Team

Carla Ferreira, Nuno Preguiça, Miguel Goulão, João Costa Seco, Sérgio Duarte, Valter Balegas,

Cosmos: Causal Consistency on the Network Edge.

COSMOS Concluded

14/06/2018 - 13/06/2021

Team

João Leitão, Luis Rodrigues, Nuno Preguiça, Carla Ferreira, Pedro Fouto, Gonçalo Tomás, Pedro Ákos Costa,

Improving the performance and moving to newer dimensions in Derivative-Free Optimization

BoostDFO Concluded

01/10/2018 - 30/09/2021

Team

Pedro Medeiros, Vítor Duarte,

Crowd-Sourcing Mobile Devices to Develop Edge Clouds

Hyrax Concluded

21/04/2014 - 20/04/2018

Team

Hervé Paulino, Nuno Preguiça, João Lourenço, João Leitão, João A Silva,

Auditoria de Segurança e Qualidade de Sistemas Críticos (IGF/Ministério da Justiça)

IGF-CITIUS-LOSJ Concluded

01/10/2018 - 29/03/2019

Team

Henrique Domingos,

Towards the dependable cloud: Building the foundations for tomorrows dependable cloud computing

DependableCloud Concluded

01/10/2012 - 30/09/2017

Team

Rodrigo Rodrigues,

1 2 3 Next »

Computer Systems