Tobias Tebbi

According to our database, Tobias Tebbi authored at least 6 papers between 2013 and 2019.

Collaborative distances:

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

2019

Spectre is here to stay: An analysis of side-channels and speculative execution.

Ross McIlroy, Jaroslav Sevcík, Tobias Tebbi, Ben L. Titzer, Toon Verwaest

CoRR, 2019

2017

Equivalence of system f and ź2 in Coq based on context morphism lemmas.

Jonas Kaiser, Tobias Tebbi, Gert Smolka

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017

2015

Autosubst: Reasoning with de Bruijn Terms and Parallel Substitutions.

Steven Schäfer, Tobias Tebbi, Gert Smolka

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

Completeness and Decidability of de Bruijn Substitution Algebra in Coq.

Steven Schäfer, Gert Smolka, Tobias Tebbi

Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015

2013

Unification Modulo Nonnested Recursion Schemes via Anchored Semi-Unification.

Gert Smolka, Tobias Tebbi

Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013

InKreSAT: Modal Reasoning via Incremental Reduction to SAT.

Mark Kaminski, Tobias Tebbi

Proceedings of the Automated Deduction - CADE-24, 2013