Gabriela Sampaio

Gabriela Sampaio

PhD student at Imperial College London

About Me

I am a PhD Student at Imperial College London under the supervison of Prof. Philippa Gardner and a member of the Program Specification and Verification Group. My area of research is on formal and automated verification about JavaScript programs. I am also interested in Web Development, Software Product Lines, Software Reuse and Functional and Object-oriented Programming Languages.

My CV is available here.

In my free time, I enjoy running and doing Pilates. I also like travelling and learning about different cultures.

Publications

Gabriela Sampaio, Paulo Borba, and Leopoldo Teixeira.

"Partially safe evolution of software product lines." In Proceedings of the 20th International Systems and Software Product Line Conference, pp. 124-133. ACM, 2016.

Find out more

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

"Compositional Symbolic Analysis for JavaScript: Unifying Symbolic Execution and Separation Logic." POPL, 2019 (to appear).

Find out more

Gabriela Sampaio, Paulo Borba, and Leopoldo Teixeira.

"Partially safe evolution of software product lines." Journal of Systems and Software, 2019.

For online pdf, click here

Find out more

Teaching

I am currently helping with two courses, mainly with supporting students during lab/tutorial lectures and marking.

Models of Computation (2nd year course)

This course covers key concepts in theoretical computer science, such as operational semantics, register machines and Turing machines.

Find out more

Software Engineering Design (2nd year course)

This course is about software design and covers, among other topics, design principles, design patterns, architectural styles and concurrency.

Find out more