🏛️ The Software Engineering Crypt

R.I.P. 👻 Ghosted

On the Utility of Marrying GIN and PMD for Improving Stack Overflow Code Snippets

Sherlock A. Licorish, Markus Wagner

cs.SE 🏛 arXiv 📚 3 cites 4 years ago

R.I.P. 👻 Ghosted

DeepRNG: Towards Deep Reinforcement Learning-Assisted Generative Testing of Software

Chuan-Yung Tsai, Graham W. Taylor

cs.SE 🏛 arXiv 📚 3 cites 4 years ago

R.I.P. 👻 Ghosted

Algorithm Selection for Software Verification using Graph Neural Networks

Will Leeson, Matthew B Dwyer

cs.SE 🏛 ACM TOSEM 📚 3 cites 4 years ago

R.I.P. 👻 Ghosted

Making Internal Software Startups Work: How to Innovate Like a Venture Builder?

Anastasiia Tkalich, Nils Brede Moe, Rasmus Ulfsnes

cs.SE 🏛 ICSB 📚 3 cites 4 years ago

R.I.P. 👻 Ghosted

spotFuzzer: Static Instrument and Fuzzing Windows COTs

Yeming Gu, Hui Shu, ... (+3 more)

cs.SE 🏛 Security and Communication Networks 📚 3 cites 4 years ago

R.I.P. 👻 Ghosted

Bridging the Language Gap: An Empirical Study of Bindings for Open Source Machine Learning Libraries Across Software Package Ecosystems

Hao Li, Cor-Paul Bezemer

cs.SE 🏛 EMSE 📚 3 cites 4 years ago

R.I.P. 👻 Ghosted

DapStep: Deep Assignee Prediction for Stack Trace Error rePresentation

Denis Sushentsev, Aleksandr Khvorov, ... (+3 more)

cs.SE 🏛 SANER 📚 3 cites 4 years ago

R.I.P. 👻 Ghosted

Towards Refactoring FRETish Requirements

Marie Farrell, Matt Luckcuck, ... (+2 more)

cs.SE 🏛 FM 📚 3 cites 4 years ago

R.I.P. 👻 Ghosted

Building Bridges: Establishing a Dialogue Between Software Engineering Research and Computational Science

Reed Milewicz, Miranda Mundt

cs.SE 🏛 arXiv 📚 3 cites 4 years ago

R.I.P. 👻 Ghosted

Toward the Analysis of Graph Neural Networks

Thanh-Dat Nguyen, Thanh Le-Cong, ... (+3 more)

cs.SE 🏛 ICSE 📚 3 cites 4 years ago

R.I.P. 👻 Ghosted

SmartPoC: Generating Executable and Validated PoCs for Smart Contract Bug Reports

Longfei Chen, Ruibin Yan, ... (+3 more)

cs.SE 🏛 arXiv 📚 2 cites 7 months ago

R.I.P. 📜 Death by README

Specification-Guided Vulnerability Detection with Large Language Models

Hao Zhu, Jia Li, ... (+8 more)

cs.SE 🏛 arXiv 📚 2 cites 8 months ago

R.I.P. 👻 Ghosted

RefleXGen:The unexamined code is not worth using

Bin Wang, Hui Li, ... (+8 more)

cs.SE 🏛 ICASSP 📚 2 cites 8 months ago

R.I.P. 👻 Ghosted

Scrub It Out! Erasing Sensitive Memorization in Code Language Models via Machine Unlearning

Zhaoyang Chu, Yao Wan, ... (+8 more)

cs.SE 🏛 arXiv 📚 2 cites 10 months ago

R.I.P. 👻 Ghosted

Arguzz: Testing zkVMs for Soundness and Completeness Bugs

Christoph Hochrainer, Valentin Wüstholz, Maria Christakis

cs.SE 🏛 arXiv 📚 2 cites 10 months ago

R.I.P. 👻 Ghosted

Repairing vulnerabilities without invisible hands. A differentiated replication study on LLMs

Maria Camporese, Fabio Massacci

cs.SE 🏛 arXiv 📚 2 cites 11 months ago

R.I.P. 👻 Ghosted

Understanding the Supply Chain and Risks of Large Language Model Applications

Yujie Ma, Lili Quan, ... (+5 more)

cs.SE 🏛 arXiv 📚 2 cites 11 months ago

R.I.P. 👻 Ghosted

ProofWright: Towards Agentic Formal Verification of CUDA

Bodhisatwa Chatterjee, Drew Zagieboylo, ... (+3 more)

cs.SE 🏛 arXiv 📚 2 cites 8 months ago

R.I.P. 👻 Ghosted

LLM For Loop Invariant Generation and Fixing: How Far Are We?

Mostafijur Rahman Akhond, Saikat Chakraborty, Gias Uddin

cs.SE 🏛 arXiv 📚 2 cites 8 months ago

R.I.P. 👻 Ghosted

Speed at the Cost of Quality: How Cursor AI Increases Short-Term Velocity and Long-Term Complexity in Open-Source Projects

Hao He, Courtney Miller, ... (+3 more)

cs.SE 🏛 ICMSRARJB 📚 2 cites 8 months ago

R.I.P. 👻 Ghosted

Comprehension-Performance Gap in GenAI-Assisted Brownfield Programming: A Replication and Extension

Yunhan Qiao, Christopher Hundhausen, ... (+2 more)

cs.SE 🏛 arXiv 📚 2 cites 8 months ago

R.I.P. 👻 Ghosted

The Future of Generative AI in Software Engineering: A Vision from Industry and Academia in the European GENIUS Project

Robin Gröpler, Steffen Klepke, ... (+13 more)

cs.SE 🏛 2025 2nd IEEE/ACM International Conference on AI-powered Software (AIware) 📚 2 cites 8 months ago

R.I.P. 👻 Ghosted

Stitch: Step-by-step LLM Guided Tutoring for Scratch

Yuan Si, Kyle Qi, ... (+3 more)

cs.SE 🏛 arXiv 📚 2 cites 8 months ago

R.I.P. 👻 Ghosted

Empirical and Sustainability Aspects of Software Engineering Research in the Era of Large Language Models: A Reflection

David Williams, Max Hort, ... (+4 more)

cs.SE 🏛 ICSE-NIER 📚 2 cites 8 months ago