Programming Systems Lab: Publications by Sebastian Hack

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

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


Login to edit


Webmaster, Mon May 30 13:48:30 2016