Hannes Saffrich
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2014–2024
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ITP | Abstractions for Multi-Sorted Substitutions. | Hannes Saffrich |
| 2023 | PPDP | Polymorphic Typestate for Session Types. | Hannes Saffrich, Peter Thiemann |
| 2021 | Coordination | Relating Functional and Imperative Session Types. | Hannes Saffrich, Peter Thiemann |
| 2014 | ICTAC | Precise Interprocedural Side-Effect Analysis. | Manuel Geffken, Hannes Saffrich, Peter Thiemann |