Multi-modal synthesis of regular expressions.
Qiaochu ChenXinyu WangXi YeGreg DurrettIsil DilligPublished in: PLDI (2020)
Keyphrases
- multi modal
- regular expressions
- pattern matching
- finite automata
- semistructured data
- query language
- tree automata
- deterministic finite automata
- multi modality
- matching algorithm
- query evaluation
- xml schema
- audio visual
- regular path queries
- regular languages
- cross modal
- context free grammars
- high dimensional
- uni modal
- video search
- domain knowledge