Sebastian Hack

Identifiers

• name variant Sebastian Hack 0.60 · backfill

Papers (3)

1. An Inductive Proof Method for Simulation-based Compiler Correctness cs.PL · 2016 · author #3
2. Polly's Polyhedral Scheduling in the Presence of Reductions cs.PL · 2015 · author #3
3. A Linear First-Order Functional Intermediate Language for Verified Compilers cs.PL · 2015 · author #3

Mentions

• 1505.07716 #3 · backfill · confidence 0.70 Sebastian Hack
• 1503.08665 #3 · backfill · confidence 0.70 Sebastian Hack

Frequent Coauthors

• Gert Smolka 2 shared papers
• Sigurd Schneider 2 shared papers
• Johannes Doerfert 1 shared papers
• Kevin Streit 1 shared papers
• Zino Benaissa 1 shared papers