Publications

Veileborg, O. H., Saioc, G-V. & Møller, A. (2023). Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation. In ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (pp. 1-12). [32] Association for Computing Machinery. https://doi.org/10.1145/3551349.3561154

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. Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) https://doi.org/10.1145/3519939.3523436

Bonsangue, M., Caltais, G., Feng, H. & Tunç, H. C. (2022). A Language-Based Causal Model for Safety. In Y. Aït-Ameur & F. Craciun (Eds.), Theoretical Aspects of Software Engineering (pp. 290-307). Springer. Lecture Notes in Computer Science Vol. 13299 https://doi.org/10.1007/978-3-031-10363-6_20

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

Caltais, G., Hojjat, H., Mousavi, M. R. & Tunç, H. C. (2022). DyNetKAT: An Algebra of Dynamic Networks. In P. Bouyer & L. Schröder (Eds.), Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings (pp. 184-204). Springer. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 13242 LNCS https://doi.org/10.1007/978-3-030-99253-8_10

Chatterjee, K., Svoboda, J., Žikelić, Đ., Pavlogiannis, A. & Tkadlec, J. (2022). Social balance on networks: Local minima and best-edge dynamics. Physical Review E, 106(3), [034321]. https://doi.org/10.1103/PhysRevE.106.034321

Durocher, L., Karras, P., Pavlogiannis, A. & Tkadlec, J. (2022). Invasion Dynamics in the Biased Voter Process. In Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (IJCAI-22) (pp. 265-271). IJCAI Organization. IJCAI International Joint Conference on Artificial Intelligence https://doi.org/10.24963/ijcai.2022/38

Ganardi, M., Majumdar, R., Pavlogiannis, A., Schütze, L. & Zetzsche, G. (2022). Reachability in Bidirected Pushdown VASS. In M. Bojanczyk, E. Merelli & D. P. Woodruff (Eds.), 49th EATCS International Conference on Automata, Languages, and Programming, ICALP 2022 [124] Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, LIPIcs Vol. 229 https://doi.org/10.4230/LIPIcs.ICALP.2022.124

Hansen, N. C., Højlund, A., Møller, C., Pearce, M. & Vuust, P. (2022). Musicians show more integrated neural processing of contextually relevant acoustic features. Frontiers in Neuroscience, 16, [907540]. https://doi.org/10.3389/fnins.2022.907540

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

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. CEUR Workshop Proceedings Vol. 3203 https://ceur-ws.org/Vol-3203/short8.pdf

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

Mathur, U., Pavlogiannis, A., Tunc, H. C. & Viswanathan, M. (2022). A Tree Clock Data Structure for Causal Orderings in Concurrent Executions. In B. Falsafi, M. Ferdman, S. Lu & T. F. Wenisch (Eds.), ASPLOS 2022 - Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (pp. 710-725). Association for Computing Machinery. ASPLOS: Architectural Support for Programming Languages and Operating Systems, Proceedings https://doi.org/10.1145/3503222.3507734

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.

Svoboda, J., Tkadlec, J., Pavlogiannis, A., Chatterjee, K. & Nowak, M. A. (2022). Infection dynamics of COVID-19 virus under lockdown and reopening. Scientific Reports, 12, [1526]. https://doi.org/10.1038/s41598-022-05333-5

Agarwal, P., Chatterjee, K., Pathak, S., Pavlogiannis, A. & Toman, V. (2021). Stateless Model Checking Under a Reads-Value-From Equivalence. In A. Silva, K. Rustan & M. Leino (Eds.), Computer aided verification, CAV 2021: Proceedings (Vol. 1, pp. 341-366). Springer. Lecture Notes in Computer Science Vol. 12759 https://doi.org/10.1007/978-3-030-81685-8_16

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

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

Chatterjee, K., Ibsen-Jensen, R. & Pavlogiannis, A. (2021). Quantitative Verification on Product Graphs of Small Treewidth. In 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021) (Vol. ´, pp. 42:1-42:23). Leibniz International Proceedings in Informatics Vol. 213 https://doi.org/10.4230/LIPIcs.FSTTCS.2021.42

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

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, [102718]. https://doi.org/10.1016/j.nicl.2021.102718

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

Kulkarni, R., Mathur, U. & Pavlogiannis, A. (2021). Dynamic Data-Race Detection Through the Fine-Grained Lens. In S. Haddad & D. Varacca (Eds.), 32nd International Conference on Concurrency Theory (CONCUR 2021) (pp. 16:1-16:23). Schloss Dagstuhl--Leibniz-Zentrum für Informatik. Leibniz International Proceedings in Informatics (LIPIcs) Vol. 203 https://doi.org/10.4230/LIPIcs.CONCUR.2021.16

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

Madsen, M. & Van De Pol, J. (2021). Relational nullable types with Boolean unification. Proceedings of the ACM on Programming Languages , 5(OOPSLA), 1-28. [110]. https://doi.org/10.1145/3485487

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

Mathur, U., Pavlogiannis, A. & Viswanathan, M. (2021). Optimal Prediction of Synchronization-Preserving Races. Proceedings of the ACM on Programming Languages, 5(POPL), [36]. https://doi.org/10.1145/3434317

Møller, A. & Sridharan, M. (Eds.) (2021). 35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference). In A. Møller & M. Sridharan (Eds.), 35th European Conference on Object-Oriented Programming (ECOOP 2021) (pp. vii-ix). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, LIPIcs Vol. 194 https://doi.org/10.4230/LIPIcs.ECOOP.2021.0

Møller, C., Garza-Villarreal, E. A., Hansen, N. C., Højlund, A., Bærentsen, K. B., Chakravarty, M. M. & Vuust, P. (2021). Audiovisual structural connectivity in musicians and non-musicians: a cortical thickness and diffusion tensor imaging study. Scientific Reports, 11(1), [4324]. https://doi.org/10.1038/s41598-021-83135-x

Nielsen, B. B., Torp, M. T. & Møller, A. (2021). Modular call graph construction for security scanning of Node.js applications. In C. Cadar & X. Zhang (Eds.), ISSTA 2021 - Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (pp. 29-41). Association for Computing Machinery. Proceedings of the ACM SIGSOFT International Symposium on the Foundations of Software Engineering https://doi.org/10.1145/3460319.3464836

Nielsen, B. B., Torp, M. T. & Møller, A. (2021). Semantic Patches for Adaptation of JavaScript Programs to Evolving Libraries. In 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) (pp. 74-85). IEEE. https://doi.org/10.1109/ICSE43902.2021.00020

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.

Quiroga-Martinez, D. R., Hansen, N. C., Hojlund, A., Pearce, M., Brattico, E., Holmes, E., Friston, K. & Vuust, P. (2021). Musicianship and melodic predictability enhance neural gain in auditory cortex during pitch deviance detection. Human Brain Mapping, 42(17), 5595-5608. https://doi.org/10.1002/hbm.25638

Seeberg, A. B., Trusbak Haumann, N., Højlund, A., Andersen, A. S., F. Faulkner, K., Brattico, E., Vuust, P. & Petersen, B. (2021). Adapting to the sound of music - Development of music discrimination skills in recently implanted cochlear implant users. Poster session presented at 3rd Music & Cohlear Implants Symposium, Cambridge [+ online], United Kingdom.

Seeberg, A. B., Trusbak Haumann, N., Højlund, A., Andersen, A. S., F. Faulkner, K., Brattico, E., Vuust, P. & Petersen, B. (2021). Adapting to the sound of music - Development of music discrimination skills in recently implanted cochlear implant users. Poster session presented at Neuromusic VII: Connecting with music across lifespan.

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

Vibholm, A. K., Dietz, M. J., Beniczky, S., Christensen, J., Højlund, A., Jacobsen, J., Bender, D., Møller, A. & Brooks, D. J. (2021). Activated N-methyl-D-aspartate receptor ion channels detected in focal epilepsy with [¹⁸F]GE-179 positron emission tomography. Epilepsia, 62(12), 2899-2908. https://doi.org/10.1111/epi.17074

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 (pp. 253-270). Springer. Lecture Notes in Computer Science Vol. 12302 https://doi.org/10.1007/978-3-030-59152-6_14

Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R. & Pavlogiannis, A. (2020). Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis. In P. Müller (Ed.), Programming Languages and Systems- 29th European Symposium on Programming, ESOP 2020 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings (pp. 112-140). Springer. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 12075 https://doi.org/10.1007/978-3-030-44914-8_5

Endo, A. T. & Møller, A. (2020). NodeRacer: Event Race Detection for Node.js Applications. In 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, ICST 2020: Proceedings (pp. 120-130). [9159075] Institute of Electrical and Electronics Engineers Inc.. Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, ICST 2020 https://doi.org/10.1109/ICST46399.2020.00022

Hyder, R., Højlund, A., Jensen, M., Østergaard, K. & Shtyrov, Y. (2020). Objective assessment of automatic language comprehension mechanisms in the brain: Novel E/MEG paradigm. Psychophysiology, 57(5), [e13543]. https://doi.org/10.1111/psyp.13543

Li, Y., Tan, T., Møller, A. & Smaragdakis, Y. (2020). A Principled Approach to Selective Context Sensitivity for Pointer Analysis. ACM Transactions on Programming Languages and Systems, 42(2), [10]. https://doi.org/10.1145/3381915

Madsen, M., Lhoták, O. & Tip, F. (2020). A Semantics for the Essence of React. In R. Hirschfeld & T. Pape (Eds.), 34th European Conference on Object-Oriented Programming (ECOOP 2020) (Vol. 166, pp. 12:1-12:26). Schloss Dagstuhl--Leibniz-Zentrum für Informatik. Leibniz International Proceedings in Informatics, LIPIcs Vol. 166 https://doi.org/10.4230/LIPIcs.ECOOP.2020.12

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. ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications https://doi.org/10.1145/3428193

Madsen, M. & Pol, J. V. D. (2020). Polymorphic types and effects with Boolean unification. In Proceedings of the ACM on Programming Languages (OOPSLA ed., Vol. 4). Association for Computing Machinery. ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications https://doi.org/10.1145/3428222

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

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), [168]. https://doi.org/10.1145/3428236

Nielsen, B. B., Torp, M. T. & Møller, A. (2020). Detecting Locations in JavaScript Programs Affected by Breaking Library Changes. Proceedings of the ACM on Programming Languages, 4(OOPSLA), [187]. https://doi.org/10.1145/3428255

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

Displaying results 1 to 50 out of 432