Architectural Reasoning in ArchJava
No abstract available.
Related papers
- Underpinning the foundations: sail-based semantics, testing, and reasoning for production and CHERI-enabled architectures (invited talk) CPP 2021
- An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic POPL 2024
- An Axiomatic Basis for Computer Programming on Relaxed Hardware Architectures: The AxSL Logics TOPLAS 2026
- DFA-Net: A Compiler-Specific Neural Architecture for Robust Generalization in Data Flow Analyses CC 2025
- Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver-Agnostic Approach GPCE 2023
- A Modular Soundness Theory for the Blackboard Analysis Architecture ESOP 2024
- DeepCuts: a deep learning optimization framework for versatile GPU workloads PLDI 2021
- Improving Tridiagonalization Performance on GPU Architectures PPoPP 2025