Sigurd Schneider

Orcid: 0000-0003-1948-0596

According to our database1, Sigurd Schneider authored at least 9 papers between 2010 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
A verified compiler for a linear imperative / functional intermediate language.
PhD thesis, 2018

2017
Verified Spilling and Translation Validation with Repair.
Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

2016
An Inductive Proof Method for Simulation-based Compiler Correctness.
CoRR, 2016

Axiomatic semantics for compiler verification.
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016

2015
A First-Order Functional Intermediate Language for Verified Compilers.
CoRR, 2015

A Linear First-Order Functional Intermediate Language for Verified Compilers.
Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

2011
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
Log. Methods Comput. Sci., 2011

Leveraging existing instrumentation to automatically infer invariant-constrained models.
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.
Proceedings of the Workshop on Managing Systems via Log Analysis and Machine Learning Techniques, 2010


  Loading...