:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Narmour, Louis, Yuki, Tomofumi, Rajopadhye, Sanjay
Format:	Preprint
Publié:	2023
Sujets:	Programming Languages
Accès en ligne:	https://arxiv.org/abs/2309.11826
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Simplification of Polyhedral Reductions in Practice
par: Narmour, Louis, et autres
Publié: (2024)

LOOPerSet: A Large-Scale Dataset for Data-Driven Polyhedral Compiler Optimization
par: Merouani, Massinissa, et autres
Publié: (2025)

LOOPer: A Learned Automatic Code Optimizer For Polyhedral Compilers
par: Merouani, Massinissa, et autres
Publié: (2024)

Edit-Constrained Decoding for Sentence Simplification
par: Zetsu, Tatsuya, et autres
Publié: (2024)

Maximal and minimal dynamic Petri net slicing
par: Llorens, Marisa, et autres
Publié: (2021)

Aligning Sentence Simplification with ESL Learner's Proficiency for Language Acquisition
par: Li, Guanlin, et autres
Publié: (2025)

Reduction for Structured Concurrent Programs
par: Gangamreddypalli, Namratha, et autres
Publié: (2026)

Law and Order for Typestate with Borrowing
par: Saffrich, Hannes, et autres
Publié: (2024)

Policy-based Sentence Simplification: Replacing Parallel Corpora with LLM-as-a-Judge
par: Wu, Xuanxin, et autres
Publié: (2025)

An In-depth Evaluation of Large Language Models in Sentence Simplification with Error-based Human Assessment
par: Wu, Xuanxin, et autres
Publié: (2024)

Generic Reduction-Based Interpreters (Extended Version)
par: Bach, Casper
Publié: (2025)

Partial Reductions for Kleene Algebra with Linear Hypotheses
par: Chung, Liam, et autres
Publié: (2026)

RaceFixer -- An Automated Data Race Fixer
par: Malakar, Sanjay, et autres
Publié: (2024)

On the Complexity of Checking Soundness of Natural Reductions (Extended Version)
par: Enea, Constantin, et autres
Publié: (2026)

AnCoder: Anchored Code Generation via Discrete Diffusion Models
par: Xue, Anton, et autres
Publié: (2026)

An Irredundant and Compressed Data Layout to Optimize Bandwidth Utilization of FPGA Accelerators
par: Ferry, Corentin, et autres
Publié: (2024)

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

Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version)
par: Flanagan, Cormac, et autres
Publié: (2024)

Parsimonious Optimal Dynamic Partial Order Reduction
par: Abdulla, Parosh Aziz, et autres
Publié: (2024)

LPR: Large Language Models-Aided Program Reduction
par: Zhang, Mengxiao, et autres
Publié: (2023)

DRReduce: Enhancing Syntax-Guided Program Reduction with Dependency Reconstruction
par: Feng, Qiong, et autres
Publié: (2026)

Constrained Decoding for Fill-in-the-Middle Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars
par: Melcer, Daniel, et autres
Publié: (2024)

Execution-Aware Program Reduction for WebAssembly via Record and Replay
par: Baek, Doehyun, et autres
Publié: (2025)

Practical Formal Verification for MLIR Programs
par: Tucker, Emily, et autres
Publié: (2026)

Learning Randomized Reductions
par: Erata, Ferhat, et autres
Publié: (2024)

A Unified Framework for Automated Code Transformation and Pragma Insertion
par: Pouget, Stéphane, et autres
Publié: (2024)

Text Simplification with Sentence Embeddings
par: Shardlow, Matthew
Publié: (2025)

Automatic Lexical Simplification for Turkish
par: Uluslu, Ahmet Yavuz
Publié: (2022)

Non-Cartesian Guarded Recursion with Daggers
par: Lemonnier, Louis
Publié: (2024)

The Semantics of Effects: Centrality, Quantum Control and Reversible Recursion
par: Lemonnier, Louis
Publié: (2024)

Role of Dependency Distance in Text Simplification: A Human vs ChatGPT Simplification Comparison
par: Lee, Sumi, et autres
Publié: (2024)

PDL: A Declarative Prompt Programming Language
par: Vaziri, Mandana, et autres
Publié: (2024)

Idempotent Slices with Applications to Code-Size Reduction
par: de Azevedo, Rafael Alvarenga, et autres
Publié: (2026)

New Evaluation Paradigm for Lexical Simplification
par: Qiang, Jipeng, et autres
Publié: (2025)

The SAMER Arabic Text Simplification Corpus
par: Alhafni, Bashar, et autres
Publié: (2024)

A Machine Learning-based Approach for Solving Recurrence Relations and its use in Cost Analysis of Logic Programs
par: Rustenholz, Louis, et autres
Publié: (2024)

Inference Plans for Hybrid Particle Filtering
par: Cheng, Ellie Y., et autres
Publié: (2024)

Abstractions of Sequences, Functions and Operators
par: Rustenholz, Louis, et autres
Publié: (2025)

INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition
par: Bansal, Suguman, et autres
Publié: (2025)

Automatic Simplification of Common Vulnerabilities and Exposures Descriptions
par: Vehomäki, Varpu, et autres
Publié: (2026)