A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit T Reinhard, A Timany, B Jacobs FTfJP, 2020 | 5 | 2020 |
Ghost Signals: Verifying Termination of Busy-Waiting (Technical Report) T Reinhard, B Jacobs | 4 | 2020 |
Ghost Signals: Verifying Termination of Busy Waiting: Verifying Termination of Busy Waiting T Reinhard, B Jacobs International Conference on Computer Aided Verification, 27-50, 2021 | 3 | 2021 |
Ghost Signals: Verifying Termination of Busy-Waiting (Extended Version) T Reinhard, B Jacobs arXiv preprint arXiv:2010.11762, 2020 | 2 | 2020 |
Completeness Thresholds for Memory Safety of Array Traversing Programs T Reinhard, J Fasse, B Jacobs Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of …, 2023 | 1 | 2023 |
A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit: Technical Report T Reinhard, A Timany, B Jacobs arXiv preprint arXiv:2007.10215, 2020 | 1 | 2020 |
Static latency tracking with placement types P Weisenburger, T Reinhard, G Salvaneschi Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 34-36, 2018 | 1 | 2018 |
Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds T Reinhard arXiv preprint arXiv:2403.00934, 2024 | | 2024 |
Completeness Thresholds for Memory Safety: Unbounded Guarantees via Bounded Proofs (Extended Abstract) T Reinhard, J Fasse, B Jacobs arXiv preprint arXiv:2309.09731, 2023 | | 2023 |
Completeness Thresholds for Memory Safety: Early Preliminary Report T Reinhard arXiv preprint arXiv:2211.11885, 2022 | | 2022 |
Ghost Signals: Verifying Termination of Busy Waiting T Reinhard, B Jacobs International Conference on Computer Aided Verification, 27-50, 2021 | | 2021 |
Ghost Signals T Reinhard, B Jacobs arXiv preprint arXiv:2010.11762, 2020 | | 2020 |
A Core Calculus for Static Latency Tracking with Placement Types T Reinhard arXiv preprint arXiv:2007.15617, 2020 | | 2020 |
A Type System for Static Latency Tracking T Reinhard | | |