Total Projects: 10

  • Ainur - Evaluation of crash-consistency guarantees in multi-threaded PM applications
    INESC-ID Lisboa, FCT, Societal Digital Transformation, 2022-01-17 - 2025-01-16
  • MS3 - New foundations for micro-services and serverless systems
    INESC-ID Lisboa, FCT, Societal Digital Transformation, 2021-02-01 - 2024-01-31
  • ACT-PM - Automating Crash-Consistency Testing for Persistent Memory
    INESC-ID Lisboa, FCT, Societal Digital Transformation, 2020-10-01 - 2021-09-30
  • COSMOS - Cosmos: Causal Consistency on the Network Edge
    INESC-ID Lisboa, FCT, Security and Privacy, Societal Digital Transformation, 2018-06-14 - 2022-06-13
  • Byzantium - Byzantium: Efficient Byzantine fault-tolerant database replication
    Fundação da Faculdade de Ciências e Tecnologia, FCT, , 2008-01-01 - 2010-12-12
  • PRIVATO - Privacy Aware Trusted Computing
    INESC-ID Lisboa, FCT, , 2007-12-01 - 2010-12-01
  • PoliGrid - PoliGrid - distributed policies for resource management in Grids
    INESC-ID Lisboa, FCT, , 2007-07-01 - 2010-06-30