Semantics of Asynchronous JavaScript Matthew C. Loring Google Inc, USA mattloring@google.com Mark Marron Microsoft Research, USA marron@microsoft.com Daan Leijen Microsoft Research, USA daan@microsoft.com Abstract The Node.js runtime has become a major platform for de- velopers building cloud, mobile, or IoT applications using JavaScript. Since the JavaScript language is single threaded, Node.js p