Find

For students
For PhDs
For employees

Department of Computer Science

Publications

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.

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

Danvy, O., Malmkjær, K. & Palsberg, J. (1996). Eta-expansion does The Trick. ACM Transactions on Programming Langauges and Systems (TOPLAS), 18(6), 730-751. https://doi.org/10.1145/236114.236119

Danvy, O., Malmkjær, K. & Palsberg, J. (1995). Eta-Expansion Does The Trick. B R I C S Report Series, (RS-95-41).

Danvy, O., Malmkjær, K. & Palsberg, J. (1996). Eta-Expansion Does The Trick. B R I C S Report Series, (RS-96-17).

Christensen, A. S., Møller, A. & Schwartzbach, M. I. (2003). Extending Java for High-Level Web Service Construction. A C M Transactions on Programming Languages and Systems, 25(6), 814-875. https://doi.org/10.1145/945885.945890

Biernacka, M., Danvy, O. & Sørensen, K. S. (2005). Extracting Evaluators from Proofs of Weak Head Normalization. In Electronic Notes in Theoretical Computer Science Elsevier Science Publishers.

Staicu, C. A., Torp, M. T., Schafer, M., Møller, A. & Pradel, M. (2020). Extracting Taint Specifications for JavaScript Libraries. In ICSE '20: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering (pp. 198-209). Article 3380390 Association for Computing Machinery. https://doi.org/10.1145/3377811.3380390

Wallentin, M., Kristensen, L. B., Olsen, J. H. & Nielsen, A. H. (2011). Eye movement suppression interferes with construction of object-centered spatial reference frames in working memory. Brain and Cognition, 77, 432-437. https://doi.org/10.1016/j.bandc.2011.08.015

Madsen, M., Van De Pol, J. & Henriksen, T. (2023). Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems. Proceedings of the ACM on Programming Languages , 7(OOPSLA2), 516–543. Article 240. https://doi.org/10.1145/3622816

Tkadlec, J., Pavlogiannis, A., Chatterjee, K. & Nowak, M. A. (2021). Fast and strong amplifiers of natural selection. Nature Communications, 12(1), Article 4009. https://doi.org/10.1038/s41467-021-24271-w

Chatterjee, K., Goharshady, A. K., Goyal, P., Ibsen-Jensen, R. & Pavlogiannis, A. (2019). Faster algorithms for dynamic algebraicqueries in basic RSMs with constant treewidth. ACM Transactions on Programming Languages and Systems, 41(4), Article 23. https://doi.org/10.1145/3363525

Asadi, A., Chatterjee, K., Goharshady, A. K., Mohammadi, K. & Pavlogiannis, A. (2020). Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth. In D. Van Hung & O. Sokolsky (Eds.), Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Proceedings (pp. 253-270). Springer. https://doi.org/10.1007/978-3-030-59152-6_14

Chatterjee, K., Ibsen-Jensen, R. & Pavlogiannis, A. (2021). Faster algorithms for quantitative verification in bounded treewidth graphs. Formal Methods in System Design, 57(3), 401-428. https://doi.org/10.1007/s10703-021-00373-5

Ager, M. S., Danvy, O. & Rohde, H. K. (2003). Fast Partial Evaluation of Pattern Matching in Strings. In Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation (pp. 3-9). Association for Computing Machinery. https://doi.org/10.1145/777388.777390

Ager, M. S., Danvy, O. & Rohde, H. K. (2004). Fast Partial Evaluation of Pattern Matching in Strings. B R I C S Report Series, (RS-04-40).

Ager, M. S., Danvy, O. & Rohde, H. K. (2006). Fast Partial Evaluation of Pattern Matching in Strings. A C M Transactions on Programming Languages and Systems, 28(4), 696-714. https://doi.org/10.1145/1146809.1146812

Ager, M. S., Danvy, O. & Rohde, H. K. (2003). Fast Partial Evaluation of Pattern Matching in Strings. B R I C S Report Series, (RS-03-11).

Ager, M. S., Danvy, O. & Rohde, H. K. (2003). Fast Partial Evaluation of Pattern Matching in Strings. B R I C S Report Series, (RS-03-20).

Pavlogiannis, A. (2020). Fast, Sound, and Effectively Complete Dynamic Race Prediction. Proceedings of the ACM on Programming Languages, 4(POPL), 1-29. Article 17. https://doi.org/10.1145/3371085

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

Seeberg, A. B., Vuust, P., Højlund, A., Fletcher, M., Perry, S., F. Faulkner, K. & Petersen, B. (2022). Feel the beat and improve the groove: multimodal rhythm perception in cochlear implant users. Poster session presented at CI2022 DC Emerging Issues in Cochlear Implantation, Washington D. C., United States.

Seeberg, A. B., Vuust, P., Højlund, A., Fletcher, M., Perry, S., F. Faulkner, K. & Petersen, B. (2022). Feel the beat and improve the groove: multimodal rhythm perception in cochlear implant users. Poster session presented at SysMus22 - International Conference Series of Students of Systematic Musicology, Ghent, Belgium.

Danvy, O., O'Hearn, P. & Wadler, P. (2007). Festschrift for John C. Reynolds at the Occasion of his 70th Birthday. Pergamon Press.

Alimadadi, S., Zhong, D., Madsen, M. & Tip, F. (2018). Finding Broken Promises in Asynchronous JavaScript Programs. Proceedings of the ACM on Programming Languages , 2(OOPSLA), 162:1-162:26. Article 162. https://doi.org/10.1145/3276532

Brendborg, J., Karras, P., Pavlogiannis, A., Rasmussen, A. U. & Tkadlec, J. (2022). Fixation Maximization in the Positional Moran Process. Proceedings of the AAAI Conference on Artificial Intelligence, 36(9, AAAI Technical Track on Multiagent Systems), 9304-9312. https://doi.org/10.1609/aaai.v36i9.21160

Madsen, M. & Lhoták, O. (2020). Fixpoints for the masses: programming with first-class Datalog constraints. In Proceedings of the ACM on Programming Languages (OOPSLA ed., Vol. 4). Association for Computing Machinery. https://doi.org/10.1145/3428193

Madsen, M., Starup, J. L. & Lhoták, O. (2022). Flix: A Meta Programming Language for Datalog. In Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) (pp. 202-206). CEUR-WS.org. https://ceur-ws.org/Vol-3203/short8.pdf

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.

Danvy, O. (2000). Formalizing Implementation Strategies for First-Class Continuations. 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. 88-103). Springer. https://doi.org/10.1007/3-540-46425-5_6

Danvy, O. (1999). Formalizing Implementation Strategies for First-Class Continuations. B R I C S Report Series, (RS-99-51).

Agha, G., Danvy, O. & Meseguer, J. (Eds.) (2011). Formal Modeling: Actors, Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday. Springer. Lecture Notes in Computer Science No. 7000 https://doi.org/10.1007/978-3-642-24933-4

Danvy, O. (1998). Formatting Strings in ML. B R I C S Report Series, (RS-98-5).

Müller, M., Schuster, P., Starup, J. L., Ostermann, K. & Brachthäuser, J. I. (2023). From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers. Proceedings of the ACM on Programming Languages , 7(OOPSLA2), Article 255. https://doi.org/10.1145/3622831

Ager, M. S., Biernacki, D., Danvy, O. & Midtgaard, J. (2003). From Interpreter to Compiler and Virtual Machine: A Functional Derivation. B R I C S Report Series, (RS-03-14).

Biernacki, D. & Danvy, O. (2004). From Interpreter to logic Engine by Defunctionalization. In M. Bruynooghe (Ed.), Logic Based Program Synthesis and Transformation: 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers (pp. 143-159). Springer. https://doi.org/10.1007/978-3-540-25938-1_13

Biernacki, D. & Danvy, O. (2003). From Interpreter to Logic Engine by Defunctionalization. B R I C S Report Series, (RS-03-25).

Biernacki, D. & Danvy, O. (2004). From Interpreter to Logic Engine by Defunctionalization. B R I C S Report Series, (RS-04-5).

Danvy, O. & Johannsen, J. (2014). From Outermost Reduction Semantics to Abstract Machine. In G. Gupta & R. Ricardo Peña (Eds.), 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013: Revised Selected Papers (pp. 91-98). Springer VS. https://doi.org/10.1007/978-3-319-14125-1

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

Danvy, O. (2005). From Reduction-based to Reduction-free Normalization. Electronic Notes in Theoretical Computer Science, 124(2), 79-100.

Danvy, O. (2004). From Reduction-Based to Reduction-Free Normalization. B R I C S Report Series, (RS-04-30).

Danvy, O. (2009). From Reduction-Based to Reduction-Free Normalization: Lecture notes including 70+ exercises. Lecture Notes in Computer Science, 66-164. https://doi.org/10.1007/978-3-642-04652-0_3

Hyder, R., Jensen, M., Højlund, A., Kimppa, L., Bailey, C. J., Schaldemose, J. L., Kinnerup, M. B., Østergaard, K. & Shtyrov, Y. (2021). Functional connectivity of spoken language processing in early-stage Parkinson's disease: An MEG study. NeuroImage: Clinical, 32, Article 102718. https://doi.org/10.1016/j.nicl.2021.102718

Ager, M. S., Biernacki, D., Danvy, O. & Midtgaard, J. (2003). Functional Correspondence between Evaluators and Abstract Machines. B R I C S Report Series, (RS-03-13).

Danvy, O. (2000). Functional unparsing. Journal of Functional Programming, 621-625.

Danvy, O. (1998). Functional Unparsing. B R I C S Report Series, (RS-98-12).

Larsen, K. G., Starup, J. L. & Steensgaard, J. (2021). Further Unifying the Landscape of Cell Probe Lower Bounds. Paper presented at Happening virtually , -. https://cs.au.dk/~larsen/papers/FurtherUnifying.pdf

Stiévenart, Q. & Madsen, M. (2020). Fuzzing channel-based concurrency runtimes using types and effects. In Proceedings of the ACM on Programming Languages (OOPSLA ed., Vol. 4). Association for Computing Machinery. https://doi.org/10.1145/3428254

Danvy, O. & Mason, I. (2008). Higher-Order and Symbolic Computation: Editorial. Higher-Order and Symbolic Computation, 21(4), 359.

Displaying results 151 to 200 out of 444

4

Revised 17.04.2023

-

Sofia Hedegaard Rasmussen