Imagen de Portada

Numerical Superoptimization for Library Learning

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Regehr, Jonas, Briles, Mitch, Tatlock, Zachary, Panchekha, Pavel
Formato:	Preprint
Publicado:	2026
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Target-Aware Implementation of Real Expressions
por: Saiki, Brett, et al.
Publicado: (2024)

Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
por: Liu, Zhengyang, et al.
Publicado: (2023)

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

Spineless Traversal for Layout Invalidation
por: Kirisame, Marisa, et al.
Publicado: (2024)

Prism: Symbolic Superoptimization of Tensor Programs
por: Wu, Mengdi, et al.
Publicado: (2026)

EPSO: A Caching-Based Efficient Superoptimizer for BPF Bytecode
por: Zhu, Qian, et al.
Publicado: (2025)

Incremental Bidirectional Typing via Order Maintenance
por: Porter, Thomas J., et al.
Publicado: (2025)

Semantics for 2D Rasterization
por: Kulkarni, Bhargav, et al.
Publicado: (2026)

Mirage: A Multi-Level Superoptimizer for Tensor Programs
por: Wu, Mengdi, et al.
Publicado: (2024)

SuperCoder: Assembly Program Superoptimization with Large Language Models
por: Wei, Anjiang, et al.
Publicado: (2025)

Incremental Live Programming via Shortcut Memoization
por: Kirisame, Marisa, et al.
Publicado: (2026)

There and Back Again: A Netlist's Tale with Much Egraphin'
por: Smith, Gus Henry, et al.
Publicado: (2024)

Scaling Program Synthesis Based Technology Mapping with Equality Saturation
por: Smith, Gus Henry, et al.
Publicado: (2024)

FPGA Technology Mapping Using Sketch-Guided Program Synthesis
por: Smith, Gus Henry, et al.
Publicado: (2024)

Magic Markup: Maintaining Document-External Markup with an LLM
por: Misback, Edward, et al.
Publicado: (2024)

Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers
por: Peng, Xuanyu, et al.
Publicado: (2025)

Place Capability Graphs: A General-Purpose Model of Rust's Ownership and Borrowing Guarantees
por: Grannan, Zachary, et al.
Publicado: (2025)

A Categorical Basis for Robust Program Analysis
por: Kincaid, Zachary, et al.
Publicado: (2026)

The Formal Semantics and Implementation of a Domain-Specific Language for Mixed-Initiative Dialogs
por: Rowland, Zachary S., et al.
Publicado: (2025)

Resource Specifications for Resource-Manipulating Programs
por: Grannan, Zachary, et al.
Publicado: (2023)

Towards a comprehensive taxonomy of online abusive language informed by machine leaning
por: Moghaddam, Samaneh Hosseini, et al.
Publicado: (2025)

Leroy: Library Learning for Imperative Programming Languages
por: Bellur, Abhiram, et al.
Publicado: (2024)

Testing GPU Numerics: Finding Numerical Differences Between NVIDIA and AMD GPUs
por: Zahid, Anwar Hossain, et al.
Publicado: (2024)

Gray-Box Fuzzing in Local Space
por: Jonáš, Martin, et al.
Publicado: (2025)

Automated Formal Verification of a Software Fault Isolation System
por: Sotoudeh, Matthew, et al.
Publicado: (2025)

Register Aggregation for Hardware Decompilation
por: Rao, Varun, et al.
Publicado: (2024)

Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs
por: Kent, Zachary, et al.
Publicado: (2025)

Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage (Technical Report)
por: Jonáš, Martin, et al.
Publicado: (2024)

Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates
por: Zhu, Shaowei, et al.
Publicado: (2024)

Software Model Checking via Summary-Guided Search (Extended Version)
por: Fang, Ruijie, et al.
Publicado: (2025)

Lessons Learned So Far From a Community Effort to Verify the Rust Standard Library (work-in-progress)
por: Blanc, Alex Le, et al.
Publicado: (2025)

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

GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production
por: Serebryany, Kostya, et al.
Publicado: (2023)

Relating Answer Set Programming and Many-sorted Logics for Formal Verification
por: Hansen, Zachary
Publicado: (2025)

LILO: Learning Interpretable Libraries by Compressing and Documenting Code
por: Grand, Gabriel, et al.
Publicado: (2023)

Skill-as-Pseudocode: Refactoring Skill Libraries to Pseudocode for LLM Agents
por: Li, Xinze, et al.
Publicado: (2026)

Fast Mixed-Precision Real Evaluation
por: Yadrov, Artem, et al.
Publicado: (2025)

Fast Mixed-Precision Real Evaluation
por: Yadrov, Artem, et al.
Publicado: (2024)

Mixing Condition Numbers and Oracles for Accurate Floating-point Debugging
por: Kulkarni, Bhargav, et al.
Publicado: (2025)

Egglog Python: A Pythonic Library for E-graphs
por: Shanabrook, Saul
Publicado: (2023)