590N: SE Reading Group

Autumn 2025 — Monday, 3:30pm — CSE2 287

Subscribe to the calendar: iCal or Google Calendar.

We’ll be reading and discussing exciting recent research papers from the software engineering community!

Participants should do the following:

Subscribe to the 590n mailing list.
Read the 590n logistics doc.

Some paper links may point into the ACM Digital Library or the Springer online collection. Using a UW IP address, or the UW libraries off-campus access, should provide access.

Date	Who	What
Sep 29	Everyone	Computer Programming as an Art
Oct 6	Mike	SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
Oct 13	Yuki	ROCODE: Integrating Backtracking Mechanism and Program Analysis in Large Language Models for Code Generation
Oct 20	James	Neurosymbolic Modular Refinement Type Inference
Oct 27	Hannah	Natural Language Outlines for Code: Literate Programming in the LLM Era
Nov 3	Tijana	SpecRover: Code Intent Extraction via LLMs
Nov 10	Nicholas	Prompt-to-SQL Injections in LLM-Integrated Web Applications: Risks and Defenses
Nov 17	Edward	Explaining Explanations: An Empirical Study of Explanations in Code Reviews
Nov 24	Andrew	Demystifying LLM-Based Software Engineering Agents
Dec 1	Christina	Planning a Large Language Model for Static Detection of Runtime Errors in Code Snippets