Intra-module Inference
Abstract elided by the publisher.
Related papers
- Liger: Interleaving Intra- and Inter-Operator Parallelism for Distributed Large Model Inference PPoPP 2024
- Incremental precision-preserving symbolic inference for probabilistic programs PLDI 2019
- Type inference, principal typings, and let-polymorphism for first-class mixin modules ICFP 2005
- Uniqueness inference for compile-time object deallocation ISMM 2007
- Assessing the quality of evolving Haskell systems by measuring structural inequality Haskell 2020
- Modular type classes POPL 2007
- GALA: A High Performance Graph Neural Network Acceleration LAnguage and Compiler OOPSLA 2025
- Data-driven inference of representation invariants PLDI 2020