Verification Across Intellectual Property Boundaries
Abstract elided by the publisher.
Related papers
- Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary ECOOP 2008
- Shadow state encoding for efficient monitoring of block-level properties ISMM 2017
- Predicting Dynamic Properties of Heap Allocations using Neural Networks Trained on Static Code: An Intellectual Abstract ISMM 2023
- SeLINQ: tracking information across application-database boundaries ICFP 2014
- Memory Consistency Models for Program Transformations: An Intellectual Abstract ISMM 2023
- Register Allocation Across Procedure and Module Boundaries PLDI 1990
- BatchIt: Optimizing Message-Passing Allocators for Producer-Consumer Workloads: An Intellectual Abstract ISMM 2024
- Typed Cross-Module Compilation ICFP 1998