Margarida Ferreira

According to our database, Margarida Ferreira authored at least 5 papers between 2021 and 2025.

Collaborative distances:

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

2025

Program Synthesis from Partial Traces.

Margarida Ferreira, Victor Nicolet, Joey Dodds, Daniel Kroening

Proc. ACM Program. Lang., 2025

Acceptance Test Generation with Large Language Models: An Industrial Case Study.

Margarida Ferreira, Luís Viegas, João Pascoal Faria, Bruno Lima

Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2025

2024

Reverse-Engineering Congestion Control Algorithm Behavior.

Margarida Ferreira, Ranysha Ware, Yash Kothari, Inês Lynce, Ruben Martins, Akshay Narayan, Justine Sherry

Proceedings of the 2024 ACM on Internet Measurement Conference, 2024

2021

FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions.

Margarida Ferreira, Miguel Terra-Neves, Miguel Ventura, Inês Lynce, Ruben Martins

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Counterfeiting Congestion Control Algorithms.

Margarida Ferreira, Akshay Narayan, Inês Lynce, Ruben Martins, Justine Sherry

Proceedings of the HotNets '21: The 20th ACM Workshop on Hot Topics in Networks, 2021