Sigurd Schneider

Identifiers

• name variant Sigurd Schneider 0.60 · backfill

Papers (2)

1. An Inductive Proof Method for Simulation-based Compiler Correctness cs.PL · 2016 · author #1
2. A Linear First-Order Functional Intermediate Language for Verified Compilers cs.PL · 2015 · author #1

Mentions

• 1503.08665 #1 · backfill · confidence 0.70 Sigurd Schneider

Frequent Coauthors

• Gert Smolka 2 shared papers
• Sebastian Hack 2 shared papers