Optimization space pruning without regrets
No abstract available.
Related papers
- Verified Learning Without Regret - From Algorithmic Game Theory to Distributed Systems with Mechanized Complexity Guarantees ESOP 2018
- Program Repair without Regret CAV 2013
- LMS-Verify: abstraction without regret for verified systems programming POPL 2017
- Program optimization space pruning for a multithreaded gpu CGO 2008
- Exponentially Expanding the Phase-Ordering Search Space via Dormant Information CC 2024
- Loop transformations: convexity, pruning and optimization POPL 2011
- Effective Search Space Pruning for Testing Deep Neural Networks APLAS 2024
- Efficient modular glass box software model checking OOPSLA 2010