Publikationer pr. år
Publikationer pr. år
Personlig profil
Emneord
- Programanalyse og -transformationer
- Programmeringssprog og formelle modeller
- Softwarespecifikation og -verifikation
- Webteknologi
- Kompilere og fortolkere
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Anders Møller er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
- 1 Lignende profiler
-
Reducing Static Analysis Unsoundness with Approximate Interpretation
Laursen, M. R., Xu, W. & Møller, A., jun. 2024, I: Proceedings of the ACM on Programming Languages . 8, s. 1165-1188 24 s.Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review
Åben adgang -
Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation
Veileborg, O. H., Saioc, G.-V. & Møller, A., jan. 2023, iWOAR 2022 - 7th International Workshop on Sensor-Based Activity Recognition and Artificial Intelligence, Proceedings. New York: Association for Computing Machinery, s. 1-12 32Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
Åben adgang -
35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference)
Møller, A. (Redaktør) & Sridharan, M. (Redaktør), jul. 2021, 35th European Conference on Object-Oriented Programming (ECOOP 2021). Møller, A. & Sridharan, M. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. vii-ix 3 s. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 194).Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
Åben adgang -
Modular call graph construction for security scanning of Node.js applications
Nielsen, B. B., Torp, M. T. & Møller, A., jul. 2021, ISSTA 2021 - Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis. Cadar, C. & Zhang, X. (red.). Association for Computing Machinery, s. 29-41 13 s. (Proceedings of the ACM SIGSOFT International Symposium on the Foundations of Software Engineering).Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
Fil391 Downloads (Pure) -
Semantic Patches for Adaptation of JavaScript Programs to Evolving Libraries
Nielsen, B. B., Torp, M. T. & Møller, A., 2021, Proceedings - 2021 IEEE/ACM 43rd International Conference on Software Engineering, ICSE 2021. IEEE, s. 74-85 12 s.Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil240 Downloads (Pure)
Aktiviteter
-
International Conference on Software Engineering, ICSE 2022 (Program Committee member)
Møller, A. (Arrangør)
2022Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Deltagelse i eller organisering af konference
-
International Conference on Software Engineering, ICSE 2021 (Program Committee member and Area Chair)
Møller, A. (Arrangør)
2021Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Deltagelse i eller organisering af konference
-
European Conference on Object-Oriented Programming, ECOOP 2021 (General Chair)
Møller, A. (Chair person)
2021Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Deltagelse i eller organisering af konference
-
Dynamic Languages Symposium, DLS 2020 (Program Committee member)
Møller, A. (Arrangør)
2020Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Deltagelse i eller organisering af konference
-
International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 2020 (Artifact Evaluation Committee chair)
Møller, A. (Chair person)
2020Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Deltagelse i eller organisering af konference
Priser
-
-
ERC Consolidator Grant: Automated Program Analysis for Advanced Web Applications
Møller, A. (Modtager), 2015
Pris: Priser, stipendier, udnævnelser
-
-
-