:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Wang, Yu, Chen, Hongyu, Wang, Ke
Format:	Preprint
Published:	2024
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2410.03120
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

MileStone: A Multi-Objective Compiler Phase Ordering Framework for Graph-based IR-Level Optimization
by: Sadr, Amirhosein, et al.
Published: (2026)

PhasePoly: An Optimization Framework forPhase Polynomials in Quantum Circuits
by: Chen, Zihan, et al.
Published: (2025)

A Problem-Oriented Perspective and Anchor Verification for Code Optimization
by: Ye, Tong, et al.
Published: (2024)

Protean Compiler: An Agile Framework to Drive Fine-grain Phase Ordering
by: Ashouri, Amir H., et al.
Published: (2026)

Finding Missed Code Size Optimizations in Compilers using LLMs
by: Italiano, Davide, et al.
Published: (2024)

Semantic-Type-Guided Bug Finding
by: Qian, Kelvin, et al.
Published: (2024)

The ‘Changing Status’ of Women w.r.t. Gentrified Urban Spaces of Mumbai
by: Bhide Deepali
Published: (2021)

DOCE: Finding the Sweet Spot for Execution-Based Code Generation
by: Li, Haau-Sing, et al.
Published: (2024)

Bounded Model Checking of RISC-V Machine Code with Context-Free-Language Ordered Binary Decision Diagrams
by: Bolotina, Anna, et al.
Published: (2025)

Beyond BLEU: A Semantic Evaluation Method for Code Translation
by: Näumann, Julius, et al.
Published: (2026)

A Survey of Neural Code Intelligence: Paradigms, Advances and Beyond
by: Sun, Qiushi, et al.
Published: (2024)

SaraCoder: Orchestrating Semantic and Structural Cues for Resource-Optimized Repository-Level Code Completion
by: Chen, Xiaohan, et al.
Published: (2025)

Pareto Optimal Code Generation
by: Orlanski, Gabriel, et al.
Published: (2025)

PerfCodeBench: Benchmarking LLMs for System-Level High-Performance Code Optimization
by: Jing, Huihao, et al.
Published: (2026)

Beyond Code Pairs: Dialogue-Based Data Generation for LLM Code Translation
by: Chen, Le, et al.
Published: (2025)

McEval: Massively Multilingual Code Evaluation
by: Chai, Linzheng, et al.
Published: (2024)

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

Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
by: Feng, Qiong, et al.
Published: (2025)

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

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

CompilerDream: Learning a Compiler World Model for General Code Optimization
by: Deng, Chaoyi, et al.
Published: (2024)

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

Constrained Code Generation with Discrete Diffusion
by: Shao, Lize, et al.
Published: (2026)

A Two-Phase Infinite/Finite Low-Level Memory Model
by: Beck, Calvin, et al.
Published: (2024)

Redefining Lexicographical Ordering: Optimizing Pauli String Decompositions for Quantum Compiling
by: Huang, Qunsheng, et al.
Published: (2024)

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

From Code to Correctness: Closing the Last Mile of Code Generation with Hierarchical Debugging
by: Shi, Yuling, et al.
Published: (2024)

WFC3/UVIS Geometric Distortion -- Time Evolution of Linear Terms w.r.t Gaia
by: O'Connor, Anne, et al.
Published: (2026)

Ordered Adjoint Logic (Extended Version)
by: Roshal, Sophia, et al.
Published: (2026)

CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis
by: Wei, Anjiang, et al.
Published: (2025)

Quantum Circuits Are Just a Phase
by: Heunen, Chris, et al.
Published: (2025)

Functional Consistency of LLM Code Embeddings: A Self-Evolving Data Synthesis Framework for Benchmarking
by: Li, Zhuohao, et al.
Published: (2025)

Synthesizing Optimal Object Selection Predicates for Image Editing using Lattices
by: He, Yang, et al.
Published: (2025)

Advancing Automated In-Isolation Validation in Repository-Level Code Translation
by: Ke, Kaiyao, et al.
Published: (2025)

Beyond Pass-by-Pass Optimization: Intent-Driven IR Optimization with Large Language Models
by: Qiu, Lei, et al.
Published: (2026)

Towards Definitional Interpreters for Hoare Logics
by: Sun, Ke, et al.
Published: (2026)

EquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence Checking
by: Wei, Anjiang, et al.
Published: (2025)

Deterministic Fully-Static Whole-Binary Translation without Heuristics
by: Chen, Hongyu, et al.
Published: (2026)

How Do Humans Write Code? Large Models Do It the Same Way Too
by: Li, Long, et al.
Published: (2024)

Towards Formal Verification of LLM-Generated Code from Natural Language Prompts
by: Councilman, Aaron, et al.
Published: (2025)