Anders Møller

Professor

Aarhus University

Denmark

Research Interests

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

About

Anders Møller is a Professor at Aarhus University in Denmark. His research primarily focuses on automated verification, static analysis, and program optimization, as illustrated by his recent publications. He has contributed to advancements in parametric communication, approximate interpretation, and context sensitivity in pointer analysis. His work is instrumental in enhancing the reliability and efficiency of software systems.

Articles (5)

Year:

2024

Year:

2024

Year:

2020

Year:

2020

Year:

2020

Collaborators (1)

Julien Lange

Lecturer

Royal Holloway, University of London

UNITED KINGDOM

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Anders Møller

Research Interests

Contact this professor

About

Articles (5)

Reducing Static Analysis Unsoundness with Approximate Interpretation

Automated Verification of Parametric Channel-Based Process Communication

Detecting locations in JavaScript programs affected by breaking library changes

Eliminating abstraction overhead of Java stream pipelines using ahead-of-time program optimization

A Principled Approach to Selective Context Sensitivity for Pointer Analysis

Collaborators (1)

Julien Lange

Make your next move.