| 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 | 292 | 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 |
Ivan BeschastnikhUniversity of British ColumbiaVerified email at cs.ubc.ca
