Programming Systems Lab: Publications by Sigurd Schneider

Saarland University Computer Science

Select author:

2017

Verified Spilling and Translation Validation with Repair   (pdf)
Julian Rosemann, Sigurd Schneider, Sebastian Hack
ITP

2016

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

2015

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

2011

Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
Mark Kaminski, Sigurd Schneider, Gert Smolka
Logical Methods in Computer Science

2009

Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies   (pdf)
Mark Kaminski, Sigurd Schneider, Gert Smolka
TABLEAUX 2009


Login to edit


Webmaster, Mon May 30 13:48:30 2016