Rewrite rules are critical in equality saturation, an increasingly popular technique in
optimizing compilers, synthesizers, and verifiers. Unfortunately, develo** high-quality …

Regular expressions (short form regex) find their application in program script synthesis,
machine translation, information extraction and web applications, such as input validations …

Automatic regex synthesis involves generation of regular expressions from user-written
natural language descriptions, example strings or both. Daily, countless regex generation …

Ideally, accelerator development should be as easy as software development. Several
recent design languages/tools are working toward this goal, but actually testing early …

Forward error correction (FEC) is a key component of modern high-bandwidth networks.
Typically implemented at the physical layer, FEC attaches error-correcting codes to blocks of …

Strong-motion processing holds paramount importance in earthquake engineering and
disaster risk management systems. By leveraging parallel loops and task-parallelism …

In this paper we focus on regular expressions with acyclic backreferences and treat them as
a semiring satisfying certain theorems of Kleene algebra. Using these theorems as term …

Compilers convert between representations—usually, from higher-level, human writable
code to lower-level, machine-readable code. A compiler backend is the portion of the …

Modern computing's hardware architecture is increasingly heterogeneous, making
optimization challenging; particularly on time-critical systems where correct results are as …

Modern computing's hardware architecture is increasingly heterogeneous, making
optimization challenging; particularly on time-critical systems where correct results are as …