Abstract is missing.
- Verifying Infinitely Many Programs at OnceLoris D'Antoni. 3-9 [doi]
- Abstract Interpretation in Industry - Experience and Lessons LearnedDaniel Kästner, Reinhard Wilhelm, Christian Ferdinand. 10-27 [doi]
- Building Trust and Safety in Artificial Intelligence with Abstract InterpretationGagandeep Singh 0001. 28-38 [doi]
- Modular Optimization-Based Roundoff Error Analysis of Floating-Point ProgramsRosa Abbasi, Eva Darulova. 41-64 [doi]
- Unconstrained Variable Oracles for Faster Numeric Static AnalysesVincenzo Arceri, Greta Dolcetti, Enea Zaffanella. 65-83 [doi]
- Symbolic Transformation of Expressions in Modular ArithmeticJérôme Boillot, Jérôme Feret. 84-113 [doi]
- A Formal Framework to Measure the Incompleteness of Abstract InterpretationsMarco Campion, Caterina Urban, Mila Dalla Preda, Roberto Giacobazzi. 114-138 [doi]
- BREWasm: A General Static Binary Rewriting Framework for WebAssemblyShangtong Cao, Ningyu He, Yao Guo 0001, Haoyu Wang 0001. 139-163 [doi]
- Quantum Constant PropagationYanbin Chen, Yannick Stade. 164-189 [doi]
- Error Invariants for Fault Localization via Abstract InterpretationAleksandar S. Dimovski. 190-211 [doi]
- Generalized Program Sketching by Abstract Interpretation and Logical AbductionAleksandar S. Dimovski. 212-230 [doi]
- Mutual Refinements of Context-Free Language ReachabilityShuo Ding, Qirun Zhang. 231-258 [doi]
- ADCL: Acceleration Driven Clause Learning for Constrained Horn ClausesFlorian Frohn, Jürgen Giesl. 259-285 [doi]
- How Fitting is Your Abstract Domain?Roberto Giacobazzi, Isabella Mastroeni, Elia Perantoni. 286-309 [doi]
- A Product of Shape and Sequence AbstractionsJosselin Giet, Félix Ridoux, Xavier Rival. 310-342 [doi]
- Error Localization for Sequential Effect SystemsColin S. Gordon, Chaewon Yun. 343-370 [doi]
- Scaling up Roundoff Analysis of Functional Data Structure ProgramsAnastasia Isychev, Eva Darulova. 371-402 [doi]
- Reverse Template Processing Using Abstract InterpretationMatthieu Lemerre. 403-433 [doi]
- Domain Precision in Galois Connection-Less Abstract InterpretationIsabella Mastroeni, Michele Pasqua. 434-459 [doi]
- Lifting On-Demand Analysis to Higher-Order LanguagesDaniel Schoepe, David Seekatz, Ilina Stoilkovska, Sandro Stucki, Daniel Tattersall, Pauline Bolignano, Franco Raimondi, Bor-Yuh Evan Chang. 460-484 [doi]
- Octagons Revisited - Elegant Proofs and Simplified AlgorithmsMichael Schwarz 0007, Helmut Seidl. 485-507 [doi]
- Polynomial Analysis of Modular ArithmeticThomas Seed, Chris Coppins, Andy King, Neil Evans. 508-539 [doi]
- Boosting Multi-neuron Convex Relaxation for Neural Network VerificationXuezhou Tang, Ye Zheng, Jiaxiang Liu 0001. 540-563 [doi]