Reconciling Abstraction with High Performance