Introduces MFN selective memoization based on minimum feedback vertex set for linear-time backtracking regex matching and relates it to prior schemes under Thompson and Glushkov automata constructions.
Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering , pages =
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 2verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
A systematic mapping study of 248 papers introduces a taxonomy of synergistic effects, inter-analysis workflows, and mapping functions to catalog patterns in combined program analysis techniques.
citing papers explorer
-
Selective Memoization for Efficient Backtracking Regular Expression Matching
Introduces MFN selective memoization based on minimum feedback vertex set for linear-time backtracking regex matching and relates it to prior schemes under Thompson and Glushkov automata constructions.
-
Combined Program Analysis Techniques: A Systematic Mapping Study
A systematic mapping study of 248 papers introduces a taxonomy of synergistic effects, inter-analysis workflows, and mapping functions to catalog patterns in combined program analysis techniques.