Inter-program Properties
Abstract elided by the publisher.
Related papers
- Incremental Algorithms for Inter-procedural Analysis of Safety Properties CAV 2005
- Canary: practical static detection of inter-thread value-flow bugs PLDI 2021
- SafeTree: Expressive Tree Policies for Microservices OOPSLA 2025
- Incommunicado: efficient communication for isolates OOPSLA 2002
- PhASAR: An Inter-procedural Static Analysis Framework for C/C++ TACAS 2019
- Exploiting inter- and intra-memory asymmetries for data mapping in hybrid tiered-memories ISMM 2020
- Proof-Directed Compilation for Inter-operable Languages APLAS 2001
- Principal typings for Java-like languages POPL 2004