Student

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