Gabriela Sampaio

Gabriela Sampaio

PhD student at Imperial College London

About Me

I am a PhD Student at Imperial College London currently being supervised by Prof. Philippa Gardner and co-supervised by Prof. José Fragoso Santos . I am a member of the Program Specification and Verification Group and my research is focused on formal and automated verification of JavaScript programs. In general, my research interests include the verification web programs, software modularity and reuse.

My CV is available here.

Publications

Michael Nieke, Gabriela Sampaio, Thomas Thüm, Christoph Seidl, Leopoldo Teixeira, Ina Schaefer.

Guiding the evolution of product-line configurations, in International Journal on Software and Systems Modeling (SoSyM 2021).

Michael Nieke, Gabriela Sampaio, Thomas Thüm, Christoph Seidl, Leopoldo Teixeira, Ina Schaefer.

GuyDance: Guiding Configuration Updates for Product-Line Evolution, in Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution 2020).

Gabriela Sampaio, José Fragoso Santos, Petar Maksimović and Philippa Gardner.

A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications, in European Conference on Object-Oriented Programming (ECOOP 2020)

Gabriela Sampaio, Paulo Borba, and Leopoldo Teixeira.

Partially Safe Evolution of Software Product Lines, in Journal of Systems and Software (JSS 2019)

José Fragoso Santos, Petar Maksimović, Gabriela Sampaio and Philippa Gardner.

JaVerT 2.0: Compositional Symbolic Execution for JavaScript, in Symposium on Principles of Programming Languages (POPL 2019)

Gabriela Sampaio, Paulo Borba, and Leopoldo Teixeira.

Partially Safe Evolution of Software Product Lines, in International Systems and Software Product Line Conference (SPLC 2016)

Teaching

Models of Computation: teaching assistant (2017 - 2019). Activities: lab/tutorial lectures and marking.

Software Engineering Design: teaching assistant (2018). Activities: lab/tutorial lectures and marking