• Publications
  • Influence

Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage your publications. Semantic Scholar automatically creates author pages based on data aggregated from public sources and our publisher partners.
  • Karl Crary, Stephanie Weirich
  • Computer Science
  • ICFP '99
  • 1999 (First Publication: 1 September 1999)
  • Run-time type dispatch enables a variety of advanced optimization techniques for polymorphic languages, including tag-free garbage collection, unboxed function arguments, and flattened dataExpand
  • Karl Crary, S. Weirich
  • Computer Science
  • POPL '00
  • 2000 (First Publication: 5 January 2000)
  • Various code certification systems allow the certification and static verification of important safety properties such as memory and control-flow safety. These systems are valuable tools forExpand