[PLDI24] Robust Resource Bounds with Static Analysis and Bayesian Inference

ACM SIGPLAN - [PLDI24] Robust Resource Bounds with Static Analysis and Bayesian Inference