The paper "Verification of Snapshot Isolation in Transactional Memory Java Programs" co-authored by the PhD student Ricardo Dias (FCT-UNL), Dino Distefano (QMU London), João Costa Seco (FCT-UNL), and João Lourenço (FCT-UNL), was accepted to ECOOP 2012 (acceptance rate of 21%).