Steven Schäfer

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 6

Top Topics

Algebraic Expressions

Asymptotic Properties

Top Venues

J. Funct. Program.

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Andreas Abel, Guillaume Allais, Aliya Hameer, Brigitte Pientka, Alberto Momigliano, Steven Schäfer, Kathrin Stark
POPLMark reloaded: Mechanizing proofs by logical relations. J. Funct. Program. 29 (2019)
Kathrin Stark, Steven Schäfer, Jonas Kaiser
Autosubst 2: reasoning with multi-sorted de Bruijn terms and vector substitutions. CPP (2019)
Yannick Forster, Steven Schäfer, Simon Spies, Kathrin Stark
Call-by-push-value in coq: operational, equational, and denotational theory. CPP (2019)
Jonas Kaiser, Steven Schäfer, Kathrin Stark
Binder aware recursion over well-scoped de Bruijn syntax. CPP (2018)
Steven Schäfer, Gert Smolka
Tower Induction and Up-to Techniques for CCS with Fixed Points. RAMiCS (2017)
Steven Schäfer, Sigurd Schneider, Gert Smolka
Axiomatic semantics for compiler verification. CPP (2016)
Gert Smolka, Steven Schäfer, Christian Doczkal
Transfinite Constructions in Classical Type Theory. ITP (2015)
Steven Schäfer, Tobias Tebbi, Gert Smolka
Autosubst: Reasoning with de Bruijn Terms and Parallel Substitutions. ITP (2015)
Steven Schäfer, Gert Smolka, Tobias Tebbi
Completeness and Decidability of de Bruijn Substitution Algebra in Coq. CPP (2015)