Karl Crary

Karl Crary publications per year

Karl Crary publication distribution in Computer Science in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Karl Crary sits on this spectrum.

Karl Crary D-index placement in Computer Science in 2026

The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Karl Crary sits on this spectrum.

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