/

Workspace

Research & Review

Writing & Publishing

Data & Analysis

Utilities

Account

User Settings

K

Karl Crary

Claim or correct this author profile

Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.

110

Papers

3.7K

Citations

31

h-index

54

i10-index

Karl Crary is an academic researcher. The author has contributed to research in topics: Logic, programming, and type systems & Formal Methods in Verification & Security and Verification in Computing. The author has an h-index of 31, co-authored 94 publications.

ORCID: 0000-0002-1556-2183

Research Topics

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

Papers by this author

works

Safe and Flexible Dynamic Linking of Native Code

2001 · Lecture notes in computer science · 39 citations

https://doi.org/10.1007/3-540-45332-6_6

Michael Hicks Stephanie Weirich Karl Crary

Foundational Typed Assembly Language for Grid Computing

2018 · Figshare · 10 citations

https://doi.org/10.1184/r1/6605852

Joseph C. Vanderwaart Karl Crary

Verifying the Hashgraph Consensus Algorithm

2021 · arXiv (Cornell University) · 2 citations

https://doi.org/10.48550/arxiv.2102.01167

Foundational Certified Code in a Metalogical Framework

2008 · Research Showcase @ Carnegie Mellon University (Carnegie Mellon University) · 1 citations

https://doi.org/10.1184/r1/6605846

Karl Crary Susmit Sarkar

Admissibility of Fixpoint Induction over Partial Types

1998 · 0 citations

Research topics

topics

Logic, programming, and type systems

Formal Methods in Verification

Security and Verification in Computing

Parallel Computing and Optimization Techniques

Logic, Reasoning, and Knowledge

Chat about Author

Papers

Chat

Click to start Chat