cs.SE · 2026-07-16 · No. 55

Software Engineering, 2026-07-16.

3 new papers in cs.SE. Titles, authors, abstracts. Links to arXiv. Want this in your inbox every morning? Subscribe →

01 — The papers

3 entries
  1. 01

    Early Adoption of Agentic Coding Tools by GitHub Projects

    Maliha Noushin Raida, Daqing Hou

    cs.SE · cs.AI · cs.CY · cs.LG

    Agentic coding tools are increasingly capable of generating and submitting pull requests (PRs) to software projects, introducing new forms of human-agent collaboration in software development. While prior studies have examined PR-level outcomes of agent-generated contributions, less is known about how agentic coding tools are adopted and managed at the project level. In this paper, we analyze 25,264 agentic PRs from 2,361 popular GitHub...

    arxiv.org/abs/2607.14037 · PDF

  2. 02

    A Telemetry-Driven Model for Quantifying Upgrade Risk in Durable Workflow Execution

    Luca Maraschi, Matteo Collina

    cs.SE · cs.DC

    Durable workflow engines reconstruct execution state by deterministically replaying an immutable event log, coupling every in-flight run to the code version that produced its history: a new deployment can invalidate the replay of runs started under the old version, silently corrupting state or halting progress. Existing mitigations -- pinning, patch gates, side-by-side deployment -- treat every change as maximally dangerous and drain old...

    arxiv.org/abs/2607.13617 · PDF

  3. 03

    Faithful Autoformalization of Natural Language Assertions

    Hongyi Liu, Madhusudan Parthasarathy, Adithya Murali

    cs.SE · cs.AI

    Formal contracts are essential for software testing and verification, yet writing them remains labor-intensive and error-prone. LLMs offer a promising path toward autoformalization: synthesizing executable assertions from natural-language specifications and thereby bridging the gap between informal developer intent and formal executable specifications. We present Monty: an autoformalization framework for assertions that tackles the challenges...

    arxiv.org/abs/2607.13303 · PDF

This edition is part of The Daily Abstract — cs.SE archive. Subscribe to receive these in your inbox each morning, automatically translated to Spanish, with reply-to-PDF: arxivdaily.ignorelist.com.

Colophon Set in Georgia, with system sans for interface chrome and a monospaced stack for code and paper identifiers. Sole accent: amber #D99C5E. Built and served on an always-free VM. The masthead is set 14% letterspaced because newspapers do that and it works.