Presentation Slides

• Distributed and Predictable Software Model Checking, VMCAI'11, 24/01/2011: PDF
• Applying Prolog to Develop Distributed Systems, ICLP'10, 19/07/2010: PDF
• Coisas que ninguém deveria ter que saber sobre C, aula de 'Pragmática das Linguagens de Programação', 04/12/2008: PDF
• Building a JIT compiler for PHP in 2 days, LLVM Developers' Meeting, 01/08/2008: PPT / PDF (Some images by Derick Rethans. Used with permission)
• Debugging de Aplicações em C e C++, NEIIST - 7º Ciclo de Apresentações, 26/04/2007: PPT / PDF / Exemplos
• Segurança em aplicações Web: exemplos e casos práticos em PHP, NEIIST - 7º Ciclo de Apresentações, 28/03/2007: PPT / PDF
• Keeping OPEN-R alive: Why and How, ISR/IST - ISocRob meetings, 03/2006: ODP / PDF
• PHP meets Unicode, NEIIST - 4º Ciclo de Apresentações, 13/10/2005: PPT / PDF
• Segurança em PHP, NEIIST - 3º Ciclo de Apresentações, 17/03/2005: PPT / PDF