Concepedia

Michael Furr

MF

Statistics

Publications

9

Citations

794

H-Index

9

Active since

2005

Affiliations

University of Maryland, College Park(Current)

Information Management Services

Leidos Biomedical Research Inc. (United States)

National Cancer Institute

Leidos (United States)

Michael Furr is an author at University of Maryland, College Park specializing in automated reasoning, formal methods, and program analysis.

Top concepts

Publications per year

2005–2023

9

Publications

9

Cigarette Smoking and Variations in Systemic Immune and Inflammation Markers

Meredith S. Shiels, Hormuzd A. Katki, Neal D. Freedman et al. · JNCI Journal of the National Cancer Institute · 2014 · 312 citations · Full text

Static type inference for Ruby

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

, , +21

Checking type safety of foreign function calls

Michael Furr, Jeffrey S. Foster · ACM SIGPLAN Notices · 2005 · 64 citations

, , +19

Profile-guided static typing for dynamic scripting languages

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

, , +25

Profile-guided static typing for dynamic scripting languages

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

, , +26

1–5 of 9