:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Narmour, Louis, Job, Ryan, Yuki, Tomofumi, Rajopadhye, Sanjay
Format:	Preprint
Published:	2024
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2411.17498
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Maximal Simplification of Polyhedral Reductions
by: Narmour, Louis, et al.
Published: (2023)

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

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)

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

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

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

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

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

An In-depth Evaluation of Large Language Models in Sentence Simplification with Error-based Human Assessment
by: Wu, Xuanxin, 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)

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

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

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

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

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

Probabilistic Guarantees for Practical LIA Loop Invariant Automation
by: Kumar, Ashish, et al.
Published: (2024)

Practical Refinement Session Type Inference (Extended Version)
by: Ueno, Toby, et al.
Published: (2026)

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

Practical Type-Based Taint Checking and Inference (Extended Version)
by: Karimipour, Nima, et al.
Published: (2025)

Bounding Fixed Points of Non-Monotone Processes: Theory to Practice
by: Rasheed, Abdullah H., et al.
Published: (2026)

Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern
by: Redmond, Patrick, et al.
Published: (2025)

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

Code Sharing in Healthcare Research: A Practical Guide and Recommendations for Good Practice
by: Hughes-Noehrer, Lukas, 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)

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

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

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

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

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

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)

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

Accurate Coverage Metrics for Compiler-Generated Debugging Information
by: Stinnett, J. Ryan, et al.
Published: (2024)

Hercules: A Compiler for Productive Programming of Heterogeneous Systems
by: Arbore, Russel, et al.
Published: (2025)

Checkification: A Practical Approach for Testing Static Analysis Truths
by: Ferreiro, Daniela, et al.
Published: (2025)

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

Practical Insights into Fair Comparison and Evaluation Frame for Neutral-Atom Compilers
by: Khusainov, Emil, et al.
Published: (2026)

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

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