Gabriela Sampaio PhD Student
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).
A trusted infrastructure for symbolic analysis of event-based web APIs
Ph.D. Thesis, Imperial College London
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications
Proceedings of the 34th European Conference on Object-Oriented Programming (ECOOP 2020)
Proceedings of the 46th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’19), vol. 3( POPL)