Buchumschlag

Maximal Simplification of Polyhedral Reductions

Fuente: arXiv

Gespeichert in:

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

Ähnliche Einträge

Simplification of Polyhedral Reductions in Practice
von: Narmour, Louis, et al.
Veröffentlicht: (2024)

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)

Maximal and minimal dynamic Petri net slicing
von: Llorens, Marisa, et al.
Veröffentlicht: (2021)

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)

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)

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)

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

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)

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

Execution-Aware Program Reduction for WebAssembly via Record and Replay
von: Baek, Doehyun, 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)

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)

Learning Randomized Reductions
von: Erata, Ferhat, et al.
Veröffentlicht: (2024)

Non-Cartesian Guarded Recursion with Daggers
von: Lemonnier, Louis
Veröffentlicht: (2024)

The Semantics of Effects: Centrality, Quantum Control and Reversible Recursion
von: Lemonnier, Louis
Veröffentlicht: (2024)

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

Inference Plans for Hybrid Particle Filtering
von: Cheng, Ellie Y., et al.
Veröffentlicht: (2024)

Text Simplification with Sentence Embeddings
von: Shardlow, Matthew
Veröffentlicht: (2025)

Automatic Lexical Simplification for Turkish
von: Uluslu, Ahmet Yavuz
Veröffentlicht: (2022)

An Irredundant and Compressed Data Layout to Optimize Bandwidth Utilization of FPGA Accelerators
von: Ferry, Corentin, et al.
Veröffentlicht: (2024)

Role of Dependency Distance in Text Simplification: A Human vs ChatGPT Simplification Comparison
von: Lee, Sumi, et al.
Veröffentlicht: (2024)

Abstractions of Sequences, Functions and Operators
von: Rustenholz, Louis, et al.
Veröffentlicht: (2025)

Idempotent Slices with Applications to Code-Size Reduction
von: de Azevedo, Rafael Alvarenga, et al.
Veröffentlicht: (2026)

New Evaluation Paradigm for Lexical Simplification
von: Qiang, Jipeng, et al.
Veröffentlicht: (2025)

The SAMER Arabic Text Simplification Corpus
von: Alhafni, Bashar, et al.
Veröffentlicht: (2024)

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

Scaling Program Synthesis Based Technology Mapping with Equality Saturation
von: Smith, Gus Henry, et al.
Veröffentlicht: (2024)