Ravi Chugh
Artificial Intelligence · 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,306 of 35,345 by trust here, #28,481 by citations
- Software — 5 citations into it; #333 of 1,227 by trust here, #906 by citations
Whom Ravi Chugh trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Ravi Chugh overall
- Panagiotis Vekris
- Ming-Ho Yee
- Asger Feldthaus
- Ambrose Bonnaire-Sergeant
- Gavin M. Bierman
- Irene Vlassi Pandi
- Avik Chaudhuri
- Arjun Guha
- Anders Møller
- Benjamin Cosman
Papers from Ravi Chugh's perspective
Ordered by how strongly the researchers Ravi Chugh trusts endorse each paper. Same corpus, a different order for every researcher.
- Towards Type Inference for JavaScript
- Static type inference for Ruby
- Adoption and focus: practical linear types for imperative programming (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Flow-sensitive type qualifiers (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Towards a program logic for JavaScript
- Typing Local Control and State Using Flow Analysis
- Types and programming languages: the next generation (18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings.)
- Gradual Typing for Functional Languages
- Soft typing
Their papers
- Dependent types for JavaScript (2011) — 105 citations