2026 Karl Crary: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	30	13941	13514	5543	5270	103	5300

Discipline name

D-Index

World Ranking

Current World Ranking

National Ranking

Current National Ranking

Publications

Citations

Computer Science

13941

13514

5543

5270

103

5300

Research.com Recognitions

2005 - Fellow of Alfred P. Sloan Foundation

Best Publications

From system F to typed assembly language

Greg Morrisett;David Walker;Karl Crary;Neal Glew

1184
Citations
From system F to typed assembly language

Greg Morrisett;David Walker;Karl Crary;Neal Glew

361
Citations
TALx86: A Realistic Typed Assembly Language∗

Greg Morrisett;Karl Crary;Neal Glew;Dan Grossman

318
Citations
Typed memory management in a calculus of capabilities

Karl Crary;David Walker;Greg Morrisett

313
Citations
Resource bound certification

Unknown

296
Citations
Stack-Based Typed Assembly Language

J. Gregory Morrisett;Karl Crary;Neal Glew;David Walker

175
Citations
Intensional polymorphism in type-erasure semantics

Karl Crary;Stephanie Weirich;Greg Morrisett

165
Citations
Towards a mechanized metatheory of standard ML

Daniel K. Lee;Karl Crary;Robert Harper

165
Citations
What is a recursive module

Karl Crary;Robert Harper;Sidd Puri

165
Citations
Typed memory management via static capabilities

David Walker;Karl Crary;Greg Morrisett

150
Citations
A symmetric modal lambda calculus for distributed computing

Vii T. Murphy;K. Crary;R. Harper;F. Pfenning

130
Citations
Toward a foundational typed assembly language

Unknown

129
Citations
Flexible type analysis

Karl Crary;Stephanie Weirich

125
Citations
A type system for higher-order modules

Derek Dreyer;Karl Crary;Robert Harper

117
Citations
Mechanizing the Metatheory of Standard ML

Daniel K. Lee;Karl Crary;Robert Harper

108
Citations
Stack-based typed assembly language

Greg Morrisett;Karl Crary;Neal Glew;David Walker

104
Citations
Type-safe distributed programming with ML5

Vii. Tom Murphy;Karl Crary;Robert Harper

73
Citations
Understanding and evolving the ml module system

Derek Dreyer;Robert Harper;Karl Crary

69
Citations
Modal types for mobile code

Robert Harper;Karl Crary;Tom Vii Murphy

65
Citations
A monadic analysis of information flow security with mutable state

Karl Crary;Aleksey Kliger;Frank Pfenning

62
Citations