3 papers
cs.SE2025
Hypergraph-Guided Regex Filter Synthesis for Event-Based Anomaly Detection
Margarida Ferreira, Victor Nicolet, Luan Pham +4
We propose HyGLAD, a novel algorithm that automatically builds a set of interpretable patterns that model event data. These patterns can then be used to detect event-based anomalie…
cs.PL2025
Program Synthesis from Partial Traces
Margarida Ferreira, Victor Nicolet, Joey Dodds +1
We present the first technique to synthesize programs that compose side-effecting functions, pure functions, and control flow, from partial traces containing records of only the si…
cs.FL2020
FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions
Margarida Ferreira, Miguel Terra-Neves, Miguel Ventura +2
Form validators based on regular expressions are often used on digital forms to prevent users from inserting data in the wrong format. However, writing these validators can pose a…