Regular expressions have been extended with lookaround assertions, which are subdivided
into lookahead and lookbehind assertions. These constructs are used to refine when a …

Regular expressions (regexes) are ubiquitous in modern software. There is a variety of
implementation techniques for regex matching, which can be roughly categorized as (1) …

Regular expressions are commonly used for finding and extracting matches from sequence
data. Due to the inherent ambiguity of regular expressions, a disambiguation policy must be …

Finite-state automata serve as compute kernels for many application domains such as
pattern matching and data analytics. Existing approaches on GPUs exploit three levels of …

Regular pattern matching is pervasive in applications such as text processing, malware
detection, network security, and bioinformatics. Recent studies have demonstrated …

Finite automata serve as compute kernels for various applications that require high
throughput. However, despite the increasing compute power of GPUs, their potential in …

Regular Expressions (REs) matching is crucial to identify strings exhibiting certain
morphological properties in a data stream, resulting paramount in contexts such as deep …

Multi-pattern matching is widely used in modern software for applications requiring high
throughput such as protein search, network traffic inspection, virus or spam detection …

We propose an efficient offline monitoring algorithm for properties written in DMTL (Dynamic
Metric Temporal Logic), a temporal formalism that combines MTL (Metric Temporal Logic) …

English translation plays an important role in the development of science and technology
and cultural exchanges. With the increase in translation volume, intelligent translation has …