Imagen de Portada

FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Allred, Taylor, Li, Xinyi, Wiersdorf, Ashton, Greenman, Ben, Gopalakrishnan, Ganesh
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages Mathematical Software
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Chorex: Restartable, Language-Integrated Choreographies
por: Wiersdorf, Ashton, et al.
Publicado: (2025)

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

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

Conceptual Mutation Testing for Student Programming Misconceptions
por: Prasad, Siddhartha, et al.
Publicado: (2023)

ProDebug: An Automated Debugging System for Prolog
por: Brancas, Ricardo, et al.
Publicado: (2026)

CuTe Layout Representation and Algebra
por: Cecka, Cris
Publicado: (2026)

Tensor Evolution: A Framework for Fast Evaluation of Tensor Computations using Recurrences
por: Absar, Javed, et al.
Publicado: (2025)

WDD: Weighted Delta Debugging
por: Zhou, Xintong, et al.
Publicado: (2024)

Toward a Corpus Study of the Dynamic Gradual Type
por: Nsofor, Dibri, et al.
Publicado: (2025)

Welding R and C++: A Tale of Two Programming Languages
por: Sepulveda, Mauricio Vargas
Publicado: (2024)

Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages
por: Gilot, Andrea, et al.
Publicado: (2025)

Building an Accelerated OpenFOAM Proof-of-Concept Application using Modern C++
por: Malenza, Giulio, et al.
Publicado: (2025)

Annotation-guided AoS-to-SoA conversions and GPU offloading with data views in C++
por: Radtke, Pawel K., et al.
Publicado: (2025)

Open Source Prover in the Attic
por: Kovács, Zoltán, et al.
Publicado: (2024)

Accurate Coverage Metrics for Compiler-Generated Debugging Information
por: Stinnett, J. Ryan, et al.
Publicado: (2024)

Introduction to Analytical Software Engineering Design Paradigm
por: Houichime, Tarik, et al.
Publicado: (2025)

Metamorphic Debugging for Accountable Software
por: Tizpaz-Niari, Saeid, et al.
Publicado: (2024)

Compressing Structured Tensor Algebra
por: Ghorbani, Mahdi, et al.
Publicado: (2024)

The State of Julia for Scientific Machine Learning
por: Berman, Edward, et al.
Publicado: (2024)

Antiassociative algebra in R: introducing the evitaicossa package
por: Hankinn, Robin K. S.
Publicado: (2024)

Optimizing Optimizations, Declaratively: Optimizing the Higher-Order Functions in Mathematical Optimization with egglog
por: Ishii, Hiromi
Publicado: (2026)

Growing Mathlib: maintenance of a large scale mathematical library
por: Baanen, Anne, et al.
Publicado: (2025)

Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling
por: Ishii, Hiromi, et al.
Publicado: (2025)

MIO: Multiverse Debugging in the Face of Input/Output -- Extended Version with Additional Appendices
por: Lauwaerts, Tom, et al.
Publicado: (2025)

Specification and Verification for Climate Modeling: Formalization Leading to Impactful Tooling
por: Altuntas, Alper, et al.
Publicado: (2025)

Revealing Floating-Point Accumulation Orders in Software/Hardware Implementations
por: Xie, Peichen, et al.
Publicado: (2024)

A Constraint-based Mathematical Modeling Library in Prolog with Answer Constraint Semantics
por: Fages, François
Publicado: (2024)

FLoPS: Semantics, Operations, and Properties of P3109 Floating-Point Representations in Lean
por: Chang, Tung-Che, et al.
Publicado: (2026)

debug-gym: A Text-Based Environment for Interactive Debugging
por: Yuan, Xingdi, et al.
Publicado: (2025)

From Code to Correctness: Closing the Last Mile of Code Generation with Hierarchical Debugging
por: Shi, Yuling, et al.
Publicado: (2024)

Inexactness and Correction of Floating-Point Reciprocal, Division and Square Root
por: Dutton, Lucas M., et al.
Publicado: (2024)

GPU Implementations for Midsize Integer Addition and Multiplication
por: Oancea, Cosmin E., et al.
Publicado: (2024)

Scorch: A Library for Sparse Deep Learning
por: Yan, Bobby, et al.
Publicado: (2024)

Compiler-supported reduced precision and AoS-SoA transformations for heterogeneous hardware
por: Radtke, Pawel K., et al.
Publicado: (2025)

Julia GraphBLAS with Nonblocking Execution
por: Costanza, Pascal, et al.
Publicado: (2025)

ChatDBG: Augmenting Debugging with Large Language Models
por: Levin, Kyla H., et al.
Publicado: (2024)

Debugging code world models
por: Rahmani, Babak
Publicado: (2026)

If-T: A Benchmark for Type Narrowing
por: Guo, Hanwen, et al.
Publicado: (2025)

Flow Sensitivity without Control Flow Graph: An Efficient Andersen-Style Flow-Sensitive Pointer Analysis
por: Zhang, Jiahao, et al.
Publicado: (2025)

Generalized Methodology for Determining Numerical Features of Hardware Floating-Point Matrix Multipliers: Part I
por: Khattak, Faizan A, et al.
Publicado: (2025)