Verified Software

Gabriela Sampaio was a PhD student at the Department of Computing at Imperial, under the supervision of Professor Philippa Gardner. She completed her BSc and MSc at Federal University of Pernambuco (UFPE, Brazil), spending a year abroad at the University of Kent, working on the Erlang refactoring project (Wrangler). In 2022, Gabriela defended her PhD thesis, A Trusted Infrastructure for Symbolic Analysis of Event based Web APIS, and took up a position at Meta (formerly Facebook).

Group Publications

1. A Trusted Infrastructure for Symbolic Analysis of Event-based Web APIs

   • Gabriela Sampaio

   Ph.D. Thesis, Imperial College London

2. A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications

   • Gabriela Sampaio
   • José Fragoso Santos
   • Petar Maksimovic
   • Philippa Gardner

   Proceedings of the 34^th European Conference on Object-Oriented Programming (ECOOP 2020)

3. JaVerT 2.0: Compositional Symbolic Execution for JavaScript

   • José Fragoso Santos
   • Petar Maksimovic
   • Gabriela Sampaio
   • Philippa Gardner

   Proceedings of the 46^th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’19), vol. 3( POPL)