Former

Former student
Olga Ribeiro (2006)

Olga Ribeiro (2006)

BSc Student

BSc report: Identity Management
Internship at: Meitner Lda, Lisboa, Portugal
Period: March 2006 — July 2006
Grade: 18/20

Pedro Pardal (2006)

Pedro Pardal (2006)

BSc Student

BSc report: Data-Mining for the Financial Market
Internship at: Novabase Business Intelligence, Lisboa, Portugal
Period: March 2006 — July 2006
Grade: 18/20

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)

Mauro Lima (2007)

Mauro Lima (2007)

BSc Student

BSc report: GALDYNSIM - Galileo Flight Dynamics Facility External Interfaces Simulator
Internship at: Critical Software S.A., Lisboa, Portugal
Period: March 2007 — July 2007
Grade: 16/20

Artur Martins (2008)

Artur Martins (2008)

MSc Student

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

Francisco (Paco) González (2008)

Francisco (Paco) González (2008)

BSC Student

BSc report: Comparativa de Performance y Usabilidad de STM's basados en C/C++
Internship at: DI - FCT - UNL
Period: March 2008 — July 2008
Grade: 19/20

Javier (Javi) Falcón (2008)

Javier (Javi) Falcón (2008)

BSc Student

BSc report: Empirical Evaluation of the Usability of Software Transactional Memory Frameworks (in Spanish)
Internship at: DI - FCT - UNL
Period: March 2008 — July 2008
Grade: 19/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)

Sérgio Faustino (2008)

Sérgio Faustino (2008)

BSc Student

BSc report: RTEMS: Real Time Executive for Multiprocessing Systems
Internship at: Edisoft, Almada, Portugal
Period: September 2008 — March 2009
Grade: 17/20

Miguel Rebelo (2009 – 2010)

Miguel Rebelo (2009 – 2010)

BSc Student

BSc research grant: Adaptation of the STAMP benchmark to the CTL transactional memory framework
Period: October 2009 — July 2010