Language Specifiaction and Program Verification

Gabriela 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, 2022

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

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

   ECOOP 2020

3. JaVerT 2.0: Compositional Symbolic Execution for JavaScript

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

   POPL 2019