Miles Claver

According to our database, Miles Claver authored at least 3 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Optimizing Regular Expressions via Rewrite-Guided Synthesis.

Jedidiah McClurg, Miles Claver, Jackson Garner, Jake Vossen, Jordan Schmerge, Mehmet E. Belviranli

Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, 2022

2021

ReGiS: Regular Expression Simplification via Rewrite-Guided Synthesis.

Miles Claver, Jordan Schmerge, Jackson Garner, Jake Vossen, Jedidiah McClurg

CoRR, 2021

Dryadic: Flexible and Fast Graph Pattern Matching at Scale.

Daniel Mawhirter, Sam Reinehr, Wei Han, Noah Fields, Miles Claver, Connor Holmes, Jedidiah McClurg, Tongping Liu, Bo Wu

Proceedings of the 30th International Conference on Parallel Architectures and Compilation Techniques, 2021