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 | 297 | 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 | 26 | 2009 |
Synoptic: Summarizing System Logs with Refinement. S Schneider, I Beschastnikh, S Chernyak, MD Ernst, Y Brun SLAML, 2010 | 19 | 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 | 14 | 2015 |
Axiomatic semantics for compiler verification S Schäfer, S Schneider, G Smolka Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and
, 2016 | 7 | 2016 |
An Inductive Proof Method for Simulation-based Compiler Correctness S Schneider, G Smolka, S Hack arXiv preprint arXiv:1611.09606, 2016 | 3 | 2016 |
Verified spilling and translation validation with repair J Rosemann, S Schneider, S Hack International Conference on Interactive Theorem Proving, 427-443, 2017 | 2 | 2017 |
A verified compiler for a linear imperative/functional intermediate language S Schneider Saarländische Universitäts-und Landesbibliothek, 2018 | 1 | 2018 |