Avik Chaudhuri

Artificial Intelligence · 2009–2017

A researcher in the Science corpus: 4 papers; trusts 6 researchers and is trusted by 6 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 24 citations into it; #18,107 of 35,345 by trust here, #18,586 by citations
• Program Analysis & Verification — 18 citations into it; #116 of 301 by trust here, #102 by citations
• Information Systems — 17 citations into it; #3,669 of 8,771 by trust here, #3,640 by citations
• Software Engineering — 11 citations into it; #61 of 113 by trust here, #56 by citations
• Computational Theory and Mathematics — 8 citations into it

Whom Avik Chaudhuri trusts overall

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

1. Patrick Maxim Rondon
2. Cormac Flanagan
3. Jeremy G. Siek
4. Arjun Guha
5. Ravi Chugh
6. Sam Tobin-Hochstadt
7. Walid Taha
8. Claudiu Saftoiu
9. David Herman
10. Matthias Felleisen

Who trusts Avik Chaudhuri overall

1. Luna Phipps-Costin
2. John Peter Campora III
3. Erik Krogh Kristensen
4. Ming-Ho Yee
5. Wu Zhou
6. Arjun Guha
7. Brianna M. Ren
8. Clint Gibler
9. Carolyn Jane Anderson
10. Satish Chandra

Papers from Avik Chaudhuri's perspective

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

1. Gradual Typing for Functional Languages
2. The Design and Implementation of Typed Scheme: From Scripts to Programs
3. Soft typing
4. Hybrid type checking (ACM-SIGACT Symposium on Principles of Programming Languages)
5. Understanding TypeScript
6. Dependent types for JavaScript
7. Typing Local Control and State Using Flow Analysis
8. Dynamic inference of static types for ruby
9. Gradual typing with unification-based inference
10. Understanding Android Security (IEEE Security & Privacy Magazine)

Their papers

• Dynamic inference of static types for ruby (2011) — 97 citations
• Fast and precise type checking for JavaScript (2017) — 58 citations
• The ins and outs of gradual type inference (2012) — 83 citations
• SCanDroid: Automated Security Certification of Android (2009) — 455 citations