Reasoning about the Node.js Event Loop using Async Graphs.

Haiyang Sun, Daniele Bonetta, Filippo Schiavio, Walter Binder

Browse the full CGO paper archive.