MSc

Emanuel Couto (2009)

Emanuel Couto (2009)

MSc Student

MSc dissertation: Speculative Execution by using Software Transactional Memory  
Co-adviser: Prof. Nuno Preguiça
Period: September 2008 — December 2009
Grade: 17/20

Nuno Luís (2009)

Nuno Luís (2009)

MSc Student

MSc dissertation: A Transactional File System Over FUSE (in Portuguese)   
Period: September 2008 — December 2009
Grade: 15/20

João Martins (2009)

João Martins (2009)

MSc Student

MSc dissertation: SmART: An Application Reconfiguration Framework   
Co-adviser: Prof. Hervé Paulino
Period: September 2012 — September 2013
Grade: 18/20
Project: VIRTU (funded by the QREN/ADI, PIs: Prof. João Lourenço and Prof. Hervé Paulino)
Papers: CSDM'10 (DOI), PADTAD'10 (DOI)

João Sousa (2009)

João Sousa (2009)

MSc Student

MSc dissertation: Parallel Run-Time for CO-OPN   
Co-adviser: Prof. Vasco Amaral
Period: September 2008 — October 2009
Grade: 16/20

Artur Martins (2008)

Artur Martins (2008)

MSc Student

MSc dissertation: Transactional File Systems   
Period: October 2007 — November 2008
Grade: 15/20

Ricardo J. Dias (2008)

Ricardo J. Dias (2008)

MSc Student

MSc dissertation: Cooperative memory and database transactions  
Period: October 2007 — October 2008
Grade: 17/20
Papers: Euro-Par 2009 (DOI), ComSIS 5:(2)'08 (DOI)

Gonaçalo Cunha (2007)

Gonaçalo Cunha (2007)

MSc Student

MSc dissertation: Consistent State Software Transactional Memory   
Period: October 2006 — October 2007
Grade: Very Good (by unanimity)
Papers: ComSIS 5:(2)'08 (DOI), JETC 2008, PADTAD'07 (DOI)

[MSc] TxBtrfs — A Transactional Snapshot-based File System

November 24, 2011

João Luís has concluded is MSc thesis entitled "TxBtrfs — A Transactional Snapshot-based File System", with the public defense taking place in September 19th, and with a final grade of 18 (out of 20).

[MSc] Practical Verification of Anomalies in Transactional Memory Programs

November 24, 2011

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).