Teixeira, Bruno, João Louren{\c c}o, and Diogo Sousa. "A Static Approach for Detecting Concurrency Anomalies in Transactional Memory." InForum 2010: Proceedings of InForum Simpósio de Informática. Universidade do Minho,  2010.