:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Bhattar, Poornachandratejasvi Laxman, Dahiwale, Payal V., Thota, Krishnarjunulu, Sharma, Anurag
Format:	Preprint
Published:	2026
Subjects:	Software Engineering Programming Languages
Online Access:	https://arxiv.org/abs/2605.12275
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Equality Saturation for Optimizing High-Level Julia IR
by: Merckx, Jules, et al.
Published: (2025)

Enabling Memory Safety of C Programs using LLMs
by: Mohammed, Nausheen, et al.
Published: (2024)

Programmable Property-Based Testing
by: Keles, Alperen, et al.
Published: (2026)

A High-level Synthesis Toolchain for the Julia Language
by: Short, Benedict, et al.
Published: (2025)

From Code to Career: Assessing Competitive Programmers for Industry Placement
by: Akib, Md Imranur Rahman, et al.
Published: (2025)

Hardware.jl - An MLIR-based Julia HLS Flow (Work in Progress)
by: Short, Benedict, et al.
Published: (2025)

ReFuzzer: Feedback-Driven Approach to Enhance Validity of LLM-Generated Test Programs
by: Shree, Iti, et al.
Published: (2025)

Can Language Models Replace Programmers for Coding? REPOCOD Says 'Not Yet'
by: Liang, Shanchao, et al.
Published: (2024)

Terminal Agents Suffice for Enterprise Automation
by: Bechard, Patrice, et al.
Published: (2026)

Dont Stop Early: Scalable Enterprise Deep Research with Controlled Information Flow and Evidence-Aware Termination
by: Choubey, Prafulla Kumar, et al.
Published: (2026)

Functional Programming Paradigm of Python for Scientific Computation Pipeline Integration
by: Zhang, Chen, et al.
Published: (2024)

Building A Proof-Oriented Programmer That Is 64% Better Than GPT-4o Under Data Scarcity
by: Zhang, Dylan, et al.
Published: (2025)

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

Ranking LLM-Generated Loop Invariants for Program Verification
by: Chakraborty, Saikat, et al.
Published: (2023)

C*: Unifying Programming and Verification in C
by: Cao, Yiyuan, et al.
Published: (2025)

Multi-Programming Language Sandbox for LLMs
by: Dou, Shihan, et al.
Published: (2024)

Concept-Based Generic Programming in C++
by: Stroustrup, Bjarne
Published: (2025)

An Incremental Algorithm for Algebraic Program Analysis
by: Zhou, Chenyu, et al.
Published: (2024)

LLM-Guided Compositional Program Synthesis
by: Khan, Ruhma, et al.
Published: (2025)

Program Structure Aware Precondition Generation
by: Dinella, Elizabeth, et al.
Published: (2023)

Challenges of Multilingual Program Specification and Analysis
by: Furia, Carlo A., et al.
Published: (2024)

Conceptual Mutation Testing for Student Programming Misconceptions
by: Prasad, Siddhartha, et al.
Published: (2023)

Towards Analyzing N-language Polyglot Programs
by: Prakash, Jyoti, et al.
Published: (2026)

On Repairing Quantum Programs Using ChatGPT
by: Guo, Xiaoyu, et al.
Published: (2024)

Inferring Non-Failure Conditions for Declarative Programs
by: Hanus, Michael
Published: (2024)

NESA: Relational Neuro-Symbolic Static Program Analysis
by: Wang, Chengpeng, et al.
Published: (2024)

Validating Traces of Distributed Programs Against TLA+ Specifications
by: Cirstea, Horatiu, et al.
Published: (2024)

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

Mix-of-Language-Experts Architecture for Multilingual Programming
by: Zong, Yifan, et al.
Published: (2025)

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

RePair: Automated Program Repair with Process-based Feedback
by: Zhao, Yuze, et al.
Published: (2024)

PatchRecall: Patch-Driven Retrieval for Automated Program Repair
by: Dihan, Mahir Labib, et al.
Published: (2026)

Between Lines of Code: Unraveling the Distinct Patterns of Machine and Human Programmers
by: Shi, Yuling, et al.
Published: (2024)

Deduplicating and Ranking Solution Programs for Suggesting Reference Solutions
by: Shirafuji, Atsushi, et al.
Published: (2023)

Attention Mechanism and Heuristic Approach: Context-Aware File Ranking Using Multi-Head Self-Attention
by: Sharma, Pradeep Kumar, et al.
Published: (2026)

Object Graph Programming
by: Thimmaiah, Aditya, et al.
Published: (2024)

AInsteinBench: Benchmarking Coding Agents on Scientific Repositories
by: Duston, Titouan, et al.
Published: (2025)

AetherCode: Evaluating LLMs' Ability to Win In Premier Programming Competitions
by: Wang, Zihan, et al.
Published: (2025)

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

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
by: Marron, Mark
Published: (2024)