Publications

Ernst, E., Møller, A., Schwarz, M. & Strocco, F. (2017). Message safety in Dart. Science of Computer Programming, 133/1(1), 51-73. https://doi.org/10.1016/j.scico.2016.06.006

Petersen, B., Friis Andersen, A. S., Højlund, A., Dietz, M., Haumann, N. T., Brattico, E., Ovesen, T. & Vuust, P. (2017). Music Listening in Electric Hearing -designing and testing two novel EEG paradigms for measuring music perception in cochlear implant users. Poster session presented at 15th symposium on Cochlear Implants in children, San Francisco, California, United States.

Quiroga Martinez, D. R., Hansen, N. C., Højlund, A., Brattico, E. & Vuust, P. (2017). Perceptual processing of a complex auditory context: testing a new dichotic multifeature mismatch negativity (MMN) paradigm. Poster session presented at The Neurosciences and Music VI - Music, Sound and Health , Boston, Massachusetts, United States.

Quiroga Martinez, D. R., Hansen, N. C., Højlund, A., Brattico, E. & Vuust, P. (2017). Perceptual processing of a complex musical context: Testing a more realistic mismatch negativity (MMN) paradigm. Poster session presented at MEG NORD 2017, Aarhus, Denmark.

Quiroga Martinez, D. R., Hansen, N. C., Højlund, A., Brattico, E. & Vuust, P. (2017). Perceptual processing of a complex musical context: Testing a more realistic mismatch negativity paradigm. Abstract from European Society for Cognitive Sciences Of Music (ESCOM), Ghent, Belgium.

Adamsen, C. Q., Møller, A. & Tip, F. (2017). Practical Initialization Race Detection for JavaScript Web Applications. Proceedings of the ACM on Programming Languages , 1(OOPSLA), 66:1-66:22. [66]. https://doi.org/10.1145/3133890

Midtgaard, J. & Møller, A. (2017). QuickChecking static analysis properties. Software Testing, Verification and Reliability, 27(6), [e1640]. https://doi.org/10.1002/stvr.1640

Adamsen, C. Q., Møller, A., Karim, R., Sridharan, M., Tip, F. & Sen, K. (2017). Repairing Event Race Errors by Controlling Nondeterminism. In Proceedings of the 39th International Conference on Software Engineering (pp. 289-299). IEEE Press. ICSE '17 https://doi.org/10.1109/ICSE.2017.34

Højlund, A., Petersen, M., 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). Response inhibition in Parkinson's disease patients with STN-DBS. Poster session presented at The Brain Prize Meeting 2017, Middelfart, Denmark.

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.), Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis (pp. 31-36). Association for Computing Machinery. SOAP 2017 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

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

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.

Adamsen, C. Q., Mezzetti, G. & Møller, A. (2016). Analyzing Test Completeness for Dynamic Languages. In Proceedings of the 25th International Symposium on Software Testing and Analysis: ISSTA 2016 (pp. 142-153). Association for Computing Machinery. https://doi.org/10.1145/2931037.2931059

Sridharan, K. S., Højlund, A., Johnsen, E. L., Sunde, N., Beniczky, S. & Østergaard, K. (2016). Corticomuscular coherence during hand gripping with DBS and dopaminergic medication in PD patients. Poster session presented at International DBS Symposium of the Clinical Research Group KFO 247, Berling, Germany.

Sridharan, K. S., Højlund, A., Johnsen, E. L., Sunde, N., Beniczky, S. & Østergaard, K. (2016). Corticomuscular coherence during hand gripping with DBS and medication in PD patients. Poster session presented at Neuroscience day 2016.

Sridharan, K. S., Nielsen, A. H., Johnsen, E. L., Sunde, N., Beniczky, S. & Østergaard, K. (2016). Corticomuscular coherence during isotonic contractions with DBS and medication in PD patients. Poster session presented at II. International Conference on Deep Brain Stimulation (DBS), Düsseldorf, Germany. https://doi.org/10.1016/j.clinph.2016.05.246

Sridharan, K. S., Nielsen, A. H., Johnsen, E. L., Sunde, N., Beniczky, S. & Østergaard, K. (2016). EP 58. Corticomuscular coherence during isotonic contractions with DBS and medication in PD patients. Clinical Neurophysiology, 127(9), e198-e199. https://doi.org/10.1016/j.clinph.2016.05.246

Hansen, N. C., Højlund, A., Møller, C., Pearce, M. & Vuust, P. (2016). Enhanced feature integration in musicians: Expertise modulates the additivity of the MMNm response. Poster session presented at 14th International Conference on Music Perception and Cognition, San Francisco, United States.

Madsen, M., Tip, F., Andreasen, E. S., Sen, K. & Møller, A. (2016). Feedback-directed instrumentation for deployed JavaScript applications. In Proceedings of the 38th International Conference on Software Engineering : ICSE 2016 (pp. 899-910). Association for Computing Machinery. https://doi.org/10.1145/2884781.2884846

Højlund, A., Horn, N. T., Sørensen, S. D., Mcgregor, W. & Wallentin, M. (2016). Foreign sound learning and mismatch negativity (MMN): a longitudinal ERP study. Poster session presented at SNL 2016, London, United Kingdom.

Sridharan, K. S., Højlund, A., Sunde, N., Johnsen, E. L., Johansen, L. G., Beniczky, S. & Østergaard, K. (2016). How do treatments affect somatosensory processing in Parkinson's disease - A MEG study. Poster session presented at PhD Day 2016, Aarhus, Denmark.

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

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

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.

Danvy, O. (Ed.) (2015). 2015 Workshop on Continuations: pre-proceedings. Department of Computer Science, University of Aarhus. https://doi.org/10.7146/aul.4.4

Biernacki, D., Danvy, O. & Millikin, K. (2015). A dynamic continuation-passing style for dynamic delimited continuations. A C M Transactions on Programming Languages and Systems, 38(1), [2]. https://doi.org/10.1145/2794078

Jensen, C. S. (2015). Automated Testing of Event-Driven Applications. Department of Computer Science, Aarhus University.

Pavlogiannis, A., Chatterjee, K., Adlam, B. & Nowak, M. A. (2015). Cellular cooperation with shift updating and repulsion. Scientific Reports, 5, 17147. https://doi.org/10.1038/srep17147

Nielsen, A. H. (2015). Context and perceptual asymmetry effects on the mismatch response (MMR) to Danish speech sounds. Paper presented at Language and Perception 2015, Trondheim, Norway.

Sridharan, K. S., Johnsen, E. L., Nielsen, A. H., Beniczky, S., Johansen, L. G., Sunde, N. & Østergaard, K. (2015). Effect of deep brain stimulation (DBS) and medication on somatosensory function in Parkinson’s disease (PD). Poster session presented at Nordic Congress of Clinical Neurophysiology, Helsingør, Denmark.

Danvy, O. & Johannsen, J. (2015). From Outermost Reduction Semantics to Abstract Machine. Department of Computer Science, University of Aarhus. https://doi.org/10.7146/aul.3.2

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

Nielsen, A. H., Horn, N. T., Derdau Sørensen, S., Mcgregor, W. & Wallentin, M. (2015). Intensive foreign language learning reveals effects on categorical perception of sibilant voicing after only 3 weeks. i-Perception, 6(6), 1-26.

Ernst, E., Schwarz, M. R., Strocco, F. & Møller, A. (2015). Message Safety in Dart. In Dynamic Languages Symposium 2015, DLS http://cs.au.dk/~amoeller/papers/fletch/paper.pdf

Antoy, S., Johannsen, J. & Libby, S. (2015). Needed computations shortcutting needed steps. In Electronic Proceedings in Theoretical Computer Science, EPTCS (Vol. 183, pp. 18-32). Open Publishing Association. https://doi.org/10.4204/EPTCS.183.2

Johannsen, J. (2015). On Computational Small Steps and Big Steps: Refocusing for Outermost Reduction. Department of Computer Science, Aarhus University.

Nielsen, A. H., Gebauer, L., Mcgregor, W. & Wallentin, M. (2015). Perceptual asymmetry effects on the mismatch response (MMR) to Danish speech sounds. Poster session presented at Error Signals from the Brain, Leipzig, Germany.

Midtgaard, J. & Møller, A. (2015). QuickChecking Static Analysis Properties. In 8th IEEE International Conference on Software Testing, Verification and Validation (ICST), 2015 (pp. 1-10). IEEE. https://doi.org/10.1109/ICST.2015.7102603

Møller, A. & Naik, M. (2015). SOAP'15: Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis. In Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis Association for Computing Machinery. http://dl.acm.org/citation.cfm?id=2771284

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

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

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.

Clausen, C., Danvy, O. & Masuko, M. (2014). A Characterization of Moessner's Sieve. Theoretical Computer Science, 546(August), 244–256. https://doi.org/10.1016/j.tcs.2014.03.012

Nielsen, A. H., Horn, N. T., Sørensen, S. D., Mcgregor, W. & Wallentin, M. (2014). A longitudinal study of adult foreign language learning. Paper presented at Bias in Auditory Perception, Aarhus, Denmark.

Nielsen, A. H., Gebauer, L., Mcgregor, W. & Wallentin, M. (2014). Asymmetry effects on the mismatch response (MMR) to speech sounds: an MEG/ERF study of [t] vs. [d]. Poster session presented at SNL 2014 - Society for the Neurobiology of Language, Amsterdam, Netherlands.

Møller, A. & Schwarz, M. R. (2014). Automated Detection of Client-State Manipulation Vulnerabilities. A C M Transactions on Software Engineering and Methodology, 23/4, [29]. https://doi.org/10.1145/2531921

Feldthaus, A. & Møller, A. (2014). Checking Correctness of TypeScript Interfaces for JavaScript Libraries. In OOPSLA '14 Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications Association for Computing Machinery. https://doi.org/10.1145/2660193.2660215

Andreasen, E. & Møller, A. (2014). Determinacy in Static Analysis of jQuery. In A. Black & T. Millstein (Eds.), Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA '14 (pp. 17-31 ). Association for Computing Machinery. https://doi.org/10.1145/2660193.2660214

Displaying results 101 to 150 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