Publications

On Monitoring C/C++ Transactional Memory Programs
Transactional memory (TM) is an increasingly popular technique for synchronising threads in multi-threaded programs. To address both …
Jan Fiedor, Zdeněk Letko, Joao Lourenço, Tomáš Vojnar
Posted Jan 1, 2014
Link
Efficient support for in‐place metadata in Java software transactional memory
Software transactional memory (STM) algorithms associate metadata with the memory locations accessed during a transaction’s …
Ricardo J Dias, Tiago M Vale, Joao M Lourenco
Posted Jan 1, 2013
Link
Macrodb: Scaling database engines on multicores
Multicore processors are available for over a decade, but general purpose database management systems (DBMS) still cannot fully explore …
João Soares, João Lourenço, Nuno Preguiça
Posted Jan 1, 2013
Link
Multicore Software Engineering, Performance, and Tools
MUSEPAT merges and brings together the communities of the International Workshops on Multicore Software Engineering (IWMSE) and on …
João M Lourenço, Eitan Farchi
Posted Jan 1, 2013
Link
On the relevance of total-order broadcast implementations in replicated software transactional memories
Transactional Memory (TM), an attractive solution to support concurrent accesses to main-memory storage, is already being deployed by …
Tiago M Vale, Ricardo J Dias, João M Lourenço
Posted Jan 1, 2013
Link
On the relevance of total-order broadcast implementations in replicated software transactional memories
Transactional Memory (TM), an attractive solution to support concurrent accesses to main-memory storage, is already being deployed by …
Tiago M Vale, Ricardo J Dias, João M Lourenço
Posted Jan 1, 2013
Link
Prevenção de Violações de Atomicidade usando Contratos
A programação concorrente obriga o programador a sincronizar os acessos concorrentes a regiões de memória partilhada, contudo esta …
D Sousa, Carla Ferreira, J Lourenço
Posted Jan 1, 2013
Link
Preventing atomicity violations with contracts
Concurrent programming is a difficult and error-prone task because the programmer must reason about multiple threads of execution and …
Diogo Miguel Gaspar De Sousa
Posted Jan 1, 2013
Link
Replicaçao parcial com memória transacional distribuıda
Os sistemas de memória transacional distribuıda atuais recorrem essencialmentea distribuiçao oua replicaçao total para distribuir os …
Joao a Silva, Tiago M Vale, Joao M Lourenço, Hervé Paulino
Posted Jan 1, 2013
Link
Software Component Replication for Improved Fault-Tolerance: Can Multicore Processors Make It Work?
Programs increasingly rely on the use of complex component libraries, such as in-memory databases. As any other software, these …
Joao Soares, Joao Lourenço, Nuno Preguiça
Posted Jan 1, 2013
Link