Classes taught
- Course CSE 231 on Advanced Compiler Design at USCD (professor Jeanne Ferrante), Spring 2000
- Seminar on MURZ (developed by Diego Puppin and Roberto Raggi), used as an instructional tool in the class
- 6.035 Computer Language Engineering at MIT (professor Saman Amarasinghe), Fall 2002
- Recitations and tutorials
- Seminar, "Component models for HPC", at Dr. Laforenza's class on distributed system.
- Seminar, "The SMT processor", at Prof. Vanneschi's class on computer architectures.
- ADI, Algoritmi Paralleli e Distribuiti at University of Pisa (professor Linda Pagli), Spring 2007
- First lesson, OM and SM algorithms for Byzantine Agreement
- Second lesson, Practical Byzantine Fault Tolerance
- Third lesson, Atomic Commit, Two- and Three-Phase Protocols
- The Byzantine Generals Problem, L. Lamport, R. Shostak, and M. Pease
- Practical Byzantine Fault Tolerance, Miguel Castro and Barbara Liskov
- A Formal Model of Crash Recovery in a Distributed System, Skeen and Stonebraker
- All material: three lessons and three original papers
Recent talks
- PhD Check-Point, June 7, 2006
Presentation at the Department of Computer Science
PDF (656 KB)
- Infoscale 2006, Hong Kong, May 29-June 1 2006
Presentation at Infoscale 2006, Query Driven Document Partitioning and Collection Selection.
PDF (345 KB)
- SAC 2006, Dijon, April 24-27 2006
Presentation at SAC 2006, The Social Network of Java Classes.
PDF (530 KB)
- Lab-day at ISTI-CNR, April 3 2006
Internal seminar at the HPC laboratory of ISTI-CNR, AJAX: What's the Buzz About?.
PDF (624 KB)
- Lab-day at ISTI-CNR, March 24 2006
Internal seminar at the HPC laboratory of ISTI-CNR, The Social Network of Java Classes Power-law for Dummies.
PDF (509 KB)
- Sequence alignment ... in parallel!
Lecture at the seminar series on bio-informatics at University of Pisa, held on October 4th 2005.
PowerPoint (664KB)
PDF (3.9 MB)