David Herman

Artificial Intelligence · with Chugh · 2011

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

Subfields

• Artificial Intelligence — 9 citations into it; #13,305 of 35,345 by trust here, #28,481 by citations
• Software — 5 citations into it; #332 of 1,227 by trust here, #906 by citations

Whom David Herman trusts overall

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

1. Jeffrey S. Foster

Who trusts David Herman overall

1. Panagiotis Vekris
2. Ming-Ho Yee
3. Asger Feldthaus
4. Ambrose Bonnaire-Sergeant
5. Gavin M. Bierman
6. Irene Vlassi Pandi
7. Avik Chaudhuri

Papers from David Herman's perspective

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

1. Towards Type Inference for JavaScript
2. Static type inference for Ruby
3. Adoption and focus: practical linear types for imperative programming (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
4. Flow-sensitive type qualifiers (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
5. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
6. Towards a program logic for JavaScript
7. Typing Local Control and State Using Flow Analysis
8. Types and programming languages: the next generation (18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings.)
9. Gradual Typing for Functional Languages
10. Soft typing

Their papers

• Dependent types for JavaScript (2011) — 105 citations