Publications

2023

Contribution to book anthology

Veileborg, O. H., Saioc, G-V. & Møller, A. (2023). Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation. In iWOAR 2022 - 7th International Workshop on Sensor-Based Activity Recognition and Artificial Intelligence, Proceedings (pp. 1-12). Article 32 Association for Computing Machinery. https://doi.org/10.1145/3551349.3561154

Starup, J. L., Madsen, M. & Lhoták, O. (2023). Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints. In K. Ali & G. Salvaneschi (Eds.), 37th European Conference on Object-Oriented Programming, ECOOP 2023 Article 31 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2023.31

Petsinis, P., Pavlogiannis, A. & Karras, P. (2023). Maximizing the Probability of Fixation in the Positional Voter Model. In B. Williams, Y. Chen & J. Neville (Eds.), AAAI-23 Technical Tracks 10 (pp. 12269-12277). Article 190493 AAAI Press.

Madsen, M., Starup, J. L. & Lutze, M. (2023). Restrictable Variants: A Simple and Practical Alternative to Extensible Variants. In K. Ali & G. Salvaneschi (Eds.), 37th European Conference on Object-Oriented Programming, ECOOP 2023 (pp. 17:1-17:27). Article 17 Schloss Dagstuhl--Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ECOOP.2023.17

2023

Book anthology

Veileborg, O. H. (2023). Localized Static Program Analysis for Optimization and Error Detection. Aarhus Universitet.

2023

Contribution to journal

Alves, J. N., Westner, B. U., Højlund, A., Weil, R. S. & Dalal, S. S. (2023). Structural and functional changes in the retina in Parkinson's disease. Journal of neurology, neurosurgery, and psychiatry, 94(6), 448-456. https://doi.org/10.1136/jnnp-2022-329342

Tunç, H. C., Abdulla, P. A., Chakraborty, S., Krishna, S., Mathur, U. & Pavlogiannis, A. (2023). Optimal Reads-From Consistency Checking for C11-Style Memory Models. Proceedings of the ACM on Programming Languages , 7(PLDI), 761–785. Article 137. https://doi.org/10.1145/3591251

Tunç, H. C., Mathur, U., Pavlogiannis, A. & Viswanathan, M. (2023). Sound Dynamic Deadlock Prediction in Linear Time. Proceedings of the ACM on Programming Languages , 7, 1733-1758. https://doi.org/10.1145/3591291

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

Møller, M. L. H., Høj, S. H., Østergaard, K., Wallentin, M. & Højlund, A. (2023). No selective action verb impairment in patients with Parkinson's disease: Evidence from Danish patients reading naturalistic texts, a Commentary on García et al., 2018. Cortex, 158, 176-180. https://doi.org/10.1016/j.cortex.2022.07.006

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

Lutze, M., Madsen, M., Schuster, P. & Brachthäuser, J. I. (2023). With or Without You: Programming with Effect Exclusion. Proceedings of the ACM on Programming Languages , 7(ICFP), 448-475. https://doi.org/10.1145/3607846

Jensen, M., Hyder, R., Westner, B. U., Højlund, A. & Shtyrov, Y. (2023). Speech comprehension across time, space, frequency, and age: MEG-MVPA classification of intertrial phase coherence. Neuropsychologia, 188, Article 108602. https://doi.org/10.1016/j.neuropsychologia.2023.108602

2022

Contribution to conference

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.

2022

Contribution to book anthology

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. https://doi.org/10.1145/3503222.3507734

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. (2022). The Principles of the Flix Programming Language. In Onward! 2022 - Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, co-located with SPLASH 2022 (pp. 112-127). Association for Computing Machinery. https://doi.org/10.1145/3563835.3567661

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 Article 124 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ICALP.2022.124

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. https://doi.org/10.24963/ijcai.2022/38

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. https://doi.org/10.1007/978-3-030-99253-8_10

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 - 16th International Symposium, TASE 2022, Proceedings (pp. 290-307). Springer. https://doi.org/10.1007/978-3-031-10363-6_20

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

2022

Contribution to journal

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, Article 1526. https://doi.org/10.1038/s41598-022-05333-5

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

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, Article 907540. https://doi.org/10.3389/fnins.2022.907540

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), Article 034321. https://doi.org/10.1103/PhysRevE.106.034321

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

2021

Contribution to conference

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

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.

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.

2021

Contribution to book anthology

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. 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 Proceedings - 2021 IEEE/ACM 43rd International Conference on Software Engineering, ICSE 2021 (pp. 74-85). IEEE. https://doi.org/10.1109/ICSE43902.2021.00020

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. https://doi.org/10.4230/LIPIcs.ECOOP.2021.0

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. https://doi.org/10.4230/LIPIcs.CONCUR.2021.16

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). Article 42 https://doi.org/10.4230/LIPIcs.FSTTCS.2021.42

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 - 33rd International Conference, CAV 2021, Proceedings: Proceedings (Vol. 1, pp. 341-366). Springer. https://doi.org/10.1007/978-3-030-81685-8_16