Total Projects: 19

  • CRAI - Center for Responsible AI
    Unbabel, IAPMEI, Societal Digital Transformation, 2023-01-01 - 2025-12-31
  • Ainur - Evaluation of crash-consistency guarantees in multi-threaded PM applications
    INESC-ID Lisboa, FCT, Societal Digital Transformation, 2022-01-17 - 2025-01-16
  • Dacomico - Data Consistency in Microservices Compositions
    INESC-ID Lisboa, FCT, Societal Digital Transformation, 2022-01-15 - 2025-01-14
  • MIMU - Prospecção de informação geo-referenciada de múltiplas fontes e modalidades
    INESC-ID Lisboa, FCT, , 2018-10-01 - 2022-09-30
  • Angainor - Angainor: reproducible large-scale evaluation and fault injection
    INESC-ID Lisboa, FCT, Societal Digital Transformation, 2018-06-01 - 2022-02-28
  • HiPErBio - High Performance and Energy-efficient Processing for Bioinformatics Applications in Emergent Heterogeneous Systems
    INESC-ID Lisboa, POR Lisboa (FEDER) e FCT, Societal Digital Transformation, 2018-06-01 - 2021-12-31
  • ABYSS - Abyss: Sistemas Autonómicos Tolerantes a Falhas Maliciosas
    INESC-ID Lisboa, FCT, Security and Privacy, Societal Digital Transformation, 2016-07-01 - 2019-12-31
  • SATURN - Spatio-temporal cloud store for big-data applications
    INESC-ID Lisboa, FCT, Societal Digital Transformation, 2016-07-01 - 2019-06-30
  • SANS - Self-Adaptating NoSQL Stores
    INESC-ID Lisboa, FCT, , 2015-01-02 - 2015-12-31
  • GreenTM - GreenTM: Green Transactional Memory
    INESC-ID Lisboa, FCT, , 2014-02-02 - 2015-02-01
  • ARISTOS - Autonomic ReplicatIon of Software TransactiOnal memorieS
    INESC-ID Lisboa, FCT, , 2012-01-01 - 2012-12-31
  • specSTM - specSTM: Software Transactional Memoty with Thread-Level Speculation Support
    INESC-ID Lisboa, FCT, , 2012-01-01 - 2014-12-31
  • HPC over the Large-Scale Internet - High-Performance Computing over the Large-Scale Internet
    FCT, Universidade de Coimbra, FCT, , 2010-05-01 - 2013-05-01
  • RuLAM - Running Legacy Applications on Multicores
    INESC-ID Lisboa, FCT, , 2010-01-01 - 2013-06-30