:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Akingbade, Joshua, Yang, Jianhua, Seyedebrahimi, Mir
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2506.00404
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Public Engagement in Action: Developing an Introductory Programming Module for Apprentices
by: Yang, Jianhua, et al.
Published: (2024)

AI-Driven Contribution Evaluation and Conflict Resolution: A Framework & Design for Group Workload Investigation
by: Slapek, Jakub, et al.
Published: (2025)

VocalTweets: Investigating Social Media Offensive Language Among Nigerian Musicians
by: Oluyele, Sunday, et al.
Published: (2024)

NExT: Teaching Large Language Models to Reason about Code Execution
by: Ni, Ansong, et al.
Published: (2024)

How Programming Concepts and Neurons Are Shared in Code Language Models
by: Kargaran, Amir Hossein, et al.
Published: (2025)

Searching by Code: a New SearchBySnippet Dataset and SnippeR Retrieval Model for Searching by Code Snippets
by: Sedykh, Ivan, et al.
Published: (2023)

Bridging the Knowledge Void: Inference-time Acquisition of Unfamiliar Programming Languages for Coding Tasks
by: Shen, Chen, et al.
Published: (2026)

Pedagogy of Teaching Pointers in the C Programming Language using Graph Transformations
by: Donyina, Adwoa, et al.
Published: (2025)

Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages
by: Mora, Federico, et al.
Published: (2024)

Symbolic Execution Meets Multi-LLM Orchestration: Detecting Memory Vulnerabilities in Incomplete Rust CVE Snippets
by: Abdelrazek, Zeyad, et al.
Published: (2026)

Benchmarking LLM Code Generation for Audio Programming with Visual Dataflow Languages
by: Zhang, William, et al.
Published: (2024)

Strengthening Programming Comprehension in Large Language Models through Code Generation
by: Ren, Xiaoning, et al.
Published: (2025)

A Systematic Mapping Study on Teaching of Security Concepts in Programming Courses
by: Torbunova, Alina, et al.
Published: (2024)

Teaching Introductory Functional Programming Using Haskelite
by: Vasconcelos, Pedro
Published: (2025)

CodeMind: Evaluating Large Language Models for Code Reasoning
by: Liu, Changshu, et al.
Published: (2024)

CodeBoost: Boosting Code LLMs by Squeezing Knowledge from Code Snippets with RL
by: Wang, Sijie, et al.
Published: (2025)

AI Coders Are Among Us: Rethinking Programming Language Grammar Towards Efficient Code Generation
by: Sun, Zhensu, et al.
Published: (2024)

Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
by: Cassano, Federico, et al.
Published: (2023)

Agnostics: Learning to Code in Any Programming Language via Reinforcement with a Universal Learning Environment
by: Boruch-Gruszecki, Aleksander, et al.
Published: (2025)

PPM: Automated Generation of Diverse Programming Problems for Benchmarking Code Generation Models
by: Chen, Simin, et al.
Published: (2024)

Exploiting Code Symmetries for Learning Program Semantics
by: Pei, Kexin, et al.
Published: (2023)

Refactoring Programs Using Large Language Models with Few-Shot Examples
by: Shirafuji, Atsushi, et al.
Published: (2023)

Extensibility in Programming Languages: An overview
by: Nicolajsen, Sebastian mateos
Published: (2025)

Multi-Language Probabilistic Programming
by: Stites, Sam, et al.
Published: (2025)

Profiling Programming Language Learning
by: Crichton, Will, et al.
Published: (2024)

OpenCoder: The Open Cookbook for Top-Tier Code Large Language Models
by: Huang, Siming, et al.
Published: (2024)

AutoCode: LLMs as Problem Setters for Competitive Programming
by: Zhou, Shang, et al.
Published: (2025)

A Programming Language for Feasible Solutions
by: Chen, Weijun, et al.
Published: (2025)

A Multilingual Python Programming Language
by: Bazaz, Saad Ahmed, et al.
Published: (2025)

From Program Logics to Language Logics
by: Cimini, Matteo
Published: (2024)

Validating AI-Generated Code with Live Programming
by: Ferdowsi, Kasra, et al.
Published: (2023)

The IsalProgram Programming Language
by: López-Rubio, Ezequiel
Published: (2026)

Teaching LLMs Program Semantics via Symbolic Execution Traces
by: Bayer, Jonas, et al.
Published: (2026)

A Brief Overview of the Pawns Programming Language
by: Naish, Lee
Published: (2024)

Compilation Semantics for a Programming Language with Versions
by: Tanabe, Yudai, et al.
Published: (2023)

Leroy: Library Learning for Imperative Programming Languages
by: Bellur, Abhiram, et al.
Published: (2024)

Programming Language Case Studies Can Be Deep
by: Bohrer, Rose
Published: (2024)

WaveCert: Translation Validation for Asynchronous Dataflow Programs via Dynamic Fractional Permissions
by: Lin, Zhengyao, et al.
Published: (2023)

What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
by: Oliveira, Francisco, et al.
Published: (2025)

Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language
by: Abounegm, Abdelrahman, et al.
Published: (2024)