2

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
Open virtualization framework for testing ground systems
The recent developments in virtualization change completely the panorama of the Hardware/OS deployment. New bottlenecks arise in the …
Nuno Duro, Rui Santos, João Lourenço, Hervé Paulino, João Martins
Posted Jan 1, 2010
Link
Open virtualization framework for testing ground systems
The recent developments in virtualization change completely the panorama of the Hardware/OS deployment. New bottlenecks arise in the …
Nuno Duro, Rui Santos, João Lourenço, Hervé Paulino, João Martins
Posted Jan 1, 2010
Link
SmART: An Application Reconfiguration Framework
SmART (Smart Application Reconfiguration Tool) is a framework for the automatic configuration of systems and applications. The tool …
Hervé Paulino, João André Martins, João Lourenço, Nuno Duro
Posted Jan 1, 2010
Link
Snapshot isolation anomalies detection in software transactional memory
Some performance issues of transactional memory are caused by unnecessary abort situations where non serializable and yet non …
Ricardo J Dias, João Seco, João M Lourenço
Posted Jan 1, 2010
Link