Publications

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
Practical verification of high-level dataraces in transactional memory programs
In this paper we present MoTh, a tool that uses static analysis to enable the automatic verification of concurrency anomalies in …
Vasco Pessanha, Ricardo J Dias, João M Lourenço, Eitan Farchi, Diogo Sousa
Posted Jan 1, 2011
Link
Practical verification of high-level dataraces in transactional memory programs
In this paper we present MoTh, a tool that uses static analysis to enable the automatic verification of concurrency anomalies in …
Vasco Pessanha, Ricardo J Dias, João M Lourenço, Eitan Farchi, Diogo Sousa
Posted Jan 1, 2011
Link
StarTM: Automatic Verification of Snapshot Isolation in Transactional Memory Java Programs
This paper presents StarTM, an automatic verification tool for transactional memory Java programs executing under relaxed isolation …
Ricardo J Dias, Dino Distefano, Joao M Lourenço, Joao Costa Seco
Posted Jan 1, 2011
Link
A static approach for detecting concurrency anomalies in transactional memory
Programs containing concurrency anomalies will most probably exhibit harmful erroneous and unpredictable behaviors. To ensure program …
João Lourenço
Posted Jan 1, 2010
Link
Detection of transactional memory anomalies using static analysis
Transactional Memory allows programmers to reduce the number of synchronization errors introduced in concurrent programs, but does not …
Bruno Teixeira, João Lourenço, Eitan Farchi, Ricardo Dias, Diogo Sousa
Posted Jan 1, 2010
Link
Detection of transactional memory anomalies using static analysis
Transactional Memory allows programmers to reduce the number of synchronization errors introduced in concurrent programs, but does not …
Bruno Teixeira, João Lourenço, Eitan Farchi, Ricardo Dias, Diogo Sousa
Posted Jan 1, 2010
Link