Precise Interprocedural Side-Effect Analysis. - Manuel Geffken; Hannes Saffrich; Peter Thiemann 001 (ICTAC, 2014)

Kindly bent to free us. - Gabriel Radanne; Hannes Saffrich; Peter Thiemann 001 (Proc. ACM Program. Lang., 2020)

Mechanized proofs for "Relating Functional and Imperative Session Types". - Hannes Saffrich; Peter Thiemann 001 (Zenodo, 2021)

Relating Functional and Imperative Session Types. - Hannes Saffrich; Peter Thiemann 001 (Log. Methods Comput. Sci., 2022)

Polymorphic Typestate for Session Types. - Hannes Saffrich; Peter Thiemann 001 (PPDP, 2023)

Abstractions for Multi-Sorted Substitutions. - Hannes Saffrich (ITP, 2024)

Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma. - Hannes Saffrich; Peter Thiemann 001; Marius Weidner (TyDe@ICFP, 2024)

Law and Order for Typestate with Borrowing. - Hannes Saffrich; Yuki Nishida 001; Peter Thiemann 001 (Proc. ACM Program. Lang., 2024)