Eric Walkingshaw

Artificial Intelligence · 2017

A researcher in the Science corpus: 1 paper; trusts 5 researchers and is trusted by 2 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 14 citations into it; #30,407 of 35,345 by trust here, #33,294 by citations
• Program Analysis & Verification — 12 citations into it; #236 of 301 by trust here, #274 by citations
• Information Systems — 8 citations into it; #7,244 of 8,771 by trust here, #8,258 by citations
• Software Engineering — 7 citations into it; #92 of 113 by trust here, #98 by citations
• Hardware and Architecture — 5 citations into it

Whom Eric Walkingshaw trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Jeremy G. Siek

Who trusts Eric Walkingshaw overall

1. Arjun Guha
2. Ming-Ho Yee

Papers from Eric Walkingshaw's perspective

Ordered by how strongly the researchers Eric Walkingshaw trusts endorse each paper. Same corpus, a different order for every researcher.

1. Gradual Typing for Functional Languages
2. Gradual Typing for Objects (European Conference on Object-Oriented Programming)
3. Gradual typing with unification-based inference
4. The ins and outs of gradual type inference
5. Principal Type Schemes for Gradual Programs
6. Sound, heuristic type annotation inference for Ruby
7. Typing Local Control and State Using Flow Analysis
8. Feature-Oriented Software Product Lines (Springer Berlin Heidelberg)
9. LambdaNet: Probabilistic Type Inference using Graph Neural Networks
10. Fast and precise type checking for JavaScript

Their papers

• Migrating gradual types (2017) — 22 citations