ARES: Abstract Representations for the Extreme-Scale Stack