Klarlund, N.
, Møller, A. & Schwartzbach, M. I. (2001).
MONA Implementation Secrets. In S. Yu & A. Paun (Eds.),
Implementation and Application of Automata: 5th International Conference, CIAA 2000 London, Ontario, Canada, July 24-25, 2000 Revised Papers (pp. 182-194). Springer.
https://doi.org/10.1007/3-540-44674-5_4
Kristensen, E. K. & Møller, A. (2017).
Inference and Evolution of TypeScript Declaration Files. In M. Huisman & J. Rubin (Eds.),
Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings (Vol. 10202, pp. 99-115). Springer VS.
https://doi.org/10.1007/978-3-662-54494-5_6
Livshits, B., Sridharan, M., Smaragdakis, Y., Lhoták, O., Amaral, J. N., Chang, B-Y. E., Guyer, S. Z., Khedker, U. P.
, Møller, A. & Vardoulakis, D. (2015).
In Defense of Soundiness: A Manifesto.
Communications of the A C M,
58(2).
https://doi.org/10.1145/2644805
Madsen, M. & Andreasen, E. (2014).
String Analysis for Dynamic Field Access. In A. Cohen (Ed.),
Compiler Construction: 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings (pp. 197-217). Springer.
https://doi.org/10.1007/978-3-642-54807-9_12