Claudiu Saftoiu

Artificial Intelligence · 2010–2011

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

Subfields

• Artificial Intelligence — 10 citations into it; #27,391 of 35,345 by trust here, #26,682 by citations
• Program Analysis & Verification — 9 citations into it; #63 of 301 by trust here, #185 by citations
• Information Systems — 8 citations into it
• Software — 7 citations into it; #879 of 1,227 by trust here, #839 by citations

Whom Claudiu Saftoiu trusts overall

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

1. Jeremy G. Siek
2. Matthias Felleisen
3. Sam Tobin-Hochstadt
4. Anders Møller
5. Walid Taha
6. Michael Furr

Who trusts Claudiu Saftoiu overall

1. Luna Phipps-Costin
2. Benjamin S. Lerner
3. Arjun Guha
4. Ming-Ho Yee
5. Carolyn Jane Anderson
6. Joe Gibbs Politz
7. Michael Greenberg
8. Shriram Krishnamurthi
9. Avik Chaudhuri

Papers from Claudiu Saftoiu's perspective

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

1. Gradual Typing for Functional Languages
2. Contracts for higher-order functions (ACM SIGPLAN International Conference on Functional Programming)
3. The Design and Implementation of Typed Scheme: From Scripts to Programs
4. Soft typing
5. Types and programming languages: the next generation (18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings.)
6. Towards Type Inference for JavaScript
7. Type Analysis for JavaScript
8. Static type inference for Ruby
9. TeJaS: retrofitting type systems for JavaScript
10. Understanding TypeScript

Their papers

• Typing Local Control and State Using Flow Analysis (2011) — 96 citations
• JSTrace: Run-time Type Discovery for JavaScript (2010) — 13 citations