Gabriela Cunha Sampaio

According to our database, Gabriela Cunha Sampaio authored at least 6 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Enhancing Compositional Static Analysis with Dynamic Analysis.

Dino Distefano, Matteo Marescotti, Cons Åhs, Sopot Cela, Gabriela Cunha Sampaio, Radu Grigore, Ákos Hajdu, Timotej Kapus, Ke Mao, Thibault Suzanne

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

PrivacyCAT: Privacy-Aware Code Analysis at Scale.

Ke Mao, Cons Åhs, Sopot Cela, Dino Distefano, Nick Gardner, Radu Grigore, Per Gustafsson, Ákos Hajdu, Timotej Kapus, Matteo Marescotti, Gabriela Cunha Sampaio, Thibault Suzanne

Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice, 2024

2022

Guiding the evolution of product-line configurations.

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

Softw. Syst. Model., 2022

2020

GuyDance: Guiding Configuration Updates for Product-Line Evolution.

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

Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

2019

JaVerT 2.0: compositional symbolic execution for JavaScript.

José Fragoso Santos, Petar Maksimovic, Gabriela Cunha Sampaio, Philippa Gardner

Proc. ACM Program. Lang., 2019

Partially safe evolution of software product lines.

Gabriela Cunha Sampaio, Paulo Borba, Leopoldo Teixeira

J. Syst. Softw., 2019