Concepedia

Jong-hoon An

JA

Statistics

Publications

7

Citations

448

H-Index

7

Active since

2009

Affiliations

University of Maryland, College Park(Current)

Adobe Systems (United States)

Epic Systems (United States)

Jong-hoon An is an author at University of Maryland, College Park specializing in formal methods, formal verification, and software engineering.

Top concepts

Publications per year

2009–2011

7

Publications

7

Static type inference for Ruby

Michael Furr, Jong-hoon An, Jeffrey S. Foster et al. · 2009 · 162 citations

, , +21

Profile-guided static typing for dynamic scripting languages

Michael Furr, Jong-hoon An, Jeffrey S. Foster · 2009 · 63 citations

, , +25

Dynamic inference of static types for ruby

Jong-hoon An, Avik Chaudhuri, Jeffrey S. Foster et al. · ACM SIGPLAN Notices · 2011 · 62 citations

, , +18

Profile-guided static typing for dynamic scripting languages

Michael Furr, Jong-hoon An, Jeffrey S. Foster · ACM SIGPLAN Notices · 2009 · 58 citations

, , +26

Dynamic inference of static types for ruby

Jong-hoon An, Avik Chaudhuri, Jeffrey S. Foster et al. · 2011 · 45 citations

, , +17

1–5 of 7