Publications

Møller, C., Højlund, A., Bærentsen, K. B., Hansen, N. C., Skewes, J. & Vuust, P. (2019). You get what you need: individual differences in visually-induced amplification of the auditory mismatch negativity. Poster session presented at Neuroscience Day 2019, Aarhus, Denmark.

Møller, A. & Schwartzbach, M. I. (2007). XML Graphs in Program Analysis. In G. Ramalingam & E. Visser (Eds.), Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (pp. 1-10). Association for Computing Machinery. https://doi.org/10.1145/1244381.1244383

Møller, A. & Schwartzbach, M. I. (2011). XML Graphs in Program Analysis. Science of Computer Programming, 76(6), 492-515. https://doi.org/10.1016/j.scico.2009.11.007

Højlund, A., Petersen, M. V., Sridharan, K. S. & Østergaard, K. (2016). Worsening of Verbal Fluency After Deep Brain Stimulation in Parkinson's Disease: A Focused Review. Computational and Structural Biotechnology Journal, 15, 68-74.

Wallentin, M., Vuust, P., Mouridsen, K., Dohn, A., Nielsen, A. H., Roepstorff, A. & Lund, T. E. (2009). Word co-occurrence effects driving language cortex during listening to a narrative. Poster session presented at Organization for Human Brain Mapping 2009 Annual Meeting, San Francisco, United States.

Nielsen, A. H., Spyrou, L., Sadakata, M., Brandmeyer, A., Hoffmann, C., Grigore, M., Desain, P. W. M. & McQueen, J. M. (2012). What's so funny about ha-ħa? Non-native MMN responses to Arabic phonemes. Poster session presented at Donders Discussions 2012, Nijmegen, Netherlands.

Møller, C., Højlund, A., Bærentsen, K. B., Hansen, N. C., Skewes, J. C. & Vuust, P. (2018). Visually induced gains in pitch discrimination: Linking audio-visual processing with auditory abilities. Attention, Perception & Psychophysics, 80(4), 999-1010. https://doi.org/10.3758/s13414-017-1481-8

Højlund, A., Petersen, M. V., Sridharan, K. S., Møller, M. L. H., Staggemeier, A. G., Thomsen, S. G., Møller, M., Johnsen, E. L., Shtyrov, Y. & Østergaard, K. (2017). Verbal fluency declines in Parkinson's disease patients with STN-DBS: combining MEG and tractography. Poster session presented at 10th Annual International Conference Embodied and Situated Language Processing, Moscow, Russian Federation.

Chatterjee, K., Pavlogiannis, A. & Toman, V. (2019). Value-centric Dynamic Partial Order Reduction. Proceedings of the ACM on Programming Languages, 3(OOPSLA), [124]. https://doi.org/10.1145/3360550

Nielsen, B. B. & Møller, A. (2020). Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript. In Proc. 34th European Conference on Object-Oriented Programming (ECOOP) [16] Dagstuhl Publishing. Leibniz International Proceedings in Informatics https://doi.org/10.4230/LIPIcs.ECOOP.2020.16

Danvy, O. (1999). Type-Directed Partial Evaluation. In J. Hatcliff, T. Æ. Mogensen & P. Thiemann (Eds.), Partial Evaluation: Practice and Theory DIKU 1998 International Summer School Copenhagen, Denmark, June 29 – July 10, 1998 (pp. 367-411). Springer. Lecture Notes in Computer Science Vol. 1706 https://doi.org/10.1007/3-540-47018-2_16

Danvy, O. (1996). Type-Directed Partial Evaluation. In Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium (pp. 242-257). Association for Computing Machinery.

Danvy, O. (1998). Type-Directed Partial Evaluation. BRICS Lecture Series, (LS-98-3).

Mezzetti, G., Møller, A. & Strocco, F. (2016). Type unsoundness in practice: An empirical study of dart. In R. Ierusalimschy (Ed.), DLS 2016 - Proceedings of the 12th Symposium on Dynamic Languages (pp. 13-24). Association for Computing Machinery. https://doi.org/10.1145/2989225.2989227

Heinze, T. S., Møller, A. & Strocco, F. (2016). Type safety analysis for dart. In R. Ierusalimschy (Ed.), DLS 2016 - Proceedings of the 12th Symposium on Dynamic Languages (pp. 1-12). Association for Computing Machinery. https://doi.org/10.1145/2989225.2989226

Kristensen, E. K. & Møller, A. (2017). Type Test Scripts for TypeScript Testing. Proceedings of the ACM on Programming Languages , 1(OOPSLA), 90:1-90:25. [90]. https://doi.org/10.1145/3133914

Mezzetti, G., Møller, A. & Torp, M. T. (2018). Type Regression Testing to Detect Breaking Changes in Node.js Libraries. In T. D. Millstein (Ed.), 32nd European Conference on Object-Oriented Programming, ECOOP 2018 (Vol. 109, pp. 7:1-7:24). [7] Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH. Leibniz International Proceedings in Informatics Vol. 109 https://doi.org/10.4230/LIPIcs.ECOOP.2018.7

Kirkegaard, C. & Møller, A. (2006). Type Checking with XML Schema in XACT. Paper presented at PLAN-X 2006: ACM SIGPLAN Workshop on Programming Language Technologies for XML, Charleston, SC, United States.

Jensen, S. H., Møller, A. & Thiemann, P. (2009). Type Analysis for JavaScript. Lecture Notes in Computer Science, 5673, 238–255. https://doi.org/10.1007/978-3-642-03237-0_17

Biernacka, M. & Danvy, O. (2008). Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines. In W. Clinger (Ed.), Proceedings of the 2008 ACM SIGPLAN Workshop on Scheme and Functional Programming (pp. 37-48). Association for Computing Machinery.

Biernacka, M. & Danvy, O. (2009). Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines. Lecture Notes in Computer Science, 5700, 186-206. https://doi.org/10.1007/978-3-642-04164-8_10

Danvy, O. (2008). Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines. In W. Clinger (Ed.), Proceedings of the 2008 ACM SIGPLAN Workshop on Scheme and Functional Programming (pp. 21-36). Association for Computing Machinery.

Danvy, O. (2009). Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines. Lecture Notes in Computer Science, 5700, 162-185. https://doi.org/10.1007/978-3-642-04164-8_9

Feldthaus, A., Millstein, T., Møller, A., Schäfer, M. & Tip, F. (2011). Tool-supported Refactoring for JavaScript. In Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications (pp. 119-138). Association for Computing Machinery. https://doi.org/10.1145/2048066.2048078

Hansen, J. C., Kjelstrøm, A. H. & Pavlogiannis, A. (2021). Tight bounds for reachability problems on one-counter and pushdown systems. Information Processing Letters, 171, [106135]. https://doi.org/10.1016/j.ipl.2021.106135

Hatcliff, J. & Danvy, O. (1997). Thunks and the λ-calculus. Journal of Functional Programming, 7(3), 303-319.

Hatcliff, J. & Danvy, O. (1996). Thunks and the λ-calculus. B R I C S Report Series, (RS-96-19).

Hatcliff, J. & Danvy, O. (1997). Thunks and the λ-calculus. B R I C S Report Series, (RS-97-7).

Danvy, O. & Zerny, I. (2011). Three Syntactic Theories for Combinatory Graph Reduction. Lecture Notes in Computer Science, 6564, 1-20. https://doi.org/10.1007/978-3-642-20551-4_1

Danvy, O. & Zerny, I. (2013). Three Syntactic Theories for Combinatory Graph Reduction. A C M Transactions on Computational Logic, 14(4), [29]. https://doi.org/10.1145/2528932

Danvy, O. & Goldberg, M. (2001). There and Back Again. B R I C S Report Series, (RS-01-39).

Danvy, O. & Goldberg, M. (2002). There and Back Again. In Proceedings of the seventh ACM SIGPLAN international conference on Functional programming (pp. 230-234). Association for Computing Machinery. https://doi.org/10.1145/581478.581500

Danvy, O. & Goldberg, M. (2005). There and Back Again. Fundamenta Informaticae, 66(4), 397-413.

Danvy, O. & Goldberg, M. (2002). There and Back Again. B R I C S Report Series, (RS-02-12).

Bui, T. L., Chatterjee, K., Gautam, T., Pavlogiannis, A. & Toman, V. (2021). The reads-from equivalence for the TSO and PSO memory models. Proceedings of the ACM on Programming Languages , 5(OOPSLA), [164]. https://doi.org/10.1145/3485541

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.

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

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

Møller, A. & Schwartzbach, M. I. (2001). The XML Revolution. B R I C S Notes Series, (NS-01-8).

Petersen, B., Friis Andersen, A. S., Trusbak Haumann, N., Højlund, A., Dietz, M., Brattico, E., Michel, F., Kamaric Riis, S. & Vuust, P. (2019). The Sound of Music: Two Novel EEG-Paradigms for Measuring Discrimination of Music in Cochlear Implant Users. Abstract from 2019 Conference on Implantable Auditory Prostheses (CIAP), Lake Tahoe, California, United States.

Petersen, B., Friis Andersen, A. S., Trusbak Haumann, N., Højlund, A., Dietz, M., Brattico, E., Michel, F., Kamaric Riis, S. & Vuust, P. (2019). The Sound of Music – Two Novel EEG-Paradigms for Measuring Discrimination of Music in Cochlear Implant Users. Abstract from CI2019 Pediatric: 16th Symposium on Cochlear Implants in Children, Hollywood, FL, United States.

Madsen, M. (2022). The Principles of the Flix Programming Language. In Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (pp. 112-127). Association for Computing Machinery. https://doi.org/10.1145/3563835.3567661

Møller, A. & Schwartzbach, M. I. (2001). The Pointer Assertion Logic Engine. In M. L. Sofia (Ed.), Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (Vol. 36(5), pp. 221-231). Association for Computing Machinery. https://doi.org/10.1145/381694.378851

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.

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), [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

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. Lecture Notes in Computer Science Vol. 3363 https://doi.org/10.1007/978-3-540-30570-5_2

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

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

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). [3394783] Association for Computing Machinery. https://doi.org/10.1145/3373718.3394783

Displaying results 1 to 50 out of 432

Revised 17.04.2023

Sofia Hedegaard Rasmussen

Department of Computer Science

Publications

Magnus Madsen

Andreas Pavlogiannis

Publications

Faculty

Magnus Madsen

Andreas Pavlogiannis