Reliable Software Development: Analysis-Aware Design
Abstract elided by the publisher.
Related papers
- Generative software product line development using variability-aware design patterns GPCE 2015
- Compiler-Directed Variable Latency Aware SPM Management to CopeWith Timing Problems CGO 2007
- BEC: Bit-Level Static Analysis for Reliability against Soft Errors CGO 2024
- Building reliable, high-performance networks with the Nuprl proof development system JFP 2004
- The HdpH DSLs for scalable reliable computation Haskell 2014
- Chisel: reliability- and accuracy-aware optimization of approximate computational kernels OOPSLA 2014
- UTFix: Change Aware Unit Test Repairing using LLM OOPSLA 2025
- Verifying safety and accuracy of approximate parallel programs via canonical sequentialization OOPSLA 2019