The Omniscient Garbage Collector: A Resource Analysis Framework. - Aurelien Deharbe; Frédéric Peschanski (ACSD, 2014)