Asynchronous DNS resolution built on the Amp concurrency framework