cs.SE updates on arXiv.org rss.arxiv.org

Choose Your Own Adventure: Non-Linear AI-Assisted Programming with EvoGraph

arxiv.org·1w

MUCOCO: Automated Consistency Testing of Code LLMs

arxiv.org·1w

Structural Verification for Reliable EDA Code Generation without Tool-in-the-Loop Debugging

arxiv.org·1w

Predictive Autoscaling for Node.js on Kubernetes: Lower Latency, Right-Sized Capacity

arxiv.org·1w

BONSAI: A Mixed-Initiative Workspace for Human-AI Co-Development of Visual Analytics Applications

arxiv.org·1w

Systematic Detection of Energy Regression and Corresponding Code Patterns in Java Projects

arxiv.org·1w

From Business Problems to AI Solutions: Where Does Transformation Support Fail

arxiv.org·1w

Malicious ML Model Detection by Learning Dynamic Behaviors

arxiv.org·1w

Towards More Empathic Programming Environments: An Experimental Empathic AI-Enhanced IDE

arxiv.org·1w

Crash-free Deductive Verifiers

arxiv.org·1w

Cascaded Code Editing: Large-Small Model Collaboration for Effective and Efficient Code Editing

arxiv.org·1w

Debug2Fix: Supercharging Coding Agents with Interactive Debugging Capabilities

arxiv.org·9w

Bootstrapping Code Translation with Weighted Multilanguage Exploration

arxiv.org·16w

From Proof to Program: Characterizing Tool-Induced Reasoning Hallucinations in Large Language Models

arxiv.org·23w

SpecAgent: A Speculative Retrieval and Forecasting Agent for Code Completion

arxiv.org·27w

No More Manual Guides: Automatic and Scalable Generation of High-Quality Excel Tutorials

arxiv.org·30w

Fine-Tuning Code Language Models to Detect Cross-Language Bugs

arxiv.org·39w

vMODB: Unifying event and data management for distributed asynchronous applications

arxiv.org·52w

Secure Smart Contract with Control Flow Integrity

arxiv.org·55w

Agentic Frameworks for Reasoning Tasks: An Empirical Study

arxiv.org·1w

Log in to enable infinite scrolling