Sheng Chen
Artificial Intelligence · with Erwig · 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,405 of 35,345 by trust here, #33,294 by citations
- Program Analysis & Verification — 12 citations into it; #234 of 301 by trust here, #274 by citations
- Information Systems — 8 citations into it; #7,242 of 8,771 by trust here, #8,258 by citations
- Software Engineering — 7 citations into it; #90 of 113 by trust here, #98 by citations
- Hardware and Architecture — 5 citations into it
Whom Sheng Chen trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Sheng Chen overall
Papers from Sheng Chen's perspective
Ordered by how strongly the researchers Sheng Chen trusts endorse each paper. Same corpus, a different order for every researcher.
- Gradual Typing for Functional Languages
- Gradual Typing for Objects (European Conference on Object-Oriented Programming)
- Gradual typing with unification-based inference
- The ins and outs of gradual type inference
- Principal Type Schemes for Gradual Programs
- Sound, heuristic type annotation inference for Ruby
- Feature-Oriented Software Product Lines (Springer Berlin Heidelberg)
- Typing Local Control and State Using Flow Analysis
- LambdaNet: Probabilistic Type Inference using Graph Neural Networks
- Fast and precise type checking for JavaScript
Their papers
- Migrating gradual types (2017) — 22 citations