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
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
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
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
Jensen, C. S., Møller, A., Raychev, V., Dimitrov, D. & Vechev, M. (2015).
Stateless Model Checking of Event-Driven Applications. In
OOPSLA 2015 : Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (pp. 57-73). Association for Computing Machinery.
https://doi.org/10.1145/2814270.2814282
Jensen, M., Hyder, R., Westner, B. U.
, Højlund, A. & Shtyrov, Y. (2023).
Speech comprehension across time, space, frequency, and age: MEG-MVPA classification of intertrial phase coherence.
Neuropsychologia,
188, Article 108602.
https://doi.org/10.1016/j.neuropsychologia.2023.108602