Effective Specialization of Realistic Programs via Use Sensitivity
No abstract available.
Related papers
- Relevant Context Inference POPL 1999
- PureCake: A Verified Compiler for a Lazy Functional Language PLDI 2023
- Dynamic dispatch of context-sensitive optimizations OOPSLA 2020
- Adaptive Static Analysis via Learning with Bayesian Optimization TOPLAS 2018
- Learning a strategy for adapting a program analysis via bayesian optimisation OOPSLA 2015
- A Two-Phase Approach for Conditional Floating-Point Verification TACAS 2021
- Improved type specialization for dynamic scripting languages DLS 2013
- Special Issue Dedicated to ICFP 2011 Editorial JFP 2013