Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies.
Oliver BracevacGuannan WeiSonglin JiaSupun AbeysingheYuxuan JiangYuyan BaoTiark RompfPublished in: Proc. ACM Program. Lang. (2023)
Keyphrases
- higher order
- dependency graph
- graph representation
- expressive power
- graph theory
- weighted graph
- graph matching
- higher order relations
- language independent
- random walk
- graph theoretic
- bipartite graph
- low order
- high order
- graph structure
- natural images
- markov random field
- pairwise
- databases
- conditional random fields
- undirected graph
- parallel computing
- information retrieval
- graph based algorithm