Publications

Christensen, A. S., Møller, A. & Schwartzbach, M. I. (2002). Static Analysis for Dynamic XML. In E-Proceeding of PLAN-X 2002 http://homepages.inf.ed.ac.uk/wadler/planx/planx-eproceed/papers/E00-1868950904.pdf

Møller, A. (2006). Static Analysis for Event-Based XML Processing. BRICS Report Series, (RS-06-16).

Møller, A. (2008). Static Analysis for Event-Based XML Processing. In PLAN-X: Programming Language Technologies for XML: An ACM SIGPLAN Workshop colocated with POPL 2008 (pp. 18-27). Universität Trier.

Kirkegaard, C. & Møller, A. (2006). Static Analysis for Java Servlets and JSP. In K. Yi (Ed.), Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings (pp. 336-352). Springer. https://doi.org/10.1007/11823230_22

Madsen, M. (2015). Static Analysis of Dynamic Languages. Department of Computer Science, Aarhus University.

Kirkegaard, C., Møller, A. & Schwartzbach, M. I. (2004). Static Analysis of XML Transformations in Java. I E E E Transactions on Software Engineering, 30(3), 181-192. https://doi.org/10.1109/TSE.2004.1271173

Stein, B., Nielsen, B. B., Chang, B.-Y. E. & Møller, A. (2019). Static Analysis with Demand-driven Value Refinement. Proceedings of the ACM on Programming Languages , 3(OOPSLA), Article 140. https://doi.org/10.1145/3360566

Danvy, O., Damian, D. & Taha, W. (Ed.) (2001). Static Transition Compression. In Semantics, Applications, and Implementation of Program Generation (Vol. 2196 of Lecture Notes in Computer Science, pp. 92-107). Springer.

Damian, D. & Danvy, O. (2001). Static Transition Compression. In W. Taha (Ed.), Semantics, Applications, and Implementation of Program Generation: Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings (pp. 92-107). Springer. https://doi.org/10.1007/3-540-44806-3_6

Brabrand, C., Møller, A. & Schwartzbach, M. I. (2001). Static Validation of Dynamically Generated HTML. In Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (pp. 38-45). Association for Computing Machinery. https://doi.org/10.1145/379605.379657

Møller, A., Olesen, M. Ø. & Schwartzbach, M. I. (2007). Static Validation of XSL Transformations. A C M Transactions on Programming Languages and Systems, 29(4), Article 21. https://doi.org/10.1145/1255450.1255454

Hyder, R., Højlund, A., Jensen, M., Johnsen, E. L., Østergaard, K. & Shtyrov, Y. (2021). STN-DBS affects language processing differentially in Parkinson's disease: Multiple-case MEG study. Acta Neurologica Scandinavica, 144(2), 132-141. https://doi.org/10.1111/ane.13423

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

Balat, V. & Danvy, O. (1998). Strong normalization by type-directed partial evaluation and run-time code generation. In X. Leroy & A. Ohori (Eds.), Types in Compilation: Second International Workshop, TIC ’98 Kyoto, Japan, March 25–27, 1998 Proceedings (pp. 240-252). Springer. https://doi.org/10.1007/BFb0055521

Balat, V. & Danvy, O. (1997). Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation. BRICS Report Series, (RS-97-43).

Alves, J. N., Westner, B. U., Højlund, A., Weil, R. S. & Dalal, S. S. (2023). Structural and functional changes in the retina in Parkinson's disease. Journal of neurology, neurosurgery, and psychiatry, 94(6), 448-456. https://doi.org/10.1136/jnnp-2022-329342

Danvy, O. (2004). Sur un Exemple de Patrick Greussay. BRICS Report Series, (RS-04-41).

Damian, D. & Danvy, O. (2001). Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation. BRICS Report Series, (RS-01-54).

Damian, D. & Danvy, O. (2003). Syntactic accidents in program analysis: on the impact of the CPS transformation. Journal of Functional Programming, 13(5), 867-904. https://doi.org/10.1017/S0956796802004379

Damian, D. & Danvy, O. (2000). Syntactic accidents in program analysis: on the impact of the CPS transformation. In Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (pp. 209-220). Association for Computing Machinery.

Daniel, D. & Danvy, O. (2000). Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation. BRICS Report Series, (RS-00-15).

Danvy, O. & Nielsen, L. R. (2001). Syntactic Theories in Practice. BRICS Report Series, (RS-01-31).

Danvy, O. & Nielsen, L. R. (2002). Syntactic Theories in Practice. BRICS Report Series, (RS-02-4).

Andreasen, E. S., Møller, A. & Nielsen, B. B. (2017). Systematic Approaches for Increasing Soundness and Precision of Static Analyzers. In K. Ali & C. Cifuentes (Eds.), SOAP 2017 - Proceedings of the 6th ACM SIGPLAN International Workshop on State of the Art in Program Analysis, co-located with PLDI 2017 (pp. 31-36). Association for Computing Machinery. https://doi.org/10.1145/3088515.3088521

Billes, M., Møller, A. & Pradel, M. (2017). Systematic black-box analysis of collaborative web applications. In PLDI 2017 - Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation (Vol. Part F128414, pp. 171-184). Association for Computing Machinery. https://doi.org/10.1145/3062341.3062364

Midtgaard, J., Brabrand, C. & Wasowski , A. (2014). Systematic Derivation of Static Analyses for Software Product Lines. In W. Binder (Ed.), MODULARITY '14 Proceedings of the 13th international conference on Modularity (pp. 181-192 ). Association for Computing Machinery. https://doi.org/10.1145/2577080.2577091

Adamsen, C. Q., Møller, A. & Mezzetti, G. (2015). Systematic Execution of Android Test Suites in Adverse Conditions. In Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA '15 (pp. 83-93 ). Association for Computing Machinery. https://doi.org/10.1145/2771783.2771786

Nielsen, A. H., Gebauer, L., Mcgregor, W. & Wallentin, M. (2014). "TA-DA!": Directional asymmetry in the brain's perception of speech sounds:an MMR study of [t] vs. [d]. Paper presented at Bias in Auditory Perception, Aarhus, Denmark.

Danvy, O. & López, P. E. M. (2003). Tagging, Encoding, and Jones Optimality. In P. Degano (Ed.), Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings (pp. 335-347). Springer. https://doi.org/10.1007/3-540-36575-3_23

Danvy, O. & Lopez, P. E. M. (2003). Tagging, Encoding, and Jones Optimality. BRICS Report Series, (RS-03-2).

Madsen, M., Zarifi, R. & Lhoták, O. (2018). Tail Call Elimination and Data Representation for Functional Languages on the Java Virtual Machine. In J. Xue & C. Dubach (Eds.), CC 2018 - Proceedings of the 27th International Conference on Compiler Construction, Co-located with CGO 2018 (pp. 139-150). Association for Computing Machinery. https://doi.org/10.1145/3178372.3179499

Gansonre, C., Højlund, A., Leminen, A., Bailey, C. & Shtyrov, Y. (2018). Task-free auditory EEG paradigm for probing multiple levels of speech processing in the brain. Psychophysiology, 55(11), Article e13216. https://doi.org/10.1111/psyp.13216

Møller, A. (2018). Technical Perspective: WebAssembly: A Quiet Revolution of the Web. Communications of the A C M, 61(12), 106-106. https://doi.org/10.1145/3282508

Amtoft, T., Consel, C., Danvy, O. & Malmkjær, K. (2001). The Abstraction and Instantiation of String-Matching Programs. BRICS Report Series, (RS-01-12).

Amtoft, T., Consel, C., Danvy, O. & Malmkjær, K. (2002). The Abstraction and Instantiation of String-Matching Programs. In T. Mogensen, D. Schmidt & H. Sudborough (Eds.), The Essence of Computation: Complexity, Analysis, Transformation (pp. 332-357). Springer. https://doi.org/10.1007/3-540-36377-7_15

Feldthaus, A. & Møller, A. (2009). The Big Manual for the Java String Analyzer: Latest release: version 2.1-1, November 30, 2009. http://www.brics.dk/JSA/

Petersen, B., Andersen, A. S., Trusbak Haumann, N., Højlund, A., Dietz, M., Michel, F., Kamaric Riis, S., Brattico, E. & Vuust, P. (2020). The CI MuMuFe: A New MMN Paradigm for Measuring Music Discrimination in Electric Hearing. Frontiers in Neuroscience, 14, Article 2. https://doi.org/10.3389/fnins.2020.00002

Petersen, B., Friis Andersen, A. S., Dietz, M., Højlund, A., Brattico, E., Haumann, N. T., Michel, F., Kamaric Riis, S. & Vuust, P. (2018). The CI MuMuFe - a new MMN paradigm for measuring music discrimination in electric hearing. Poster session presented at MMN 2018: The 8th Mismatch Negativity Conference, Helsinki, Finland.

Petersen, B., Friis Andersen, A. S., Trusbak Haumann, N., Højlund, A., Dietz, M., Michel, F., Kamaric Riis, S., Brattico, E. & Vuust, P. (2021). The CI MuMuFe - a new MMN paradigm for measuring music discrimination in electric hearing: The CI MuMuFe. Poster session presented at Neuromusic VII: Connecting with music across lifespan.

Mathur, U., Pavlogiannis, A. & Viswanathan, M. (2020). The Complexity of Dynamic Data Race Prediction. In Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2020 (pp. 713–727). Article 3394783 Association for Computing Machinery. https://doi.org/10.1145/3373718.3394783

Kjelstrom, A. H. & Pavlogiannis, A. (2022). The Decidability and Complexity of Interleaved Bidirected Dyck Reachability. Proceedings of the ACM on Programming Languages , 6(POPL), Article 12. https://doi.org/10.1145/3498673

Møller, A. & Schwartzbach, M. I. (2005). The Design Space of Type Checkers for XML Transformation Languages. In Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings (pp. 17-36). Springer. https://doi.org/10.1007/978-3-540-30570-5_2

Klarlund, N., Møller, A. & Schwartzbach, M. I. (2002). The DSD Schema Language. Automated Software Engineering, 9(3), 285-319. https://doi.org/10.1023/A:1016376608070

Danvy, O., Malmkjær, K. & Palsberg, J. (1995). The essence of eta-expansion in partial evaluation. Higher-Order and Symbolic Computation, 8(3), 209-227. https://doi.org/10.1007/BF01019004

Mathiasen, A. A. & Pavlogiannis, A. (2021). The Fine-Grained and Parallel Complexity of Andersen’s Pointer Analysis. Proceedings of the ACM on Programming Languages , 5(POPL), Article 34. https://doi.org/10.1145/3434315

Pavlogiannis, A. (2020). The Fine-Grained Complexity of Andersen's Pointer Analysis. ArXiv. https://arxiv.org/abs/2006.01491

Kristensen, L. B., Engberg-Pedersen, E., Nielsen, A. H. & Wallentin, M. (2013). The influence of context on word order processing - an fMRI study. Journal of Neurolinguistics, 26(1), 73-88. https://doi.org/10.1016/j.jneuroling.2012.05.001

Brabrand, C., Møller, A. & Schwartzbach, M. I. (2002). The <bigwig> Project. A C M Transactions on Internet Technology, 2(2), 79-114. https://doi.org/10.1145/514183.514184

Wallentin, M., Nielsen, A. H., Friis-Olivarius, M., Vuust, C. & Vuust, P. (2010). The Musical Ear Test, a new reliable test for measuring musical competence. Learning and Individual Differences, 20, 188-196.

Gebauer, L., Højlund, A. & Vuust, P. (2018). The no-standard musical multi-feature paradigm (MuMUFE). Poster session presented at MMN 2018: The 8th Mismatch Negativity Conference, Helsinki, Finland.

Displaying results 401 to 450 out of 492

Revised 01.09.2025

Sofia Hedegaard Rasmussen

Publications

Faculty