Gerwin Klein

Identifiers

No identifiers captured yet.

Papers (3)

1. The Algebra of Iterative Constructions cs.LO · 2026 · author #4
2. Can We Prove Time Protection? cs.OS · 2019 · author #2
3. COGENT: Certified Compilation for a Functional Systems Language cs.PL · 2016 · author #11

Mentions

No mention provenance yet.

Frequent Coauthors

• Toby Murray 2 shared papers
• Alex Hixon 1 shared papers
• Benjamin Lucien Kaminski 1 shared papers
• Christine Rizkallah 1 shared papers
• Gabriele Keller 1 shared papers
• Gernot Heiser 1 shared papers
• Henning Urbat 1 shared papers
• Japheth Lim 1 shared papers
• Kevin Batz 1 shared papers
• Liam O'Connor 1 shared papers
• Lucas Kehrer 1 shared papers
• Sidney Amani 1 shared papers
• Thomas Sewell 1 shared papers
• Todd Schmid 1 shared papers
• Yutaka Nagashima 1 shared papers
• Zilin Chen 1 shared papers