Anders Møller

Registered user since Thu 21 Aug 2014

Name: Anders Møller

Bio: Professor at Department of Computer Science, Aarhus University, Denmark

Country: Denmark

Affiliation: Aarhus University

Personal website: https://cs.au.dk/~amoeller/

Research interests: static and dynamic program analysis

Contributions

ProWeb'19Committee Member in Program Committee within the ProWeb'19-track
SPLASH 2019Author of Static Analysis with Demand-Driven Value Refinement within the OOPSLA-track
ISSTA 2019Author of Distinguished Paper Awards within the Keynote-track
Program Chair in Organizing Committee
Program Chair in Program Committee within the Technical Papers-track
Author of Welcome within the Keynote-track
Panathon 2018Co-chair in Organizers within the Panathon-track
ProWeb 2018Committee Member in Program Committee within the ProWeb 2018-track
SPLASH 2018Author of Precision-Guided Context Sensitivity for Pointer Analysis within the OOPSLA-track
Author of Precision-Guided Context Sensitivity for Pointer Analysis within the Artifacts-track
Session Chair of Potpourri (part of OOPSLA)
Author of Precision-Guided Context Sensitivity for Pointer Analysis within the Posters-track
Committee Member in Review Committee within the OOPSLA-track
ICSE 2019Author of Reasonably-Most-General Clients for JavaScript Library Analysis within the Technical Track-track
JSTools 2017Author of Testing and Evolving TypeScript Declaration Files with Program Analysis within the JSTools 2017-track
SOAP 2017Author of Systematic Approaches for Increasing Soundness and Precision of Static Analyzers within the SOAP-track
ProWeb 2017Author of Welcome to ProWeb within the ProWeb 2017-track
Committee Member in Organizing Committee within the ProWeb 2017-track
Committee Member in Program Committee within the ProWeb 2017-track
ESEC/FSE 2018Author of Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity within the Research Papers-track
Author of Practical AJAX Race Detection for JavaScript Web Applications within the Research Papers-track
ISSTA 2017Author of ArtForm: A Tool for Exploring the Codebase of Form-Based Websites within the Demonstrations-track
OOPSLA 2016 PC MeetingSpeaker of Analyzing Test Completeness for Dynamic Languages within the Workshop-track
ECOOP 2018Author of Type Regression Testing to Detect Breaking Changes in Node.js Libraries within the ECOOP Research Papers-track
ISSTA 2018Committee Member in Program Committee within the ISSTA Technical Papers-track
Author of ISSTA 2019 Preview within the ISSTA Keynotes-track
ECOOP and ISSTASpeaker of Static Program Analysis within the Summer School-track
Author of Type Regression Testing to Detect Breaking Changes in Node.js Libraries within the Posters-track
Speaker in Speakers within the Summer School-track
DLS 2016Author of Type Safety Analysis for Dart within the DLS-track
Author of Type Unsoundness in Practice: An Empirical Study of Dart within the DLS-track
SPLASH 2017Author of Practical Initialization Race Detection for JavaScript Web Applications within the OOPSLA-track
Author of Type Test Scripts for TypeScript Testing within the OOPSLA-track
PLDI 2017Author of Systematic Black-Box Analysis of Collaborative Web Applications within the PLDI Research Papers-track
Committee Member in Program Committee
ECOOP 2017Session Chair of Analysis and Synthesis (part of ECOOP Research Papers)
Committee Member in Program Committee within the ECOOP Research Papers-track
ECOOP 2016Committee Member in External Review Committee within the Research Track-track
SPLASH 2016Committee Member in Program Committee within the OOPSLA-track
SOAP 2015Program Chair in Program Committee within the SOAP-track
Session Chair of session 4 (part of SOAP)
Session Chair of session 1 (part of SOAP)
DLS 2015Author of Message Safety in Dart within the DLS-track
JSTools 2015Author of Stateless Model Checking for JavaScript within the JSTools-track
FOOLAuthor of Managing Gradual Typing with Message-Safety in Dart within the FOOL-track
SPLASH 2015Author of Stateless Model Checking of Event-Driven Applications within the OOPSLA-track
Committee Member in External Review Committee within the OOPSLA-track
PLDI 2015Committee Member in External Review Committee within the Research Papers-track
SPLASH 2014Author of Checking Correctness of TypeScript Interfaces for JavaScript Libraries within the OOPSLA-track
Author of Determinacy in Static Analysis for jQuery within the OOPSLA-track
Presenter of Checking Correctness of TypeScript Interfaces for JavaScript Libraries within the OOPSLA Artifacts-track
Committee Member in Program Committee within the OOPSLA-track
Presenter of Determinacy in Static Analysis for jQuery within the OOPSLA Artifacts-track
Session Chair of Static Analysis (part of OOPSLA)
SPLASH 2013Author of Semi-Automatic Rename Refactoring for JavaScript within the OOPSLA-track