Copertina

Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Tao, Yichen, Fu, Hongfei, Chen, Jiawei, Jeannin, Jean-Baptiste
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science Numerical Analysis Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Bean: A Language for Backward Error Analysis
di: Kellison, Ariel E., et al.
Pubblicazione: (2025)

Automatic Verification of Floating-Point Accumulation Networks
di: Zhang, David K., et al.
Pubblicazione: (2025)

Verifying Floating-Point Programs in Stainless
di: Gilot, Andrea, et al.
Pubblicazione: (2026)

Equational Bit-Vector Solving via Strong Gröbner Bases
di: Song, Jiaxin, et al.
Pubblicazione: (2024)

Satire: Computing Rigorous Bounds for Floating-Point Rounding Error in Mixed-Precision Loop-Free Programs
di: Tirpankar, Tanmay, et al.
Pubblicazione: (2025)

Floating-Point Neural Networks Are Provably Robust Universal Approximators
di: Hwang, Geonho, et al.
Pubblicazione: (2025)

Finite element method. Detailed proofs to be formalized in Coq
di: Clément, François, et al.
Pubblicazione: (2024)

Time-Sensitive Importance Splitting
di: Dengler, Gabriel, et al.
Pubblicazione: (2025)

Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation
di: Dengler, Gabriel, et al.
Pubblicazione: (2024)

Accurate Residues for Floating-Point Debugging
di: He, Yumeng, et al.
Pubblicazione: (2026)

Type-Based Approaches to Rounding Error Analysis
di: Kellison, Ariel Eileen
Pubblicazione: (2025)

An Order Theory Framework of Recurrence Equations for Static Cost Analysis $-$ Dynamic Inference of Non-Linear Inequality Invariants
di: Rustenholz, Louis, et al.
Pubblicazione: (2024)

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
di: Klinkenberg, Lutz, et al.
Pubblicazione: (2023)

A Probabilistic Choreography Language for PRISM
di: Carbone, Marco, et al.
Pubblicazione: (2025)

Denotational Semantics for Probabilistic and Concurrent Programs
di: Zilberstein, Noam, et al.
Pubblicazione: (2025)

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)
di: Batz, Kevin, et al.
Pubblicazione: (2024)

A Nominal Approach to Probabilistic Separation Logic
di: Li, John M., et al.
Pubblicazione: (2024)

Numerical Fuzz: A Type System for Rounding Error Analysis
di: Kellison, Ariel E., et al.
Pubblicazione: (2024)

Approximate Relational Reasoning for Higher-Order Probabilistic Programs
di: Haselwarter, Philipp G., et al.
Pubblicazione: (2024)

Bluebell: An Alliance of Relational Lifting and Independence For Probabilistic Reasoning
di: Bao, Jialu, et al.
Pubblicazione: (2024)

Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
di: Zilberstein, Noam, et al.
Pubblicazione: (2024)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
di: Li, Kwing Hei, et al.
Pubblicazione: (2025)

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
di: Li, Kwing Hei, et al.
Pubblicazione: (2025)

Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
di: Batz, Kevin, et al.
Pubblicazione: (2025)

First Steps Towards Probabilistic Iris: Harmonizing Independence, Conditioning, and Dynamic Heap Allocation
di: Lohse, Janine, et al.
Pubblicazione: (2026)

Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
di: Aguirre, Alejandro, et al.
Pubblicazione: (2024)

Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic (Extended Version)
di: Haselwarter, Philipp G., et al.
Pubblicazione: (2026)

Shock with Confidence: Formal Proofs of Correctness for Hyperbolic Partial Differential Equation Solvers
di: Gorard, Jonathan, et al.
Pubblicazione: (2025)

Proceedings Twelfth Workshop on Fixed Points in Computer Science
di: Saurin, Alexis
Pubblicazione: (2025)

Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets
di: Ackerman, Nathanael L., et al.
Pubblicazione: (2023)

Numerical Considerations in Weighted Model Counting
di: Bryant, Randal E.
Pubblicazione: (2025)

Automated Expected Amortised Cost Analysis of Probabilistic Data Structures
di: Leutgeb, Lorenz, et al.
Pubblicazione: (2022)

S4 modal sequent calculus as intermediate logic and intermediate language
di: Caspar, Jean, et al.
Pubblicazione: (2026)

A Formally Verified Procedure for Width Inference in FIRRTL
di: Wang, Keyin, et al.
Pubblicazione: (2026)

Bit-Vector CHC Solving for Binary Analysis and Binary Analysis for Bit-Vector CHC Solving
di: Bembenek, Aaron, et al.
Pubblicazione: (2026)

Denotational Foundations for Expected Cost Analysis
di: de Amorim, Pedro H. Azevedo
Pubblicazione: (2024)

Structural Analysis of GRAFCET Control Specifications
di: Schnakenbeck, Aron, et al.
Pubblicazione: (2023)

Termination Analysis of Linear-Constraint Programs
di: Ben-Amram, Amir M., et al.
Pubblicazione: (2025)

Polymorphic Metaprogramming with Memory Management -- An Adjoint Analysis of Metaprogramming
di: Jang, Junyoung, et al.
Pubblicazione: (2024)

Formal Analysis of Networked PLC Controllers Interacting with Physical Environments
di: Lee, Jaeseo, et al.
Pubblicazione: (2025)