Anders Møller
Artificial Intelligence · 2000–2017
A researcher in the Science corpus: 7 papers; trusts 37 researchers and is trusted by 33 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 21 citations into it; #6,033 of 35,345 by trust here, #11,490 by citations
- Information Systems — 16 citations into it; #1,664 of 8,771 by trust here, #2,912 by citations
- Software Engineering — 14 citations into it; #34 of 113 by trust here, #74 by citations
- Software — 13 citations into it; #88 of 1,227 by trust here, #195 by citations
- Hardware and Architecture — 10 citations into it
- Program Analysis & Verification — 10 citations into it; #60 of 301 by trust here, #80 by citations
- Computational Theory and Mathematics — 9 citations into it; #4,314 of 12,182 by trust here, #7,501 by citations
Whom Anders Møller trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Asger Feldthaus
- Koushik Sen
- Gavin M. Bierman
- Benjamin S. Lerner
- Erik Krogh Kristensen
- Michael M. Vitousek
- Ravi Chugh
- Aseem Rastogi
- Martín Abadi
- Panagiotis Vekris
Who trusts Anders Møller overall
- Erik Krogh Kristensen
- Darko Marinov
- Chandrasekhar Boyapati
- Sarfraz Khurshid
- Josh Berdine
- Arjun Guha
- Gary Wassermann
- Michael Pradel
- Panagiotis Vekris
- Ming-Ho Yee
Papers from Anders Møller's perspective
Ordered by how strongly the researchers Anders Møller trusts endorse each paper. Same corpus, a different order for every researcher.
- Dependent types for JavaScript
- DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Type Analysis for JavaScript
- TeJaS: retrofitting type systems for JavaScript
- Gradual Typing for Functional Languages
- The ins and outs of gradual type inference
- Design and evaluation of gradual typing for python
- Understanding TypeScript
- A Symbolic Execution Framework for JavaScript (IEEE Symposium on Security and Privacy)
- Type inference for static compilation of JavaScript
Their papers
- Type Analysis for JavaScript (2009) — 433 citations
- The pointer assertion logic engine (2000) — 295 citations
- Type test scripts for TypeScript testing (2017) — 22 citations
- Inference and Evolution of TypeScript Declaration Files (2017) — 16 citations
- In defense of soundiness (2015) — 154 citations
- Checking correctness of TypeScript interfaces for JavaScript libraries (2014) — 54 citations
- Precise Analysis of String Expressions (2003) — 513 citations