Andreasen, E., Feldthaus, A., Jensen, S. H., Jensen, C. S., Jonsson, P. A., Madsen, M. & Møller, A. (2012).
Improving Tools for JavaScript Programmers (Position Paper). Paper presented at International Workshop on Scripts to Programs, Beijing, China.
http://cs.au.dk/~amoeller/papers/stop/
Feldthaus, A., Millstein, T.
, Møller, A., Schäfer, M. & Tip, F. (2011).
Refactoring towards the good parts of JavaScript. Poster session presented at SPLASH 2011, Portland, Oregon, United States.
https://doi.org/10.1145/2048147.2048200
Danvy, O. & Hatcliff, J. (2000).
Partial Evaluation. In A. Ralston, E. Reilly & D. Hemmendinger (Eds.),
Encyclopedia of Computer Science (pp. 1370-1371). Macmillan Reference.
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. Lecture Notes in Computer Science Vol. 8409
https://doi.org/10.1007/978-3-642-54807-9_12
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. Lecture Notes in Computer Science Vol. 2088
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. ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications
https://doi.org/10.1145/2814270.2814282
Elgaard, J.
, Møller, A. & Schwartzbach, M. I. (2000).
Compile-Time Debugging of C Programs Working on Trees. In G. Smolka (Ed.),
Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings (pp. 119-134). Springer. Lecture Notes in Computer Science Vol. 1782
https://doi.org/10.1007/3-540-46425-5_8
Elgaard, J., Klarlund, N.
& Møller, A. (1998).
MONA 1.x: New Techniques for WS1S and WS2S. In A. J. Hu & M. Y. Vardi (Eds.),
Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings (pp. 516-520). Springer. Lecture Notes in Computer Science Vol. 1427
https://doi.org/10.1007/BFb0028773