Leaky abstractions at hot spots