Publications

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
Efficient support for in-place metadata in transactional memory
Implementations of Software Transactional Memory (STM) algorithms associate metadata with the memory locations accessed during a …
Ricardo J Dias, Tiago M Vale, João M Lourenço
Posted Jan 1, 2012
Link
Efficient support for in-place metadata in transactional memory
Implementations of Software Transactional Memory (STM) algorithms associate metadata with the memory locations accessed during a …
Ricardo J Dias, Tiago M Vale, João M Lourenço
Posted Jan 1, 2012
Link
Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC …
Kerstin Eder, João Lourenҫo, Onn Shehory
Posted Jan 1, 2012
Link
Precise detection of atomicity violations
Concurrent programs that are free of unsynchronized accesses to shared data may still exhibit unpredictable concurrency errors, called …
Ricardo J Dias, Vasco Pessanha, João M Lourenço
Posted Jan 1, 2012
Link
Precise detection of atomicity violations
Concurrent programs that are free of unsynchronized accesses to shared data may still exhibit unpredictable concurrency errors, called …
Ricardo J Dias, Vasco Pessanha, João M Lourenço
Posted Jan 1, 2012
Link
Uma Infraestrutura para Suporte de Memória Transacional Distribuída
As técnicas e algoritmos desenvolvidos sobre diferentes infraestruturas específicas dificilmente podem ser comparados entre si. Este …
Tiago M Vale, Ricardo J Dias, João M Lourenço
Posted Jan 1, 2012
Link
Using program closures to make an application programming interface (API) implementation thread safe
Consider a set of methods implementing an Application Programming Interface (API) of a given library or program module that is to be …
Eitan Farchi, Itai Segall, João M Lourenço, Diogo Sousa
Posted Jan 1, 2012
Link
Using program closures to make an application programming interface (API) implementation thread safe
Consider a set of methods implementing an Application Programming Interface (API) of a given library or program module that is to be …
Eitan Farchi, Itai Segall, João M Lourenço, Diogo Sousa
Posted Jan 1, 2012
Link
Verification of snapshot isolation in transactional memory Java programs
This paper presents an automatic verification technique for transactional memory Java programs executing under snapshot isolation …
Ricardo J Dias, Dino Distefano, Joao Costa Seco, Joao M Lourenço
Posted Jan 1, 2012
Link