Gabriela Sampaio

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 7

Top Topics

Web Applications

Optimal Configuration

Application Developers

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

J. Syst. Softw.

Publications

Michael Nieke, Gabriela Sampaio, Thomas Thüm, Christoph Seidl, Leopoldo Teixeira, Ina Schaefer
Guiding the evolution of product-line configurations. Softw. Syst. Model. 21 (1) (2022)
Gabriela Sampaio, José Fragoso Santos, Petar Maksimovic, Philippa Gardner
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications (Artifact). Dagstuhl Artifacts Ser. 6 (2) (2020)
Michael Nieke, Gabriela Sampaio, Thomas Thüm, Christoph Seidl, Leopoldo Teixeira, Ina Schaefer
GuyDance: Guiding Configuration Updates for Product-Line Evolution. SPLC (B) (2020)
Gabriela Sampaio, José Fragoso Santos, Petar Maksimovic, Philippa Gardner
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications. ECOOP (2020)
Gabriela Sampaio, Paulo Borba, Leopoldo Teixeira
Partially safe evolution of software product lines. J. Syst. Softw. 155 (2019)
José Fragoso Santos, Petar Maksimovic, Gabriela Sampaio, Philippa Gardner
JaVerT 2.0: compositional symbolic execution for JavaScript. Proc. ACM Program. Lang. 3 (POPL) (2019)
Gabriela Sampaio, Paulo Borba, Leopoldo Teixeira
Partially safe evolution of software product lines. SPLC (2016)