Karl Crary

Publications by Year

Research Areas

Logic, programming, and type systems, Formal Methods in Verification, Security and Verification in Computing, Parallel Computing and Optimization Techniques, Logic, Reasoning, and Knowledge

Most-Cited Works

• → From system F to typed assembly language(1999)584 cited
• → Typed memory management in a calculus of capabilities(1999)249 cited
• → Resource bound certification(2000)219 cited
• TALx86: A Realistic Typed Assembly Language∗(1999)
• → Typed memory management via static capabilities(2000)120 cited
• → What is a recursive module?(1999)120 cited
• → Intensional polymorphism in type-erasure semantics(1998)119 cited
• → Flexible type analysis(1999)101 cited
• → Stack-based typed assembly language(2002)101 cited