Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs,
Abstract elided by the publisher.
Related papers
- Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs CAV 2006
- Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning TACAS 2007
- Don't make the wrong mistakes: programming as debugging ICFP 2004
- SceneChecker: Boosting Scenario Verification Using Symmetry Abstractions CAV 2021
- Languages as first-class citizens (vision paper) SLE 2018
- Software partitioning of hardware transactions PPoPP 2015
- Inference Plans for Hybrid Particle Filtering POPL 2025
- Scaling graph traversal to 281 trillion edges with 40 million cores PPoPP 2022