R.I.P.
👻
Ghosted
🏛️ The Software Engineering Crypt
cs.SE: Where Software Engineering papers rest without their code.
16677
Total Papers
13410
No Code
294
Twilight
2973
Has Code
17.8%
Survival Rate
R.I.P.
👻
Ghosted
What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus
R.I.P.
👻
Ghosted
Blueprint First, Model Second: A Framework for Deterministic LLM Workflow
R.I.P.
👻
Ghosted
Leveraging Large Language Model for Information Retrieval-based Bug Localization
R.I.P.
👻
Ghosted
How Quantization Impacts Privacy Risk on LLMs for Code?
R.I.P.
👻
Ghosted
Vibe Modeling: Challenges and Opportunities
R.I.P.
👻
Ghosted
Predicting Abandonment of Open Source Software Projects with An Integrated Feature Framework
R.I.P.
👻
Ghosted
HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions
R.I.P.
👻
Ghosted
LLM-Based Repair of Static Nullability Errors
R.I.P.
👻
Ghosted
Intention-Driven Generation of Project-Specific Test Cases
R.I.P.
👻
Ghosted
When Prompts Go Wrong: Evaluating Code Model Robustness to Ambiguous, Contradictory, and Incomplete Task Descriptions
R.I.P.
👻
Ghosted
From First Use to Final Commit: Studying the Evolution of Multi-CI Service Adoption
R.I.P.
👻
Ghosted
Mut4All: Fuzzing Compilers via LLM-Synthesized Mutators Learned from Bug Reports
R.I.P.
👻
Ghosted
SESR-Eval: Dataset for Evaluating LLMs in the Title-Abstract Screening of Systematic Reviews
R.I.P.
👻
Ghosted
Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback
R.I.P.
👻
Ghosted
AccessGuru: Leveraging LLMs to Detect and Correct Web Accessibility Violations in HTML Code
R.I.P.
👻
Ghosted
A Pilot Study on LLM-Based Agentic Translation from Android to iOS: Pitfalls and Insights
R.I.P.
👻
Ghosted
SustainDiffusion: Optimising the Social and Environmental Sustainability of Stable Diffusion Models
R.I.P.
👻
Ghosted
Input Reduction Enhanced LLM-based Program Repair
R.I.P.
👻
Ghosted
Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
R.I.P.
👻
Ghosted
Demystifying Feature Requests: Leveraging LLMs to Refine Feature Requests in Open-Source Software
R.I.P.
👻
Ghosted
Detecting LLM-generated Code with Subtle Modification by Adversarial Training
R.I.P.
👻
Ghosted
QSpark: Towards Reliable Qiskit Code Generation
R.I.P.
👻
Ghosted