Abstract Semantic Diffing of Evolving Concurrent Programs
No abstract available.
Related papers
- ApkDiffer: Accurate and Scalable Cross-Version Diffing Analysis for Android Applications OOPSLA 2025
- An efficient algorithm for type-safe structural diffing ICFP 2019
- Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages TOPLAS 2024
- Concise, type-safe, and efficient structural diffing PLDI 2021
- Binary Diffing via Library Signatures CGO 2026
- Khaos: The Impact of Inter-procedural Code Obfuscation on Binary Diffing Techniques CGO 2023
- Unleashing the hidden power of compiler optimization on binary code difference: an empirical study PLDI 2021
- Iris from the ground up: A modular foundation for higher-order concurrent separation logic JFP 2018