Termination Resilience Static Analysis
Abstract elided by the publisher.
Related papers
- Manufacturing Cheap, Resilient, and Stealthy Opaque Constructs POPL 1998
- jGuard: Programming Misuse-Resilient APIs SLE 2022
- Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs SAS 2001
- FastFlip: Compositional SDC Resiliency Analysis CGO 2025
- Program Synthesis for Program Analysis TOPLAS 2018
- Resilient decentralized Android application repackaging detection using logic bombs CGO 2018
- An abstract interpretation framework for termination POPL 2012
- Decomposition instead of self-composition for proving the absence of timing channels PLDI 2017