A Verified Compiler for a Linear Function/Imperative Intermediate Language
(pdf)
Sigurd Schneider
PhD Thesis, Saarland University
Verified Spilling and Translation Validation with Repair
(pdf)
Julian Rosemann, Sigurd Schneider, Sebastian Hack
ITP
An Inductive Proof Method for Simulation-based Compiler Correctness
Sigurd Schneider, Gert Smolka, Sebastian Hack
Technical Report
Axiomatic Semantics for Compiler Verification
(pdf)
Steven Schäfer, Sigurd Schneider, Gert Smolka
5th ACM SIGPLAN Conference on Certified Programs and Proofs, CPP 2016, St. Petersburg, FL, USA, January 20-22
A Linear First-Order Functional Intermediate Language for Verified Compilers
(pdf)
Sigurd Schneider, Gert Smolka, Sebastian Hack
Interactive Theorem Proving - 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
Mark Kaminski, Sigurd Schneider, Gert Smolka
Logical Methods in Computer Science
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
(pdf)
Mark Kaminski, Sigurd Schneider, Gert Smolka
TABLEAUX 2009