2012

• Winther, J., 31.3.2012, "Improving Precision of Generated ASTs". Paper
• Thomsen, J. G., Ernst, E., Brabrand, C., Schwartzbach, M. I., 2012, "WebSelF: A Web Selection Framework". Paper
• Ingesman, M. D., Ernst, E., 2012, "Lifted Java: A Minimal Calculus for Translation Polymorphism", Journal of Object Technology, vol. 11, nr. 1, s. 1-23. Journal article
• De Fraine, B., Ernst, E., Südholt, M., 2012, "Essential AOP: The A Calculus", ACM Transactions on Programming Langauges and Systems (TOPLAS). Journal article
• Winther, J., 2012, "Improving Precision of Types". Ph.d. thesis
• Moeller, A., Schwarz, M., 2012, "Automated Detection of Client-State Manipulation Vulnerabilities". Paper
• Danvy, O., Zerny, I., 2012, "Three Syntactic Theories for Combinatory Graph Reduction", A C M Transactions on Computational Logic. Journal article
• Danvy, O., Zerny, I., 2012, "On Inter-deriving Small-step and Big-step Semantics", Theoretical Computer Science. Journal article
• Jensen, S. H., Jonsson, P. A., Moeller, A., 2012, "Remedying the Eval that Men Do". Paper
• Andreasen, E., Feldthaus, A., Jensen, S. H., Jensen, C. S., Jonsson, P. A., Madsen, M., Moeller, A., 2012, "Improving Tools for JavaScript Programmers (Position Paper)". Paper

2011

• Møller, A., Schwartzbach, M. I., 2011, "XML Graphs in Program Analysis", Science of Computer Programming, vol. 76, nr. 6, s. 492-515. Journal article
• Danvy, O., Zerny, I., 2011, "Three Syntactic Theories for Combinatory Graph Reduction", Lecture Notes in Computer Science, vol. 6564, s. 1-20. Conference article
• Møller, A., Schwarz, M. R., 2011, "HTML Validation of Context-Free Languages", Lecture Notes in Computer Science, vol. 6604, s. 426-440. Conference article
• Danvy, O., Johannsen, J., Zerny, I., 2011, "A Walk in the Semantic Park", Khoo, S., Siek, J. (eds.), Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation, Association for Computing Machinery, s. 1-12. Article in proceedings
• Jensen, S. H., Madsen, M., Møller, A., 2011, "Modeling the HTML DOM and Browser API in Static Analysis of JavaScript Web Applications", Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering. ESEC/FSE '11, Association for Computing Machinery, s. 59-69. Article in proceedings
• Feldthaus, A., Millstein, T., Møller, A., Schäfer, M., Tip, F., 2011, "Tool-supported Refactoring for JavaScript", Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications, Association for Computing Machinery, s. 119-138. Article in proceedings
• Artzi, S., Dolby, J., Jensen, S. H., Møller, A., Tip, F., 2011, "A Framework for Automated Testing of JavaScript Web Applications", Proceeding of the 33rd International Conference on Software Engineering, Association for Computing Machinery, s. 571-580. Article in proceedings
• Danvy, O., Midtgaard, J., 2011, "Abstracting abstract machines: technical perspective", Association for Computing Machinery. Communications, vol. 54, nr. 9, s. 100-100. Literature review
• Ingesman, M. D., Ernst, E., 2011, "Lifted Java: A Minimal Calculus for Translation Polymorphism", Lecture Notes in Computer Science, vol. 6705, s. 179-193. Conference article
• Winther, J., 2011, "Guarded Type Promotion", Proceedings of the 13th Workshop on Formal Techniues for Java-Like Programs, Association for Computing Machinery. Article in proceedings
• Winther, J., Schwartzbach, M. I., 2011, "Related Types", Lecture Notes in Computer Science, vol. 6813, s. 434-458. Conference article
• Agha, G., Danvy, O., Meseguer, J., 2011, "Formal Modeling". Anthology
• Danvy, O., 2011, "Pragmatics for formal semantics", Proceedings of the 10th ACM International Conference on Generative Programming and Component Engineering, Association for Computing Machinery, s. 93-94. Conference abstract in proceedings
• Danvy, O., Shan, C., 2011, "Proceedings IFIP Working Conference on Domain-Specific Languages". Anthology
• Chakravarty, M., Hu, Z., Danvy, O., 2011, "Proceedings of the 16th ACM SIGPLAN international conference on Functional programming". Anthology
• Cherabini, L., Danvy, O., 2011, "A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration", Journal of Formalized Reasoning, vol. 4, nr. 1, s. 85-109. Journal article
• Feldthaus, A., Millstein, T., Moeller, A., Schäfer, m., Tip, F., 2011, "Refactoring towards the good parts of javascript". Poster

2010

• Brabrand, C., Giegerich, R., Møller, A., 2010, "Analyzing Ambiguity of Context-Free Grammars", Science of Computer Programming, vol. 75, nr. 3, s. 176-191. Journal article
• Danvy, O., Millikin, K., Munk, J., Zerny, I., 2010, "Defunctionalized Interpreters for Call-by-Need Evaluation", Lecture Notes in Computer Science, vol. 6009, s. 240-256. Conference article
• Zerny, I., 2010, "On Graph Rewriting, Reduction and Evaluation", Horváth, Z., Zsók, V., Achten, P., Koopman, P. (eds.), Trends in Functional Programming 10, Intellect Books, s. 1-16. Article in proceedings
• Danvy, O., Johannsen, J., 2010, "Inter-deriving Semantic Artifacts for Object-Oriented Programming", Journal of Computer and System Sciences, vol. 76, nr. 5, s. 302-323. Journal article
• Danvy, O., Talcott, C., 2010, "Editorial", Higher-Order and Symbolic Computation, vol. 22, nr. 3, s. 197. Editorial
• Danvy, O., Talcott, C., 2010, "Editorial", Higher-Order and Symbolic Computation, vol. 22, nr. 4, s. 293. Editorial
• Brabrand, C., Thomsen, J. G., 2010, "Typed and Unambiguous Pattern Matching on Strings using Regular Expressions", Kutsia, T., Schreiner, W., Fernandez, M. (eds.), Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming. PPDP '10:, Association for Computing Machinery, s. 243-254. Article in proceedings
• Jensen, S. H., Møller, A., Thiemann, P., 2010, "Interprocedural Analysis with Lazy Propagation", Lecture Notes in Computer Science, vol. 6337, s. 320-339. Conference article
• Ernst, E., 2010, "Secret Valley", Lecture Notes in Computer Science, vol. 6183, s. 379. Conference abstract in journal
• De Fraine, B., Ernst, E., Südholt, M., 2010, "Essential AOP", Lecture Notes in Computer Science, vol. 6183, s. 101-125. Conference article
• Madsen, A. B., Ernst, E., 2010, "Revisting Parametric Types and Virtual Classes", Lecture Notes in Computer Science, vol. 6141, s. 233-252. Conference article
• Madsen, A. B., Ernst, E., 2010, "Revisiting Parametric Types and Virtual Classes", Lecture Notes in Computer Science, vol. 6141, s. 233-252. Conference article
• Ernst, E., 2010, "The Case for Simple Object-Orientation in VDM++". Other contribution
• Madsen, A. B., Ernst, E., 2010, "Pass-by-Subclass Parameters", Proceedings of the 4th Workshop on MechAnisms for SPEcialization, Generalization and inHerItance.MASPEGHI '10, Association for Computing Machinery, s. Article No.: 6. Article in proceedings

2009

• Danvy, O., Millikin, K., 2009, "Refunctionalization at Work", Science of Computer Programming, vol. 74, nr. 8, s. 534-549. Journal article
• Jensen, S. H., Møller, A., Thiemann, P., 2009, "Type Analysis for JavaScript", Lecture Notes in Computer Science, vol. 5673, s. 238–255. Conference article
• Møller, A., Schwarz, M. R., 2009, "JWIG: Yet Another Framework for Maintainable and Secure Web Applications", Filipe, J., Cordeiro, J. (eds.), WEBIST 2009 - Proceedings of the Fifth International Conference on Web Information Systems and Technologies, Institute for Systems and Technologies of Information, Control and Communication, s. 47-53. Article in proceedings
• Bøgetoft, P., Lund Christensen, D., Damgård, I. B., Geisler, M., Jacobsen, T., Krøigaard, M., Nielsen, J. D., Nielsen, J. B., Nielsen, K., Pagter, J. I., Schwartzbach, M. I., Toft, T., Nielsen, K., 2009, "Secure Multiparty Computation Goes Live", Lecture Notes in Computer Science, vol. 5628, s. 325-343. Conference article
• Feldthaus, A., Møller, A., 2009, "The Big Manual for the Java String Analyzer". Other contribution
• Nielsen, A. B., Ernst, E., 2009, "Virtual Class Support at the Virtual Machine Level", Rajan, H., Bockisch, C., Haupt, M., Dyer, R. (eds.), Proceedings of The 3rd workshop on Virtual Machines and Intermediate Languages (VMIL), Association for Computing Machinery. Article in proceedings
• Ernst, E., 2009, "First-Class Object Sets", Lecture Notes in Computer Science, vol. 5497, s. 83-99. Conference article
• Danvy, O., Shan, C., Zerny, I. S., 2009, "J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations", Lecture Notes in Computer Science, s. 1-19. Conference article
• Zerny, I., 2009, "On Graph Rewriting, Reduction and Evaluation", Horváth, Z., Zsók, V., Achten, P., Koopman, P. (eds.), Tenth Symposium on Trends in Functional Programming, TFP. Proceedings, Selye János University, s. 164-178. Article in proceedings