A apresentação será realizada no dia 22 de novembro no Anfiteatro do Centro de Informática
No dia 22 de novembro de 2023, o Centro de Informática da UFPE (CIn-UFPE) promoverá o seminário “Code Analysis at WhatsApp”, ministrado pela engenheira de software Gabriela Sampaio. O evento acontecerá gratuitamente às 15hs no Anfiteatro do bloco A do CIn e também será transmitido em tempo real através do canal do Youtube. Toda a comunidade do Centro e da UFPE está convidada a participar.
A palestra pretende oferecer uma visão geral das análises desenvolvidas no WhatsApp para bases de código cliente-servidor, uma vez que as técnicas de análise de programas são amplamente utilizadas na indústria, desempenhando papel importante na detecção automática de bugs. Além disso, a abordagem será concentrada na FAUSTA, ferramenta de análise dinâmica baseada na geração de tráfego e análise de taint, e na Infer, instrumento de análise estática baseada em execução simbólica e interpretação abstrata. Ambas são capazes de detectar problemas de confiabilidade e privacidade em grande escala e servirão para retratar os desafios da sua implementação, em grande contexto industrial, em um aplicativo com mais de 2 bilhões de usuários diários.
Gabriela Sampaio é engenheira de software na Meta, em Londres. Trabalha desenvolvendo técnicas de análise, estáticas e dinâmicas, de programas para o WhatsApp. É doutora em Computação pelo Imperial College London, mestre e bacharel em Computação pelo CIn-UFPE. Seus interesses de pesquisa incluem majoritariamente técnicas de especificação e verificação de programas.
Comentários desativados