Publications

2019

Executing requests concurrently in state machine replication

dissertation slides

Tiago Vale

Universidade Nova de Lisboa

2016

Pot: Deterministic transactional execution

paper slides bibtex

Tiago Vale, João Silva, Ricardo Dias, João Lourenço

ACM Transaction on Architecture and Code Optimization 13, 4

2015

Execução concorrente e determinista de transacções

paper

Tiago Vale, Ricardo Dias, João Silva, and João Lourenço

Simpósio de Informática (INForum)

Supporting multiple data replication models in distributed transactional memory

paper bibtex

João Silva, Tiago Vale, Ricardo Dias, Hervé Paulino, and João Lourenço

International Conference on Distributed Computing and Networking (ICDCN)

Framework support for the efficient implementation of multiversion algorithms

paper code bibtex

Ricardo Dias, Tiago Vale, João Lourenço

Transactional memory: Foundations, algorithms, tools, and applications

2013

Replicação parcial com memória transacional distribuída

paper

João Silva, Tiago Vale, João Lourenço, Hervé Paulino

Simpósio de Informática (INForum)

On the relevance of total-order broadcast implementations in replicated software transactional memories

paper bibtex

Tiago Vale, Ricardo Dias, João Lourenço

International Conference on Multicore Software Engineering, Performance, and Tools (MUSEPAT)

Efficient support for in-place metadata in Java software transactional memory

paper code bibtex

Ricardo Dias, Tiago Vale, João Lourenço

Concurrency and Computation: Practice and Experience 25, 17

2012

Efficient support for in-place metadata in transactional memory

paper code bibtex

Distinguished paper award

Ricardo Dias, Tiago Vale, João Lourenço

International European Conference on Parallel and Distributed Computing (Euro-Par)