Technical Reports - Aydin Buluç