Imagen de Portada

Minotaur: A SIMD-Oriented Synthesizing Superoptimizer

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Liu, Zhengyang, Mada, Stefan, Regehr, John
Formato:	Preprint
Publicado:	2023
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Numerical Superoptimization for Library Learning
por: Regehr, Jonas, et al.
Publicado: (2026)

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

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

Prism: Symbolic Superoptimization of Tensor Programs
por: Wu, Mengdi, 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)

Improving compiler support for SIMD offload using Arm Streaming SVE
por: Mohamed, Mohamed Husain Noor, et al.
Publicado: (2025)

A Performance Model for Warp Specialization Kernels
por: Liu, Zhengyang, et al.
Publicado: (2025)

Synthesizing Specifications
por: Park, Kanghee, et al.
Publicado: (2023)

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

Synthesizing Formal Semantics from Executable Interpreters
por: Liu, Jiangyi, et al.
Publicado: (2024)

Synthesizing JSON Schema Transformers
por: Stanek, Jack, et al.
Publicado: (2024)

Generative Explanations for Program Synthesizers
por: Nazari, Amirmohammad, et al.
Publicado: (2024)

Synthesizing Optimal Object Selection Predicates for Image Editing using Lattices
por: He, Yang, et al.
Publicado: (2025)

Synthesizing Trajectory Queries from Examples
por: Mell, Stephen, et al.
Publicado: (2026)

Synthesizing Backward Error Bounds, Backward
por: Zielinski, Laura, et al.
Publicado: (2026)

LOUD: Synthesizing Strongest and Weakest Specifications
por: Park, Kanghee, et al.
Publicado: (2024)

Synthesizing Abstract Transformers for Reduced-Product Domains
por: Kalita, Pankaj Kumar, et al.
Publicado: (2024)

Towards Automated Verification of LLM-Synthesized C Programs
por: Mukherjee, Prasita, et al.
Publicado: (2024)

Synthesizing DSLs for Few-Shot Learning
por: Krogmeier, Paul, et al.
Publicado: (2025)

$φ$-Calculus: Object-Oriented Formalism
por: Bugayenko, Yegor, et al.
Publicado: (2021)

Fixed-Point-Oriented Programming: A Concise and Elegant Paradigm
por: Foo, Yong Qi, et al.
Publicado: (2025)

Oriented Metrics for Bottom-Up Enumerative Synthesis
por: Meyer, Roland, et al.
Publicado: (2025)

Synthesizing Document Database Queries using Collection Abstractions
por: Liu, Qikang, et al.
Publicado: (2024)

Transition-Oriented Programming: Developing Provably Correct Systems
por: Ding, Yepeng
Publicado: (2020)

OOPredictor: Predicting Object-Oriented Accesses using Static Analysis
por: Arafat, Hassan, et al.
Publicado: (2025)

CUBES: A Parallel Synthesizer for SQL Using Examples
por: Brancas, Ricardo, et al.
Publicado: (2022)

Controllable and Reliable Knowledge-Intensive Task-Oriented Conversational Agents with Declarative Genie Worksheets
por: Joshi, Harshit, et al.
Publicado: (2024)

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

Verifying Correctness of Shared Channels in a Cooperatively Scheduled Process-Oriented Language
por: Pedersen, Jan, et al.
Publicado: (2025)

Qwerty: A Basis-Oriented Quantum Programming Language
por: Adams, Austin J., et al.
Publicado: (2024)

Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting
por: Oakley, Lisa, et al.
Publicado: (2024)

Testing and Understanding Erroneous Planning in LLM Agents through Synthesized User Inputs
por: Ji, Zhenlan, et al.
Publicado: (2024)

QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities
por: Wang, Claire, et al.
Publicado: (2025)

Building A Proof-Oriented Programmer That Is 64% Better Than GPT-4o Under Data Scarcity
por: Zhang, Dylan, et al.
Publicado: (2025)

ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language
por: Adams, Austin J., et al.
Publicado: (2025)

Synthesizing Programmatic Reinforcement Learning Policies with Large Language Model Guided Search
por: Liu, Max, et al.
Publicado: (2024)

Generating Pragmatic Examples to Train Neural Program Synthesizers
por: Vaduguru, Saujas, et al.
Publicado: (2023)

StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator
por: Reitz, Antonin, et al.
Publicado: (2024)

From Affine to Polynomial: Synthesizing Loops with Branches via Algebraic Geometry
por: Bayarmagnai, Erdenebayar, et al.
Publicado: (2025)