Sigurd Schneider

Publication Activity (10 Years)

Years Active: 2009-2017
Publications (10 Years): 3

Top Topics

Programming Language

Quantifier Elimination

Conditional Logic

Model Theoretic

Top Venues

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Julian Rosemann, Sigurd Schneider, Sebastian Hack
Verified Spilling and Translation Validation with Repair. ITP (2017)
Steven Schäfer, Sigurd Schneider, Gert Smolka
Axiomatic semantics for compiler verification. CPP (2016)
Sigurd Schneider, Gert Smolka, Sebastian Hack
An Inductive Proof Method for Simulation-based Compiler Correctness. CoRR (2016)
Sigurd Schneider, Gert Smolka, Sebastian Hack
A Linear First-Order Functional Intermediate Language for Verified Compilers. ITP (2015)
Sigurd Schneider, Gert Smolka, Sebastian Hack
A First-Order Functional Intermediate Language for Verified Compilers. CoRR (2015)
Mark Kaminski, Sigurd Schneider, Gert Smolka
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies Log. Methods Comput. Sci. 7 (1) (2011)
Ivan Beschastnikh, Yuriy Brun, Sigurd Schneider, Michael Sloan, Michael D. Ernst
Leveraging existing instrumentation to automatically infer invariant-constrained models. SIGSOFT FSE (2011)
Sigurd Schneider, Ivan Beschastnikh, Slava Chernyak, Michael D. Ernst, Yuriy Brun
Synoptic: Summarizing System Logs with Refinement. SLAML (2010)
Mark Kaminski, Sigurd Schneider, Gert Smolka
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies. TABLEAUX (2009)