Buchumschlag

Simplification of Polyhedral Reductions in Practice

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Narmour, Louis, Job, Ryan, Yuki, Tomofumi, Rajopadhye, Sanjay
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Maximal Simplification of Polyhedral Reductions
von: Narmour, Louis, et al.
Veröffentlicht: (2023)

Practical Formal Verification for MLIR Programs
von: Tucker, Emily, et al.
Veröffentlicht: (2026)

LOOPerSet: A Large-Scale Dataset for Data-Driven Polyhedral Compiler Optimization
von: Merouani, Massinissa, et al.
Veröffentlicht: (2025)

LOOPer: A Learned Automatic Code Optimizer For Polyhedral Compilers
von: Merouani, Massinissa, et al.
Veröffentlicht: (2024)

Reduction for Structured Concurrent Programs
von: Gangamreddypalli, Namratha, et al.
Veröffentlicht: (2026)

Edit-Constrained Decoding for Sentence Simplification
von: Zetsu, Tatsuya, et al.
Veröffentlicht: (2024)

Law and Order for Typestate with Borrowing
von: Saffrich, Hannes, et al.
Veröffentlicht: (2024)

Generic Reduction-Based Interpreters (Extended Version)
von: Bach, Casper
Veröffentlicht: (2025)

Partial Reductions for Kleene Algebra with Linear Hypotheses
von: Chung, Liam, et al.
Veröffentlicht: (2026)

On the Complexity of Checking Soundness of Natural Reductions (Extended Version)
von: Enea, Constantin, et al.
Veröffentlicht: (2026)

Reduction Strategies in the Lambda Calculus and Their Implementation through Derivable Abstract Machines: Introduction
von: Drab, Tomasz
Veröffentlicht: (2024)

RaceFixer -- An Automated Data Race Fixer
von: Malakar, Sanjay, et al.
Veröffentlicht: (2024)

Probabilistic Guarantees for Practical LIA Loop Invariant Automation
von: Kumar, Ashish, et al.
Veröffentlicht: (2024)

Practical Refinement Session Type Inference (Extended Version)
von: Ueno, Toby, et al.
Veröffentlicht: (2026)

Aligning Sentence Simplification with ESL Learner's Proficiency for Language Acquisition
von: Li, Guanlin, et al.
Veröffentlicht: (2025)

Policy-based Sentence Simplification: Replacing Parallel Corpora with LLM-as-a-Judge
von: Wu, Xuanxin, et al.
Veröffentlicht: (2025)

Arrays in Practice: An Empirical Study of Array Access Patterns on the JVM
von: Åkerblom, Beatrice, et al.
Veröffentlicht: (2024)

Practical Type-Based Taint Checking and Inference (Extended Version)
von: Karimipour, Nima, et al.
Veröffentlicht: (2025)

Bounding Fixed Points of Non-Monotone Processes: Theory to Practice
von: Rasheed, Abdullah H., et al.
Veröffentlicht: (2026)

Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern
von: Redmond, Patrick, et al.
Veröffentlicht: (2025)

Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers
von: Peng, Xuanyu, et al.
Veröffentlicht: (2025)

Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version)
von: Flanagan, Cormac, et al.
Veröffentlicht: (2024)

AnCoder: Anchored Code Generation via Discrete Diffusion Models
von: Xue, Anton, et al.
Veröffentlicht: (2026)

An In-depth Evaluation of Large Language Models in Sentence Simplification with Error-based Human Assessment
von: Wu, Xuanxin, et al.
Veröffentlicht: (2024)

PIP: Making Andersen's Points-to Analysis Sound and Practical for Incomplete C Programs
von: Krogstie, Håvard Rognebakke, et al.
Veröffentlicht: (2025)

Parsimonious Optimal Dynamic Partial Order Reduction
von: Abdulla, Parosh Aziz, et al.
Veröffentlicht: (2024)

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
von: Warren, David S., et al.
Veröffentlicht: (2024)

Code Sharing in Healthcare Research: A Practical Guide and Recommendations for Good Practice
von: Hughes-Noehrer, Lukas, et al.
Veröffentlicht: (2025)

LPR: Large Language Models-Aided Program Reduction
von: Zhang, Mengxiao, et al.
Veröffentlicht: (2023)

DRReduce: Enhancing Syntax-Guided Program Reduction with Dependency Reconstruction
von: Feng, Qiong, et al.
Veröffentlicht: (2026)

Execution-Aware Program Reduction for WebAssembly via Record and Replay
von: Baek, Doehyun, et al.
Veröffentlicht: (2025)

Hercules: A Compiler for Productive Programming of Heterogeneous Systems
von: Arbore, Russel, et al.
Veröffentlicht: (2025)

Accurate Coverage Metrics for Compiler-Generated Debugging Information
von: Stinnett, J. Ryan, et al.
Veröffentlicht: (2024)

Checkification: A Practical Approach for Testing Static Analysis Truths
von: Ferreiro, Daniela, et al.
Veröffentlicht: (2025)

Constrained Decoding for Fill-in-the-Middle Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars
von: Melcer, Daniel, et al.
Veröffentlicht: (2024)

Practical Insights into Fair Comparison and Evaluation Frame for Neutral-Atom Compilers
von: Khusainov, Emil, et al.
Veröffentlicht: (2026)

Crux, a Precise Verifier for Rust and Other Languages
von: Pernsteiner, Stuart, et al.
Veröffentlicht: (2024)

QCP: A Practical Separation Logic-based C Program Verification Tool
von: Wu, Xiwei, et al.
Veröffentlicht: (2025)

A Unified Framework for Automated Code Transformation and Pragma Insertion
von: Pouget, Stéphane, et al.
Veröffentlicht: (2024)

PDL: A Declarative Prompt Programming Language
von: Vaziri, Mandana, et al.
Veröffentlicht: (2024)