Search Results - "Program transformation"

Exact Pattern-Aware Extraction for Equality Saturation via Bounded-Depth Tree Covering.

Authors: Cheng, Zi Yuan, Mengting Zhang, Lefei

Source: Algorithms. May2026, Vol. 19 Issue 5, p377. 22p.

Loop-Block-Level Automatic Parallelization in Compilers.

Authors: Chen, Mengyao Zhou, Qinglei Nie, Kai et al.

Source: Applied Sciences (2076-3417); Feb2026, Vol. 16 Issue 3, p1533, 13p

AIPR: An Automated Instruction-Level Patching and Rewriting Framework for Sustainable RISC-V Research.

Authors: Choi, Juhee¹

Source: Applied Sciences (2076-3417); Feb2026, Vol. 16 Issue 3, p1461, 16p

PROBLEMS OF AUTOMATIC CODE OPTIMIZATION BY THE COMPILER.

Alternate Title: ПРОБЛЕМИ АВТОМАТИЧНОЇ ОПТИМІЗАЦІЇ ПРОГРАМНОГО КОДУ КОМПІЛЯТОРОМ.

Authors: Zhulkovska, I. Zhulkovskyi, O. Rudianova, T. et al.

Source: Informatics & Mathematical Methods in Simulation / Informatika ta Matematičnì Metodi v Modelûvannì. 2026, Vol. 16 Issue 1, p43-51. 9p.

Subjects: High performance computing, Program transformation, Benchmark problems (Computer science), Machine learning, Parallel processing, Scalability

Program Redesign to Positively Impact College Students, Institution, and Community.

Authors: Landgraf, Katie¹

Source: Journal of Accounting & Finance (2158-3625). 2025, Vol. 25 Issue 5, p16-30. 15p.

An Empirical Study of Code Simplification Methods in Code Intelligence Tasks.

Authors: Shen, Zongwen Li, Yuning Ge, Jidong et al.

Source: ACM Transactions on Software Engineering & Methodology; Nov2025, Vol. 34 Issue 8, p1-31, 31p

Optimising Stencil Code on FPGAs by Trading Data Movement for Compute using Compiler Rewrite Rules.

Authors: Szafarczyk, Robert Nabi, Syed Waqar Vanderbauwhede, Wim

Source: International Journal of Parallel Programming. Jun2026, Vol. 54 Issue 1/2, p1-28. 28p.

Understanding code semantics: a benchmark study of LLMs.

Authors: Laneve, Cosimo Spanò, Alvise Ressi, Dalila et al.

Source: International Journal on Software Tools for Technology Transfer. Jun2026, Vol. 28 Issue 3, p329-343. 15p.

Subjects: Programming language semantics, Program transformation, Benchmark problems (Computer science), Python programming language, Language models

SIMPLIFYING EXPLICIT SUBTYPING COERCIONS IN A POLYMORPHIC CALCULUS WITH EFFECTS.

Authors: KOPRIVEC, FILIP PRETNAR, MATIJA

Source: Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 4, p25:1-25:40, 40p

USE OF GENETIC ALGORITHMS IN ADAPTIVE COMPILERS FOR CROSS-PLATFORM OPTIMIZATION.

Authors: M. G., Berdnyk I. P., Starodubskyi

Source: Radio Electronics, Computer Science, Control; 2025, Issue 4, p185-193, 9p

The Good, the Bad, and the Monstrous: Predicting Highly Change-Prone Source Code Methods at Their Inception.

Authors: Chowdhury, Shaiful¹, shaiful.chowdhury@umanitoba.ca

Source: ACM Transactions on Software Engineering & Methodology; Sep2025, Vol. 34 Issue 7, p1-29, 29p

A Brookes-Style Denotational Semantics for Release/Acquire Concurrency.

Authors: Dvir, Yotam Kammar, Ohad Lahav, Ori

Source: ACM Transactions on Programming Languages & Systems. Jun2025, Vol. 47 Issue 2, p1-85. 85p.

Optimization Method for High-performance Libraries Targeting RISC-V Vector Extension.

Authors: Han, Liutong Zhang, Hongbin Xing, Mingjie et al.

Source: International Journal of Software & Informatics; 2025, Vol. 15 Issue 3, p369-395, 27p

Vulnerability Repair via Concolic Execution and Code Mutations.

Authors: Shariffdeen, Ridwan Timperley, Christopher S. Noller, Yannic et al.

Source: ACM Transactions on Software Engineering & Methodology; May2025, Vol. 34 Issue 4, p1-27, 27p

Exploration and Improvement of Capabilities of LLMs in Code Refinement Task.

Authors: Zhipeng Wang Tieke He Ruoyu Zhao et al.

Source: International Journal of Software & Informatics; 2025, Vol. 15 Issue 2, p175-203, 29p

LLM-powered Datalog Code Translation and Incremental Program Analysis Framework.

Authors: Xizao Wang Tianqi Shen Xiangrong Bin et al.

Source: International Journal of Software & Informatics; 2025, Vol. 15 Issue 2, p251-276, 26p

Certified Cost Bounds for Abstract Programs.

Authors: Albert, Elvira Hähnle, Reiner Merayo, Alicia et al.

Source: ACM Transactions on Software Engineering & Methodology; Mar2025, Vol. 34 Issue 3, p1-33, 33p

Simplified Integrity Checking for an Expressive Class of Denial Constraints.

Authors: Martinenghi, Davide¹ (AUTHOR)

Source: Algorithms. Mar2025, Vol. 18 Issue 3, p123. 27p.

Preserving provability over GPU program optimizations with annotation-aware transformations.

Authors: Şakar, Ömer Safari, Mohsen Huisman, Marieke et al.

Source: Formal Methods in System Design. Dec2025, Vol. 67 Issue 3, p316-372. 57p.

Subjects: Program transformation, Software verification, Optimization algorithms, Parallel programs (Computer programs), Scientific observation

Correcting and Optimizing AICODE-Generated Aeronautical Control Code via a Knowledge Graph-Based Mechanism.

Authors: Yu, Xijun Jiang, Ling Zhuang, Weiqi et al.

Source: International Journal of Computational Intelligence & Applications; 9/1/2026, Vol. 25 Issue 3, p1-25, 25p