Resource-Aware Program Analysis Via Online Abstraction Coarsening | IEEE Conference Publication | IEEE Xplore