Cover Image

Portability of Optimizations from SC to TSO

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Gopalakrishnan, Akshay, Verbrugge, Clark
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Memory Consistency and Program Transformations
by: Gopalakrishnan, Akshay, et al.
Published: (2024)

Verification under TSO with an infinite Data Domain
by: Abdulla, Parosh Aziz, et al.
Published: (2024)

Efficient, Portable, Census-Polymorphic Choreographic Programming
by: Bates, Mako, et al.
Published: (2024)

SLaDe: A Portable Small Language Model Decompiler for Optimized Assembly
by: Armengol-Estapé, Jordi, et al.
Published: (2023)

Autocomp: A Powerful and Portable Code Optimizer for Tensor Accelerators
by: Hong, Charles, et al.
Published: (2025)

TSO: Self-Training with Scaled Preference Optimization
by: Chen, Kaihui, et al.
Published: (2024)

GPU Performance Portability needs Autotuning
by: Ringlein, Burkhard, et al.
Published: (2025)

Don't Vibe Code, Do Skele-Code: Interactive No-Code Notebooks for Subject Matter Experts to Build Lower-Cost Agentic Workflows
by: Gopalakrishnan, Sriram
Published: (2026)

A Few Fit Most: Improving Performance Portability of SGEMM on GPUs using Multi-Versioning
by: Hochgraf, Robert, et al.
Published: (2025)

FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions
by: Allred, Taylor, et al.
Published: (2024)

Portable Micros: Potentials for Information Management.
by: Davis, Charles H.
Published: (1984)

Satire: Computing Rigorous Bounds for Floating-Point Rounding Error in Mixed-Precision Loop-Free Programs
by: Tirpankar, Tanmay, et al.
Published: (2025)

Portability of Fortran's `do concurrent' on GPUs
by: Caplan, Ronald M., et al.
Published: (2024)

Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics
by: Zhao, Jianhong, et al.
Published: (2025)

Program Synthesis for Non-Linear Real Arithmetic: Going Beyond Realizability
by: Akshay, S., et al.
Published: (2026)

PolyBlocks: A Compiler Infrastructure for AI Chips and Programming Frameworks
by: Bondhugula, Uday, et al.
Published: (2026)

Optimized Execution of FreeCHR
by: Rechenberger, Sascha, et al.
Published: (2025)

Analyzing LLM Instruction Optimization for Tabular Fact Verification
by: Du, Xiaotang, et al.
Published: (2026)

An Optimizing Just-In-Time Compiler for Rotor
by: Trindade, João H., et al.
Published: (2024)

Disassembly as Weighted Interval Scheduling with Learned Weights
by: Flores-Montoya, Antonio, et al.
Published: (2025)

A Data-driven Analysis of Code Optimizations
by: Hakimi, Yacine, et al.
Published: (2025)

Scaling Optimization Over Uncertainty via Compilation
by: Cho, Minsung, et al.
Published: (2025)

Agentic Code Optimization via Compiler-LLM Cooperation
by: Mikek, Benjamin, et al.
Published: (2026)

Leveraging Large Language Models for Generalizing Peephole Optimizations
by: Liao, Chunhao, et al.
Published: (2026)

Dataflow-Based Optimization for Quantum Intermediate Representation Programs
by: Luo, Junjie, et al.
Published: (2024)

Pearl: Automatic Code Optimization Using Deep Reinforcement Learning
by: Lamouri, Djamel Rassem, et al.
Published: (2025)

Old is Gold: Optimizing Single-threaded Applications with Exgen-Malloc
by: Li, Ruihao, et al.
Published: (2025)

NPUEval: Optimizing NPU Kernels with LLMs and Open Source Compilers
by: Kalade, Sarunas, et al.
Published: (2025)

Optimization of the Context-Free Language Reachability Matrix-Based Algorithm
by: Muravev, Ilia
Published: (2024)

Optimizing Datalog for the GPU
by: Sun, Yihao, et al.
Published: (2023)

Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs
by: Tekriwal, Mohit, et al.
Published: (2025)

DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling
by: Randone, Francesca, et al.
Published: (2026)

Data Transfer Optimizations for Host-CPU and Accelerators in AXI4MLIR
by: Haris, Jude, et al.
Published: (2024)

Exploiting Multiple Abstract Call Patterns for Optimizing Run-Time Checks
by: Ferreiro, Daniela, et al.
Published: (2026)

Adaptive Recursive Query Optimization
by: Herlihy, Anna, et al.
Published: (2023)

Enhancing Compiler Optimization Efficiency through Grammatical Decompositions of Control-Flow Graphs
by: Cai, Xuran
Published: (2025)

An Attempt to Catch Up with JIT Compilers: The False Lead of Optimizing Inline Caches
by: Poirier, Aurore, et al.
Published: (2025)

CompilerGPT: Leveraging Large Language Models for Analyzing and Acting on Compiler Optimization Reports
by: Pirkelbauer, Peter, et al.
Published: (2025)

Optimizing Layout of Recursive Datatypes with Marmoset
by: Singhal, Vidush, et al.
Published: (2024)

RECURSUM: Automated Code Generation for Recurrence Relations Exceeds Expert Optimization via LayeredCodegen
by: Guerrero, Rubén Darío
Published: (2026)