research
∙
04/11/2023
flap: A Deterministic Parser with Fused Lexing
Lexers and parsers are typically defined separately and connected by a t...
share
research
∙
10/20/2021
Synthesizing Optimal Parallelism Placement and Reduction Strategies on Hierarchical Systems for Deep Learning
We present a novel characterization of the mapping of multiple paralleli...
research
∙
10/14/2021
Parallel Algebraic Effect Handlers
Algebraic effects and handlers support composable and structured control...
research
∙
11/12/2019
Kind Inference for Datatypes: Technical Supplement
In recent years, languages like Haskell have seen a dramatic surge of ne...
research
∙
07/01/2019