MSc

Joana Roque (2013)

Joana Roque (2013)

MSc Student

MSc dissertation: A Study on the Performance of an Object/Relational Mapping Framework (in Portuguese)  
Period: September 2012 — September 2013
Grade: 16/20 points
Work context: Synergy-VM project (funded by the National Science Foundation, PI: Prof. João Lourenço) 

Helder Martins (2013)

Helder Martins (2013)

MSc Student

MSc dissertation: Distributed Replicated Macro-Components   
Co-adviser: Prof. Nuno Preguiça
Period: September 2012 — September 2013
Grade: 17/20
Project: RepComp (funded by the National Science Foundation, PI: Prof. Nuno Preguiça)
Papers: Poster @ INForum 2012, Oral communication @ INForum 2013.

Tiago Vale (2012)

Tiago Vale (2012)

MSc Student

MSc dissertation: A Modular Distributed Transactional Memory Framework  
Period: Jan 2011 — Sep 2012
Grade: 20/20 points (the highest grade possible)
Project: Synergy-VM project (funded by the National Science Foundation, PI: Prof. João Lourenço)
Papers: Euro-Par'12 (DOI) [distinguished paper award], INForum 2012

Diogo Sousa (2013)

Diogo Sousa (2013)

MSc Student

MSc dissertation: Preventing Atomicity Violations with Contracts  
Co-adviser: Prof. Carla Ferreira
Period: September 2012 — September 2013
Grade: 19/20 points
Papers in Journals: ComSIS 8(2) 2011 (DOI).
Papers in International Conferences and Workshops: PADTAD'12 (DOI), PADTAD 2010 (DOI), PADTAD 2009 (DOI)
Papers in national conferences: INForum'13, INForum'12 (link), INForum'10 (link)
Work context: Synergy-VM project (funded by the National Science Foundation, PI: Prof. João Lourenço)

João Vaz (2011)

João Vaz (2011)

MSc Student

MSc dissertation: Byzantine Fault Tolerance in RMI Servers (in Portuguese) 
Co-adviser: Prof. Nuno Preguiça
Period: October 2010 — December 2011
Grade: 18/20
Project: RepComp (funded by the National Science Foundation, PI: Prof. Nuno Preguiça)

Vasco Pessanha (2011)

Vasco Pessanha (2011)

MSc Student

MSc dissertation: Practical Verification of Transactional Memory Programs (in Portuguese)   
Period: October 2010 — September 2011
Grade: 19/20
Project: Byzantium  (funded by the National Science Foundation, PI: Prof. Nuno Preguiça); and Synergy-VM (funded by the National Science Foundation, PI: Prof. João Lourenço)
Papers: HVC'12 (link) [Best Paper Award], PADTAD'11 (DOI), ComSIS (5):2'09 (DOI)

João Luís (2011)

João Luís (2011)

MSC Student

MSc dissertation: TxBtrfs — A Transactional Snapshot-based File System  
Period: October 2010 — September 2011
Grade: 18/20
Project: Synergy-VM project (funded by the National Science Foundation, PI: Prof. João Lourenço)
Papers: InForum'11 (link).

Luís Oliveira (2011)

Luís Oliveira (2011)

MSc Student

MSc dissertation: A Framework for Scientific Computing with GPUs   
Period: October 2009 — March 2011
Grade: 19/20
Project: RepComp (funded by the National Science Foundation, PI: Prof. Nuno Preguiça)
Papers: INForum 2011

André Lopes (2010)

André Lopes (2010)

MSc Student

MSc dissertation: tlCell: a Software Transactional Memory for the Cell Broadband Engine Architecture   
Period: September 2008 — June 2010
Grade: 15/20

Bruno Teixeira (2010)

Bruno Teixeira (2010)

MSc Student

MSc dissertation: Static Detection of Anomalies in Transactional Memory Programs  
Period: February 2009 — April 2010
Grade: 19/20
Project: Byzantium (funded by the National Science Foundation, PI: Prof. Nuno Preguiça)
Papers: ComSIS 8:(2)'11 (DOI), InForum'10, PADTAD'10 (DOI)