Publications

Conference Papers

Optimizing Regular Expressions via Rewrite-Guided Synthesis

Published in PACT, 2023

This paper combines syntax guided syntheis with equality saturation to optimize expressions, particularly regular expressions which might be highly inefficient on certain input strings.

Recommended citation: Jedidiah McClurg, Miles Claver, Jackson Garner, Jake Vossen, Jordan Schmerge, Mehmet E. Belviranli: Optimizing Regular Expressions via Rewrite-Guided Synthesis. PACT 2022: 426-438
Download Paper

ELIXR: Eliminating Computation Redundancy in CNN-Based Video Processing

Published in RSDHA@SC, 2021

This paper significantly reduces the total computation used by CNNs when processing images from video streams. The key insight is that many pixels do not change between runs, and incremental computation techniques can maintain high accuracy with a fraction of the computations.

Recommended citation: Jordan Schmerge, Daniel Mawhirter, Connor Holmes, Jedidiah McClurg, Bo Wu: ELIχR: Eliminating Computation Redundancy in CNN-Based Video Processing. RSDHA@SC 2021: 34-44
Download Paper