Abstract is missing.
- Static Analysis of Quantum ProgramsNicola Assolini, Alessandra Di Pierro, Isabella Mastroeni. 1-25 [doi]
- Trace Partitioning as an Optimization ProblemM. Charles Babu, Matthieu Lemerre, Sébastien Bardin, Jean-Yves Marion. 26-60 [doi]
- On the Role of Cognizance in ResponsibilityLaura Canaia, Mila Dalla Preda. 61-85 [doi]
- Lift-Offline: Instruction Lifter GeneratorsNicholas Coughlin, A. Michael, Kait Lam. 86-119 [doi]
- Full Control-Flow Sensitivity for Definitional InterpretersKimball Germane. 120-146 [doi]
- Synthesizing Abstract Transformers for Reduced-Product DomainsPankaj Kumar Kalita, Thomas W. Reps, Subhajit Roy 0001. 147-172 [doi]
- Abstract Interpretation of ReLU Neural Networks with Optimizable Polynomial RelaxationsPhilipp Kern, Carsten Sinz. 173-193 [doi]
- Should We Balance? Towards Formal Verification of the Linux Kernel SchedulerJulia Lawall, Keisuke Nishimura, Jean-Pierre Lozi. 194-215 [doi]
- GoGuard: Efficient Static Blocking Bug Detection for GoBozhen Liu, Dhruti Joshi. 216-241 [doi]
- Verification of Programs with ADTs Using Shallow Horn ClausesThéo Losekoot, Thomas Genet, Thomas P. Jensen. 242-267 [doi]
- Quantitative Static Timing AnalysisDenis Mazzucato, Marco Campion, Caterina Urban. 268-299 [doi]
- Under-Approximating Memory AbstractionsMarco Milanese, Antoine Miné. 300-326 [doi]
- Robustness Verification of Multi-label Neural Network ClassifiersJulian Mour, Dana Drachsler-Cohen. 327-351 [doi]
- An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality InvariantsLouis Rustenholz, Pedro López-García 0001, José F. Morales 0001, Manuel V. Hermenegildo. 352-385 [doi]
- Fixing Latent Unsound Abstract Operators in the eBPF Verifier of the Linux KernelMatan Shachnai, Harishankar Vishwanathan, Srinivas Narayana, Santosh Nagarakatte. 386-406 [doi]
- ConstraintFlow: A Declarative DSL for Easy Development of DNN CertifiersAvaljot Singh, Yasmin Sarita, Charith Mendis, Gagandeep Singh 0001. 407-424 [doi]
- BinSub: The Simple Essence of Polymorphic Type Inference for Machine CodeIan Smith. 425-450 [doi]
- ® Confidential Computing Architecture with ESBMCTong Wu, Shale Xiong, Edoardo Manino, Gareth Stockwell, Lucas C. Cordeiro. 451-462 [doi]