Formal specifications from natural language
We study the generalization abilities of language models when translating natural language
into formal specifications with complex semantics. In particular, we fine-tune language …
into formal specifications with complex semantics. In particular, we fine-tune language …
SemMT: a semantic-based testing approach for machine translation systems
Machine translation has wide applications in daily life. In mission-critical applications such
as translating official documents, incorrect translation can have unpleasant or sometimes …
as translating official documents, incorrect translation can have unpleasant or sometimes …
InfeRE: Step-by-Step Regex Generation via Chain of Inference
Automatically generating regular expressions (abbrev. regexes) from natural language
description (NL2RE) has been an emerging research area. Prior studies treat regex as a …
description (NL2RE) has been an emerging research area. Prior studies treat regex as a …
Sketch-driven regular expression generation from natural language and examples
Recent systems for converting natural language descriptions into regular expressions
(regexes) have achieved some success, but typically deal with short, formulaic text and can …
(regexes) have achieved some success, but typically deal with short, formulaic text and can …
Automatic regex synthesis methods for english: a comparative analysis
S Tariq, TA Rana - Knowledge and Information Systems, 2024 - Springer
Regular expressions (short form regex) find their application in program script synthesis,
machine translation, information extraction and web applications, such as input validations …
machine translation, information extraction and web applications, such as input validations …
Flashregex: Deducing anti-redos regexes from examples
Regular expressions (regexes) are widely used in different fields of computer science such
as programming languages, string processing and databases. However, existing tools for …
as programming languages, string processing and databases. However, existing tools for …
TransRegex: multi-modal regular expression synthesis by generate-and-repair
Since regular expressions (abbrev. regexes) are difficult to understand and compose,
automatically generating regexes has been an important research problem. This paper …
automatically generating regexes has been an important research problem. This paper …
Search-based regular expression inference on a GPU
M Valizadeh, M Berger - Proceedings of the ACM on Programming …, 2023 - dl.acm.org
Regular expression inference (REI) is a supervised machine learning and program
synthesis problem that takes a cost metric for regular expressions, and positive and negative …
synthesis problem that takes a cost metric for regular expressions, and positive and negative …
Understanding Regular Expression Denial of Service (ReDoS): Insights from LLM-Generated Regexes and Developer Forums
Regular expression Denial of Service (ReDoS) represents an algorithmic complexity attack
that exploits the processing of regular expressions (regexes) to produce a denial-of-service …
that exploits the processing of regular expressions (regexes) to produce a denial-of-service …
Structure and design of multimodal dataset for automatic regex synthesis methods in Roman Urdu
S Tariq, TA Rana - International Journal of Data Science and Analytics, 2024 - Springer
Automatic regex synthesis involves generation of regular expressions from user-written
natural language descriptions, example strings or both. Daily, countless regex generation …
natural language descriptions, example strings or both. Daily, countless regex generation …