Benjamin Cosman
Artificial Intelligence · 2015–2016
A researcher in the Science corpus: 2 papers; trusts 11 researchers and is trusted by 6 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 20 citations into it; #19,236 of 35,345 by trust here, #30,347 by citations
- Information Systems — 14 citations into it
- Software — 12 citations into it
- Program Analysis & Verification — 11 citations into it; #152 of 301 by trust here, #274 by citations
- Software Engineering — 8 citations into it; #48 of 113 by trust here, #88 by citations
- Computational Theory and Mathematics — 7 citations into it; #6,360 of 12,182 by trust here, #9,306 by citations
Whom Benjamin Cosman trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Patrick Maxim Rondon
- Greg Nelson
- Asger Feldthaus
- Benjamin S. Lerner
- Ravi Chugh
- Michael Furr
- Panagiotis Vekris
- Ranjit Jhala
- Anders Møller
Who trusts Benjamin Cosman overall
Papers from Benjamin Cosman's perspective
Ordered by how strongly the researchers Benjamin Cosman trusts endorse each paper. Same corpus, a different order for every researcher.
- Towards Type Inference for JavaScript
- Static type inference for Ruby
- Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Dependent types for JavaScript
- Towards a program logic for JavaScript
- Trust, but Verify: Two-Phase Typing for Dynamic Languages
- Refinement types for Haskell (ACM SIGPLAN International Conference on Functional Programming)
- Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Gradual Typing for Functional Languages
- Predicate abstraction for software verification (ACM-SIGACT Symposium on Principles of Programming Languages)
Their papers
- Trust, but Verify: Two-Phase Typing for Dynamic Languages (2015) — 8 citations
- Refinement types for TypeScript (2016) — 59 citations