Presentation Slides
- Towards Efficient Execution of Smart Contracts, CNRS: PPTX / PDF
- Torchy: A Tracing JIT compiler for PyTorch, CC'23: PPTX / PDF
- A Decade Verifying LLVM, or How to Retrofit Soundness in Industrial Software, Workshop on Dependable and Secure Software Systems'22: PPTX / PDF / Video
- Torchy: A Tracing JIT compiler for PyTorch, MoreVMs'22: PPTX / PDF / Video
- Torchy: A Tracing JIT compiler for PyTorch, Microsoft Research Summit 2021: PPTX / PDF / Video
- Alive2: Bounded Translation Validation for LLVM, PLDI'21: PPTX / PDF
- Alive2: Verifying existing optimizations, LLVM'19: PPTX / PDF / Video
- Semantics for Compiler IRs: Undefined Behavior is not Evil!, VMCAI'19: PPTX / PDF
- Pointers, Alias & ModRef Analyses, EuroLLVM'18: PPTX / PDF / Video
- Undefined Behavior: Long Live Poison!, LLVM'16: PPTX / PDF / Video
- Automatic Software Verification with SMT, SAT/SMT/AR summer school 2016: PPTX / PDF
- Improving Reliability of Compilers, MSR PhD Summer School 2016, PPTX / PDF
- Provably Correct Peephole Optimizations with Alive, PLDI'15: PPTX / PDF
- Checking Beliefs in Dynamic Networks, NSDI'15: PPTX / PDF
- Automatic Synthesis of Weakest Preconditions for Compiler Optimizations, PhD Thesis: PPTX / PDF
- Weakest Precondition Synthesis for Compiler Optimizations, VMCAI'14: PPTX / PDF
- Verifying Optimizations using SMT Solvers, LLVM Developers' Meeting, 2013: PPTX / PDF / Examples
- Automatic Equivalence Checking of UF+IA Programs, SPIN'13: PPTX / PDF
- Synthesizing Software Verifiers from Proof Rules, PLDI'12: PDF
- Distributed and Predictable Software Model Checking, VMCAI'11: PDF
- Applying Prolog to Develop Distributed Systems, ICLP'10: PDF
- Coisas que ninguém deveria ter que saber sobre C, 2008: PDF
- Building a JIT compiler for PHP in 2 days, LLVM Developers' Meeting, 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, 2007: PPT / PDF / Exemplos
- Segurança em aplicações Web: exemplos e casos práticos em PHP, NEIIST - 7º Ciclo de Apresentações, 2007: PPT / PDF
- Keeping OPEN-R alive: Why and How, ISR/IST - ISocRob meetings, 2006: ODP / PDF
- PHP meets Unicode, NEIIST - 4º Ciclo de Apresentações, 2005: PPT / PDF
- Segurança em PHP, NEIIST - 3º Ciclo de Apresentações, 2005: PPT / PDF