Jong-hoon An

Artificial Intelligence · 2009–2011

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

Subfields

• Artificial Intelligence — 12 citations into it; #10,081 of 35,345 by trust here, #15,004 by citations
• Program Analysis & Verification — 10 citations into it; #57 of 301 by trust here, #79 by citations
• Software — 8 citations into it; #226 of 1,227 by trust here, #298 by citations
• Computational Theory and Mathematics — 7 citations into it
• Information Systems — 7 citations into it; #1,682 of 8,771 by trust here, #2,604 by citations
• Software Engineering — 5 citations into it; #25 of 113 by trust here, #40 by citations

Whom Jong-hoon An trusts overall

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

1. Jeremy G. Siek
2. Walid Taha
3. Benjamin C. Pierce
4. Sam Tobin-Hochstadt
5. Michael Furr
6. Matthias Felleisen

Who trusts Jong-hoon An overall

1. Zhaogui Xu
2. Brianna M. Ren
3. Luna Phipps-Costin
4. Milod Kazerounian
5. Jeffrey S. Foster
6. Michael Pradel
7. X. Zhang
8. Arjun Guha
9. Carolyn Jane Anderson
10. John Toman

Papers from Jong-hoon An's perspective

Ordered by how strongly the researchers Jong-hoon An 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. Soft typing
4. Types and programming languages: the next generation (18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings.)
5. Precise Analysis of String Expressions (Sensors Applications Symposium)
6. Towards Type Inference for JavaScript
7. TeJaS: retrofitting type systems for JavaScript
8. The Design and Implementation of Typed Scheme: From Scripts to Programs
9. Mechanized Metatheory for the Masses: The PoplMark Challenge (International Conference on Theorem Proving in Higher Order Logics)
10. Featherweight Java: a minimal core calculus for Java and GJ (TOPL)

Their papers

• Dynamic inference of static types for ruby (2011) — 97 citations
• Profile-guided static typing for dynamic scripting languages (2009) — 94 citations
• Static type inference for Ruby (2009) — 179 citations