Student

[MSc] Practical Verification of Anomalies in Transactional Memory Programs

Vasco Pessanha has concluded is MSc thesis entitled "Verificação Prática de Anomalias em Programas de Memória Transaccional" (Practical Verification of Anomalies in Transactional Memory Programs), with the public defense taking place in September 19th, and with a final grade of 19 (out of 20).

Ricardo J. Dias (2013)

Ricardo J. Dias (2013)

PhD Student

PhD dissertation: Maintaining the Correctness of Transactional Memory Programs  
School: DI - FCT - UNL
Period: June 2008 — 2013
Conclusin date: November 24, 2013
Papers and Articles: HVC'12 (link), ECOOP'12 (DOI), Euro-Par'12 (DOI) [distinguished paper award], PADTAD'12 (DOI), PADTAD'11 (DOI), ComSIS (8):2:2011 (DOI), PADATD'10 (DOI), Euro-Par'09 (DOI), PADTAD'09 (DOI), ComSIS (5):2:2008 (DOI)
Papers in national conferences: INForum'12 (link), INForum'10 (link)
Work context: Synergy-VM project (funded by the National Science Foundation, PI: Prof. João Lourenço)