Login / Signup
Miles Claver
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 3
Top Topics
Deterministic Finite Automata
Query Evaluation
Semistructured Data
Join Processing
Top Venues
PACT
CoRR
</>
Publications
</>
Jedidiah McClurg
,
Miles Claver
,
Jackson Garner
,
Jake Vossen
,
Jordan Schmerge
,
Mehmet E. Belviranli
Optimizing Regular Expressions via Rewrite-Guided Synthesis.
PACT
(2022)
Daniel Mawhirter
,
Sam Reinehr
,
Wei Han
,
Noah Fields
,
Miles Claver
,
Connor Holmes
,
Jedidiah McClurg
,
Tongping Liu
,
Bo Wu
Dryadic: Flexible and Fast Graph Pattern Matching at Scale.
PACT
(2021)
Miles Claver
,
Jordan Schmerge
,
Jackson Garner
,
Jake Vossen
,
Jedidiah McClurg
ReGiS: Regular Expression Simplification via Rewrite-Guided Synthesis.
CoRR
(2021)