Sigurd Schneider
Cited by
Cited by
Leveraging existing instrumentation to automatically infer invariant-constrained models
I Beschastnikh, Y Brun, S Schneider, M Sloan, MD Ernst
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011
Terminating tableaux for graded hybrid logic with global modalities and role hierarchies
M Kaminski, S Schneider, G Smolka
International Conference on Automated Reasoning with Analytic Tableaux and …, 2009
Synoptic: Summarizing System Logs with Refinement.
S Schneider, I Beschastnikh, S Chernyak, MD Ernst, Y Brun
SLAML, 2010
A linear first-order functional intermediate language for verified compilers
S Schneider, G Smolka, S Hack
International Conference on Interactive Theorem Proving, 344-358, 2015
An Inductive Proof Method for Simulation-based Compiler Correctness
S Schneider, G Smolka, S Hack
arXiv preprint arXiv:1611.09606, 2016
Axiomatic semantics for compiler verification
S Schäfer, S Schneider, G Smolka
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and …, 2016
The system can't perform the operation now. Try again later.
Articles 1–6