Publications

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

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

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

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).

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

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).

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

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. (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).

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.

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

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

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

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

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

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.

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

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

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).

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

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

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., 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

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

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

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

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.

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

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).

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

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.

Møller, A. & Veileborg, O. H. (2020). Eliminating abstraction overhead of Java stream pipelines using ahead-of-time program optimization. Proceedings of the ACM on Programming Languages, 4(OOPSLA), Article 168. https://doi.org/10.1145/3428236

Chatterjee, K., Goharshady, A. K., Okati, N. & Pavlogiannis, A. (2019). Efficient Parameterized Algorithms for Data Packing. Proceedings of the ACM on Programming Languages, 3(POPL), Article 53. https://doi.org/10.1145/3290366

Ahmadi, A., Daliri, M., Goharshady, A. K. & Pavlogiannis, A. (2022). Efficient approximations for cache-conscious data placement. In R. Jhala & I. Dillig (Eds.), Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (pp. 857-871). Association for Computing Machinery. https://doi.org/10.1145/3519939.3523436

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.

Basin, D. A., Danvy, O. & Harper, R. (2004). Editorial. Higher-Order and Symbolic Computation, 17(3), 171-171. https://doi.org/10.1023/B:LISP.0000029480.20108.7d

Chin, W., Danvy, O. & Thiemann, P. (2004). Editorial: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation. Higher-Order and Symbolic Computation, 17(1-2), 5-6. https://doi.org/10.1023/B:LISP.0000029481.73168.ef

Danvy, O., Henglein, F., Mairson, H. & Pettorossi, A. (Eds.) (2005). Editorial. Higher-Order and Symbolic Computation, 18(1-2), 5-6.

Danvy, O., Filinski, A., Giavitto, J-L., Moreau, P-E. & Talcott, C. (2006). Editorial. Higher-Order and Symbolic Computation, 19(1), 343-344.

Danvy, O., de Moor, O., Padget, J. & Thiemann, P. (2006). Editorial. Higher-Order and Symbolic Computation, 19(1), 5-5.

Danvy, O. & Padget, J. (2009). Editorial. Higher-Order and Symbolic Computation, 22(1), 1-1. https://doi.org/10.1007/s10990-009-9041-0

Displaying results 251 to 300 out of 439

Revised 17.04.2023

Sofia Hedegaard Rasmussen

Department of Computer Science

Publications

Magnus Madsen

Andreas Pavlogiannis

Publications

Faculty

Magnus Madsen

Andreas Pavlogiannis