Pedro Raminhas

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 2

Top Topics

Specification Language

Test Data Generation

Top Venues

Publications

Shady Issa, Miguel Viegas, Pedro Raminhas, Nuno Machado, Miguel Matos, Paolo Romano
Exploiting Symbolic Execution to Accelerate Deterministic Databases. ICDCS (2020)
Pedro Raminhas, Shady Issa, Paolo Romano
Enhancing Efficiency of Hybrid Transactional Memory Via Dynamic Data Partitioning Schemes. CCGrid (2018)