Cover Image

Maximal Simplification of Polyhedral Reductions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Narmour, Louis, Yuki, Tomofumi, Rajopadhye, Sanjay
Format:	Preprint
Published:	2023
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Simplification of Polyhedral Reductions in Practice
by: Narmour, Louis, et al.
Published: (2024)

LOOPerSet: A Large-Scale Dataset for Data-Driven Polyhedral Compiler Optimization
by: Merouani, Massinissa, et al.
Published: (2025)

LOOPer: A Learned Automatic Code Optimizer For Polyhedral Compilers
by: Merouani, Massinissa, et al.
Published: (2024)

Maximal and minimal dynamic Petri net slicing
by: Llorens, Marisa, et al.
Published: (2021)

Reduction for Structured Concurrent Programs
by: Gangamreddypalli, Namratha, et al.
Published: (2026)

Edit-Constrained Decoding for Sentence Simplification
by: Zetsu, Tatsuya, et al.
Published: (2024)

Law and Order for Typestate with Borrowing
by: Saffrich, Hannes, et al.
Published: (2024)

Generic Reduction-Based Interpreters (Extended Version)
by: Bach, Casper
Published: (2025)

Partial Reductions for Kleene Algebra with Linear Hypotheses
by: Chung, Liam, et al.
Published: (2026)

On the Complexity of Checking Soundness of Natural Reductions (Extended Version)
by: Enea, Constantin, et al.
Published: (2026)

Reduction Strategies in the Lambda Calculus and Their Implementation through Derivable Abstract Machines: Introduction
by: Drab, Tomasz
Published: (2024)

RaceFixer -- An Automated Data Race Fixer
by: Malakar, Sanjay, et al.
Published: (2024)

Aligning Sentence Simplification with ESL Learner's Proficiency for Language Acquisition
by: Li, Guanlin, et al.
Published: (2025)

Policy-based Sentence Simplification: Replacing Parallel Corpora with LLM-as-a-Judge
by: Wu, Xuanxin, et al.
Published: (2025)

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

AnCoder: Anchored Code Generation via Discrete Diffusion Models
by: Xue, Anton, et al.
Published: (2026)

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

Parsimonious Optimal Dynamic Partial Order Reduction
by: Abdulla, Parosh Aziz, et al.
Published: (2024)

LPR: Large Language Models-Aided Program Reduction
by: Zhang, Mengxiao, et al.
Published: (2023)

DRReduce: Enhancing Syntax-Guided Program Reduction with Dependency Reconstruction
by: Feng, Qiong, et al.
Published: (2026)

Practical Formal Verification for MLIR Programs
by: Tucker, Emily, et al.
Published: (2026)

Execution-Aware Program Reduction for WebAssembly via Record and Replay
by: Baek, Doehyun, et al.
Published: (2025)

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

A Unified Framework for Automated Code Transformation and Pragma Insertion
by: Pouget, Stéphane, et al.
Published: (2024)

PDL: A Declarative Prompt Programming Language
by: Vaziri, Mandana, et al.
Published: (2024)

Learning Randomized Reductions
by: Erata, Ferhat, et al.
Published: (2024)

Non-Cartesian Guarded Recursion with Daggers
by: Lemonnier, Louis
Published: (2024)

The Semantics of Effects: Centrality, Quantum Control and Reversible Recursion
by: Lemonnier, Louis
Published: (2024)

A Machine Learning-based Approach for Solving Recurrence Relations and its use in Cost Analysis of Logic Programs
by: Rustenholz, Louis, et al.
Published: (2024)

Inference Plans for Hybrid Particle Filtering
by: Cheng, Ellie Y., et al.
Published: (2024)

Text Simplification with Sentence Embeddings
by: Shardlow, Matthew
Published: (2025)

Automatic Lexical Simplification for Turkish
by: Uluslu, Ahmet Yavuz
Published: (2022)

An Irredundant and Compressed Data Layout to Optimize Bandwidth Utilization of FPGA Accelerators
by: Ferry, Corentin, et al.
Published: (2024)

Role of Dependency Distance in Text Simplification: A Human vs ChatGPT Simplification Comparison
by: Lee, Sumi, et al.
Published: (2024)

Abstractions of Sequences, Functions and Operators
by: Rustenholz, Louis, et al.
Published: (2025)

Idempotent Slices with Applications to Code-Size Reduction
by: de Azevedo, Rafael Alvarenga, et al.
Published: (2026)

New Evaluation Paradigm for Lexical Simplification
by: Qiang, Jipeng, et al.
Published: (2025)

The SAMER Arabic Text Simplification Corpus
by: Alhafni, Bashar, et al.
Published: (2024)

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

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