Sigurd Schneider

According to our database, Sigurd Schneider authored at least 9 papers between 2009 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

A verified compiler for a linear imperative / functional intermediate language.

Sigurd Schneider

PhD thesis, 2018

2017

Verified Spilling and Translation Validation with Repair.

Julian Rosemann, Sigurd Schneider, Sebastian Hack

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

2016

An Inductive Proof Method for Simulation-based Compiler Correctness.

Sigurd Schneider, Gert Smolka, Sebastian Hack

CoRR, 2016

Axiomatic semantics for compiler verification.

Steven Schäfer, Sigurd Schneider, Gert Smolka

Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016

2015

A First-Order Functional Intermediate Language for Verified Compilers.

Sigurd Schneider, Gert Smolka, Sebastian Hack

CoRR, 2015

A Linear First-Order Functional Intermediate Language for Verified Compilers.

Sigurd Schneider, Gert Smolka, Sebastian Hack

Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

2011

Leveraging existing instrumentation to automatically infer invariant-constrained models.

Ivan Beschastnikh, Yuriy Brun, Sigurd Schneider, Michael Sloan, Michael D. Ernst

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

2010

Synoptic: Summarizing System Logs with Refinement.

Sigurd Schneider, Ivan Beschastnikh, Slava Chernyak, Michael D. Ernst, Yuriy Brun

Proceedings of the Workshop on Managing Systems via Log Analysis and Machine Learning Techniques, 2010

2009

Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies.

Mark Kaminski, Sigurd Schneider, Gert Smolka

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009