@inproceedings{madsen2017,
    title       = {{A Model for Reasoning About JavaScript Promises}},
    author      = {Madsen, Magnus and Lhot{\'a}k, Ond{\v{r}}ej and Tip, Frank},
    booktitle   = {Object-Oriented Programming, Systems, Languages & Applications (OOPSLA)},
    year        = {2017},
}