Pascal Weisenburger, Tobias Reinhard, and Guido Salvaneschi. 2018. Static Latency Tracking with Placement Types. In Companion Proceedings for the ISSTA/ECOOP 2018 Workshops (FTfJP’18). July 16–21, 2018, Amsterdam, Netherlands. ACM, New York, NY, USA, 34–36. http://doi.org/10.1145/3236454.3236486
Tobias Reinhard. 2018. A Type System for Static Latency Tracking.
Tobias Reinhard. 2019. A Type System for Static Latency Tracking. Student Research Competition @ POPL
Tobias Reinhard, Amin Timany, and Bart Jacobs. 2020. A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit: Technical Report.
Tobias Reinhard, Amin Timany, and Bart Jacobs. 2020. A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit. Accepted at Formal Techniques for Java-like Programs.
Tobias Reinhard and Bart Jacobs. 2021. Ghost Signals: Verifying Termination of Busy-Waiting (Extended Version).
Tobias Reinhard. 2023. Completeness Thresholds for Memory Safety of Array Traversing Programs: Early Technical Report. arXiv:2211.11885
Tobias Reinhard, Justus Fasse and Bart Jacobs. 2023. Completeness Thresholds for Memory Safety of Array Traversing Programs. In Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
Tobias Reinhard, Justus Fasse and Bart Jacobs. 2023. Completeness Thresholds for Memory Safety: Unbounded Guarantees via Bounded Proofs (Extended Abstract). arXiv:2309.09731
Tobias Reinhard. 2024. Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds.
Talk at Student Research Competition @ POPL 2019, Cascais, Portugal
Talk at FTfJP 2020, online (virtual workshop)
Talk at CAV 2021, online (virtual conference)
Invited Talk at Programming Group @ HSG, St. Gallen, Switzerland, St. Gallen, Switzerland
Poster at SPLASH 2023, Cascais, Portugal
Invited Talk at Programming Languages and Verification Seminar @ Portland State University, USA, online (hybrid seminar)