🏛️ The Software Engineering Crypt

R.I.P. 👻 Ghosted

Code-centric Learning-based Just-In-Time Vulnerability Detection

Son Nguyen, Thu-Trang Nguyen, ... (+4 more)

cs.SE 🏛 JSS 📚 26 cites 3 years ago

R.I.P. 👻 Ghosted

PTMTorrent: A Dataset for Mining Open-source Pre-trained Model Packages

Wenxin Jiang, Nicholas Synovic, ... (+6 more)

cs.SE 🏛 MSR 📚 26 cites 3 years ago

R.I.P. 👻 Ghosted

From Copilot to Pilot: Towards AI Supported Software Development

Rohith Pudari, Neil A. Ernst

cs.SE 🏛 arXiv 📚 26 cites 3 years ago

R.I.P. 👻 Ghosted

NeuRI: Diversifying DNN Generation via Inductive Rule Inference

Jiawei Liu, Jinjun Peng, ... (+2 more)

cs.SE 🏛 FSE 📚 26 cites 3 years ago

R.I.P. 👻 Ghosted

Do I really need all this work to find vulnerabilities? An empirical case study comparing vulnerability detection techniques on a Java application

Sarah Elder, Nusrat Zahan, ... (+5 more)

cs.SE 🏛 EMSE 📚 26 cites 3 years ago

R.I.P. 👻 Ghosted

Combatting Front-Running in Smart Contracts: Attack Mining, Benchmark Construction and Vulnerability Detector Evaluation

Wuqi Zhang, Lili Wei, ... (+5 more)

cs.SE 🏛 IEEE TSE 📚 26 cites 3 years ago

R.I.P. 👻 Ghosted

Data Leakage in Notebooks: Static Detection and Better Processes

Chenyang Yang, Rachel A Brower-Sinning, ... (+2 more)

cs.SE 🏛 ASE 📚 26 cites 3 years ago

R.I.P. 👻 Ghosted

A method for analyzing stakeholders' influence on an open source software ecosystem's requirements engineering process

Johan Linåker, Björn Regnell, Daniela Damian

cs.SE 🏛 Requirements Engineering 📚 26 cites 3 years ago

R.I.P. 👻 Ghosted

Demystifying Dependency Bugs in Deep Learning Stack

Kaifeng Huang, Bihuan Chen, ... (+4 more)

cs.SE 🏛 FSE 📚 26 cites 3 years ago

R.I.P. 👻 Ghosted

Studying the Practices of Deploying Machine Learning Projects on Docker

Moses Openja, Forough Majidi, ... (+3 more)

cs.SE 🏛 EASE 📚 26 cites 4 years ago

R.I.P. 👻 Ghosted

AutoTSG: Learning and Synthesis for Incident Troubleshooting

Manish Shetty, Chetan Bansal, ... (+3 more)

cs.SE 🏛 FSE 📚 26 cites 4 years ago

R.I.P. 👻 Ghosted

To Type or Not to Type? A Systematic Comparison of the Software Quality of JavaScript and TypeScript Applications on GitHub

Justus Bogner, Manuel Merkel

cs.SE 🏛 MSR 📚 26 cites 4 years ago

R.I.P. 👻 Ghosted

Why, How and Where of Delays in Software Security Patch Management: An Empirical Investigation in the Healthcare Sector

Nesara Dissanayake, Mansooreh Zahedi, ... (+2 more)

cs.SE 🏛 PACMHCI 📚 26 cites 4 years ago

R.I.P. 👻 Ghosted

Fuzzing Class Specifications

Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre

cs.SE 🏛 ICSE 📚 26 cites 4 years ago

R.I.P. 👻 Ghosted

Causality in Configurable Software Systems

Clemens Dubslaff, Kallistos Weis, ... (+2 more)

cs.SE 🏛 ICSE 📚 26 cites 4 years ago

R.I.P. 👻 Ghosted

Black-box Safety Analysis and Retraining of DNNs based on Feature Extraction and Clustering

Mohammed Oualid Attaoui, Hazem Fahmy, ... (+2 more)

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

R.I.P. 👻 Ghosted

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis

Manish Shetty, Naman Jain, ... (+3 more)

cs.SE 🏛 arXiv 📚 25 cites 1 year ago

R.I.P. 👻 Ghosted

FEA-Bench: A Benchmark for Evaluating Repository-Level Code Generation for Feature Implementation

Wei Li, Xin Zhang, ... (+7 more)

cs.SE 🏛 ACL 📚 25 cites 1 year ago

R.I.P. 👻 Ghosted

TypeT5: Seq2seq Type Inference using Static Analysis

Jiayi Wei, Greg Durrett, Isil Dillig

cs.SE 🏛 ICLR 📚 25 cites 3 years ago

R.I.P. 👻 Ghosted

Emerging App Issue Identification via Online Joint Sentiment-Topic Tracing

Cuiyun Gao, Jichuan Zeng, ... (+5 more)

cs.SE 🏛 IEEE TSE 📚 25 cites 5 years ago

R.I.P. 👻 Ghosted

SpellBound: Defending Against Package Typosquatting

Matthew Taylor, Ruturaj K. Vaidya, ... (+3 more)

cs.SE 🏛 arXiv 📚 25 cites 6 years ago

R.I.P. 👻 Ghosted

How Trans-Inclusive are Hackathons?

Rafa Prado, Wendy Galeno, ... (+2 more)

cs.SE 🏛 Software 📚 25 cites 5 years ago

R.I.P. 👻 Ghosted

Fault Injection Analytics: A Novel Approach to Discover Failure Modes in Cloud-Computing Systems

Domenico Cotroneo, Luigi De Simone, ... (+2 more)

cs.SE 🏛 IEEE TDSC 📚 25 cites 5 years ago

R.I.P. 👻 Ghosted

Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM

Simon Foster, Yakoub Nemouchi, ... (+3 more)

cs.SE 🏛 Formal Aspects of Computing 📚 25 cites 5 years ago