← Back

Software

The engineering of software systems, including programming languages, software architecture, testing, verification, agile methods, DevOps, and the management of large-scale software projects

6 papers

Papers

Model Checking Security Properties of AI Assistant Gateways: A TLA+ Case Study of OpenClaw

This paper demonstrates a comprehensive formal verification effort on OpenClaw, an AI assistant gateway, using TLA+ and the TLC model checker. The researchers successfully verified 91 security-critical properties, uncovered three latent bugs in the system's implementation, and prevented two regressions. This work highlights how lightweight formal methods can provide significant security assurance for AI infrastructure.

★ ★ ★ ★ ☆
Software Feb 04, 10:41 AM

A Comparative Survey of PyTorch vs TensorFlow for Deep Learning: Usability, Performance, and Deployment Trade-offs

This paper presents a comparative analysis of two prominent deep learning frameworks, PyTorch and TensorFlow, exploring their usability, performance, and deployment aspects. It finds that PyTorch prioritizes ease of use and dynamic model building while TensorFlow excels in production deployment and ecosystem support. The survey suggests choosing a framework based on project-specific needs, acknowledging strengths in both.

★ ★ ★ ★ ☆
Software Aug 16, 07:48 PM

Measuring the Impact of Early-2025 AI on Experienced Open-Source Developer Productivity

This study found that, contrary to expectations, access to AI tools (specifically, early-2025 state-of-the-art tools like Cursor Pro and Claude 3.5/3.7 Sonnet) actually *slowed down* experienced open-source developers by 19% on average when completing real-world tasks. Both developers and experts substantially overestimated the positive impact of AI, forecasting significant speedup before and after the study despite observed slowdown.

★ ★ ★ ☆ ☆
Software Jul 14, 08:02 PM

Investigating computational geometry for failure prognostics

This paper introduces RULCLIPPER, a novel prognostics algorithm using computational geometry and CBR to estimate remaining useful life (RUL) from imprecise health indicators (IHIs) represented as polygons. RULCLIPPER was evaluated on the NASA C-MAPSS turbofan engine simulator datasets, showing promising results in predicting RUL despite noisy data and varying operating conditions, with some limitations on data specific rules and IHI representation.

★ ★ ★ ★ ☆
Software Jul 14, 11:22 AM

Gene name errors: Lessons not learned

This study found that gene name errors in supplementary Excel files continue to be a problem in genomics research, with a higher prevalence (30.9%) than previously reported. The errors are often due to automatic conversion of gene names into dates or other data formats, which is particularly prevalent in Microsoft Excel and Google Sheets. Five-digit numbers (internal date format) represent a new major source of errors, contributing to the discrepancy from past reports.

★ ★ ★ ★ ☆
Software Jul 14, 11:22 AM