A palestra é intitulada Symbolic Analysis of Message-Passing Client-side JavaScript Programs
O Centro de Informática (CIn) da UFPE recebe, no dia 09 de novembro, o seminário de pesquisa “Symbolic Analysis of Message-Passing Client-side JavaScript Programs”, com apresentação de Gabriela Sampaio, às 15h00, transmitido pelo canal do CIn no YouTube.
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.
Resumo da palestra
We introduce JaVerT.Post, the first symbolic execution tool for analysing message-passing client-side JavaScript programs. JaVerT.Post includes reference implementations of the WebMessaging and WebWorkers APIs, all underpinned by a shared Message-Passing Semantics which is sufficiently expressive to describe the message passing and concurrency models underlying these APIs. Our reference implementations are trustworthy in that they follow the appropriate standards line-by-line and are thoroughly tested against the official HTML5 test suite, passing all the applicable tests. We demonstrate the viability of JaVerT.Post by using it to symbolically test the webworker-promise library, a highly-used promise-wrapper over the WebMessaging and WebWorkers APIs. The testing process revealed three bugs in the library code and four bugs in the official HTML5 test suite. All bugs have been reported to the developers and subsequently fixed.
Comentários desativados