2

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
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
Detecting concurrency anomalies in transactional memory programs
Facu l dade de C i ê nci as e Tecno log ia U n ive rs id ade Nova de Li sboa 2829-5 1 6 Caparica, Po r tug al {joao. l ou re nco, rj fd …
João Lourenço, Diogo Sousa, Bruno Teixeira, Ricardo Dias
Posted Jan 1, 2011
Link
Detecting concurrency anomalies in transactional memory programs
Facu l dade de C i ê nci as e Tecno log ia U n ive rs id ade Nova de Li sboa 2829-5 1 6 Caparica, Po r tug al {joao. l ou re nco, rj fd …
João Lourenço, Diogo Sousa, Bruno Teixeira, Ricardo Dias
Posted Jan 1, 2011
Link
Efficient and correct transactional memory programs combining snapshot isolation and static analysis
The use of the Snapshot Isolation (SI) level in Transactional Memory (TM) eliminates the need of tracking memory read accesses, …
Ricardo J Dias, João M Lourenço, Nuno M Preguiça
Posted Jan 1, 2011
Link