activity
20232026
most citedSemCoder: Training Code Language Models with Comprehensive Semantics Reasoning

2 citations · 2 across the 7 of their papers we have counts for

collaborators

9 papers

cs.SE2026

Efficiency Hallucination: Formalizing and Measuring Behavioral Calibration in LLM-Based Code Optimization

Sarah Wilson, Gail Kaiser, Patrick Musau

The integration of Large Language Models (LLMs) into automated code optimization introduces a critical reliability risk we term the Efficiency Hallucination: an LLM's tendency to i…

cs.SE2025

Code Reasoning for Software Engineering Tasks: A Survey and A Call to Action

Saurabh Pujar, Ira Ceka, Irene Manotas +3

The rise of large language models (LLMs) has led to dramatic improvements across a wide range of natural language tasks. Their performance on certain tasks can be further enhanced…

cs.SE2025

Understanding Automated Program Repair Agents Through the Lens of Traceability: An Empirical Study

Ira Ceka, Hailie Mitchell, Saurabh Pujar +5

Automated Program Repair (APR) agents leverage large language models (LLMs) to autonomously diagnose and patch software bugs using planning, reasoning, and tools. Although these ag…

cs.SE2025

CodeSense: a Real-World Benchmark and Dataset for Code Semantic Reasoning

Monoshi Kumar Roy, Simin Chen, Benjamin Steenhoek +4

Understanding and reasoning about code semantics is essential for enhancing code LLMs' abilities to solve real-world software engineering (SE) tasks. Although several code reasonin…

cs.CR2024

Can LLM Prompting Serve as a Proxy for Static Analysis in Vulnerability Detection

Ira Ceka, Feitong Qiao, Anik Dey +3

Despite their remarkable success, large language models (LLMs) have shown limited ability on safety-critical code tasks such as vulnerability detection. Typically, static analysis…

cs.CL2024★ 2 cited

SemCoder: Training Code Language Models with Comprehensive Semantics Reasoning

Yangruibo Ding, Jinjun Peng, Marcus J. Min +3

Code Large Language Models (Code LLMs) have excelled at tasks like code completion but often miss deeper semantics such as execution effects and dynamic states. This paper aims to…

cs.SE2024

CYCLE: Learning to Self-Refine the Code Generation

Yangruibo Ding, Marcus J. Min, Gail Kaiser +1

Pre-trained code language models have achieved promising performance in code generation and improved the programming efficiency of human developers. However, their self-refinement…

cs.CR2023

Vignat: Vulnerability identification by learning code semantics via graph attention networks

Shuo Liu, Gail Kaiser

Vulnerability identification is crucial to protect software systems from attacks for cyber-security. However, huge projects have more than millions of lines of code, and the comple…

cs.LG2023

Beyond Accuracy: Evaluating Self-Consistency of Code Large Language Models with IdentityChain

Marcus J. Min, Yangruibo Ding, Luca Buratti +4

Code Large Language Models (Code LLMs) are being increasingly employed in real-life applications, so evaluating them is critical. While the conventional accuracy evaluates the perf…