Abstract is missing.
- Static Resource Analysis at Scale (Extended Abstract)Ezgi Çiçek, Mehdi Bouaziz, Sungkeun Cho, Dino Distefano. 3-6 [doi]
- Cost Analysis of Smart Contracts Via Parametric Resource AnalysisVíctor Pérez, Maximiliano Klemen, Pedro López-García 0001, José Francisco Morales, Manuel V. Hermenegildo. 7-31 [doi]
- Memory-Efficient Fixpoint ComputationSung Kook Kim, Arnaud J. Venet, Aditya V. Thakur. 35-64 [doi]
- Abstract Neural NetworksMatthew Sotoudeh, Aditya V. Thakur. 65-88 [doi]
- Termination of Polynomial LoopsFlorian Frohn, Marcel Hark, Jürgen Giesl. 89-112 [doi]
- Stratified Guarded First-Order Transition SystemsChristan Müller, Helmut Seidl. 113-133 [doi]
- Predicate Abstraction and CEGAR for $\nu \mathrm {HFL}_\mathbb {Z}$ Validity CheckingNaoki Iwayama, Naoki Kobayashi 0001, Ryota Suzuki 0002, Takeshi Tsukada. 134-155 [doi]
- Counterexample- and Simulation-Guided Floating-Point Loop Invariant SynthesisAnastasiia Izycheva, Eva Darulova, Helmut Seidl. 156-177 [doi]
- Formal Framework for Reasoning About the Precision of Dynamic AnalysisMila Dalla Preda, Roberto Giacobazzi, Niccolò Marastoni. 178-199 [doi]
- Simple and Efficient Computation of Minimal Weak Control ClosureAbu Naser Masud. 200-222 [doi]
- A Library Modeling Language for the Static Analysis of C ProgramsAbdelraouf Ouadjaout, Antoine Miné. 223-247 [doi]
- Interprocedural Shape Analysis Using Separation Logic-Based Transformer SummariesHugo Illous, Matthieu Lemerre, Xavier Rival. 248-273 [doi]
- Probabilistic Lipschitz Analysis of Neural NetworksRavi Mangal, Kartik Sarangmath, Aditya V. Nori, Alessandro Orso. 274-309 [doi]
- On Multi-language Abstraction - Towards a Static Analysis of Multi-language ProgramsSamuele Buro, Roy L. Crole, Isabella Mastroeni. 310-332 [doi]
- Exact and Linear-Time Gas-Cost AnalysisAnkush Das, Shaz Qadeer. 333-356 [doi]
- Farkas-Based Tree InterpolationSepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina. 357-379 [doi]