Static Resource Analysis at Scale (Extended Abstract)
No abstract available.
Related papers
- On fast large-scale program analysis in Datalog CC 2016
- Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript ECOOP 2020
- A distributed hypervisor for resource aggregation: poster PPoPP 2019
- Identifying scalability bottlenecks for large-scale parallel programs with graph analysis PPoPP 2020
- Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates ECOOP 2018
- Randomized Resource-Aware Path-Sensitive Static Analysis APLAS 2015
- Type-based amortized resource analysis with integers and arrays JFP 2015
- Scaling abstraction refinement via pruning PLDI 2011