Vasco worked in the Synergy-VM project from September 2010 until October 2011, while developing his MSc thesis.

Vasco was the main developer of MoTH, a practical verification tool for detecting atomicity violations in transactional memory programs. A preliminary version of his work was presented at PATAD 2011 (see publications) and a paper describing the final system was submitted and is under evaluation.

Period: March 2011 — October 2011