Resource Aware ML
No abstract available.
Related papers
- Randomized Resource-Aware Path-Sensitive Static Analysis APLAS 2015
- Fair Termination for Resource-Aware Active Objects APLAS 2025
- Resource aware programming TOPLAS 2005
- Resource-Aware Soundness for Big-Step Semantics OOPSLA 2023
- Don't exhaust, don't waste: Resource-aware soundness for big-step semantics JFP 2026
- Predicate-Aware Scheduling: A Technique for Reducing Resource Constraints CGO 2003
- Probabilistic Predicate-Aware Modulo Scheduling CGO 2004
- A graded dependent type system with a usage-aware semantics POPL 2021