Enhancing Efficiency of Hybrid Transactional Memory Via Dynamic Data Partitioning Schemes. - Pedro Raminhas; Shady Issa; Paolo Romano 002 (CCGrid, 2018)

Exploiting Symbolic Execution to Accelerate Deterministic Databases. - Shady Issa; Miguel Viegas; Pedro Raminhas; Nuno Machado; Miguel Matos; Paolo Romano 002 (ICDCS, 2020)