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 bibtex code
Ricardo Dias, Tiago Vale, João Lourenço.
Transactional memory: Foundations, algorithms, tools, and applications.
2013
Efficient support for in-place metadata in Java software transactional memory.
paper bibtex code
Ricardo Dias, Tiago Vale, João Lourenço.
Concurrency and Computation: Practice and Experience 25, 17.
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).
2012
Efficient support for in-place metadata in transactional memory.
paper bibtex code
Distinguished paper award.
Ricardo Dias, Tiago Vale, João Lourenço.
International European Conference on Parallel and Distributed Computing (Euro-Par).