You Assume, We Guarantee: Methodology and Case Studies
Abstract elided by the publisher.
Related papers
- Realistic Realizability: Specifying ABIs You Can Count On OOPSLA 2024
- Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information TACAS 2015
- Assume, Guarantee or Repair TACAS 2020
- Case Study of Object-Oriented Software Development OOPSLA 1992
- Do You Even Lift? Strengthening Compiler Security Guarantees against Spectre Attacks POPL 2025
- An industrial case study in compiler testing (tool demo) SLE 2018
- Freer Arrows and Why You Need Them in Haskell Haskell 2025
- A case study in top-down performance estimation for a large-scale parallel application PPoPP 2006