590N: SE Reading Group

Autumn 2015 — Monday, 3:30pm — CSE 203

Subscribe to the calendar: iCal or Google Calendar.

We’ll be reading and discussing exciting recent papers from the software engineering community. Participants should subscribe to the 590n mailing list. Note the list also has many current and former department members interested in software engineering.

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
Oct 5


Select papers

Oct 12

Daryl Zuniga

The Emperor’s Old Clothes (C.A.R. Hoare Turing Award Speech)

Oct 19

Nate Yazdani

MultiSE: Multi-Path Symbolic Execution using Value Summaries (FSE ‘15)

Enhancing Symbolic Execution with Veritesting

Oct 26

Calvin Loncaric

Automated Structure Generation: Refuting Common Wisdom (ICSE ‘15)

Nov 2

Michael Ernst + Zach Tatlock

An Analysis of Patch Plausibility and Correctness for Generate-and-Validate Patch Generation Systems

Nov 9

James Wilcox

Empirical study towards a leading indicator for cost of formal software verification

Nov 16

Amanda Swearngin + Doug Woos

Why Good Developers Write Bad Code

Cowboys, Ankle Sprains, and Keepers of Quality

Nov 23

Julie Newcomb

Alloy*: A General-Purpose Higher-Order Relational Constraint Solver (ICSE ‘15)

Nov 30

Colin Scott

Dynamic Generation of Likely Invariants for Multithreaded Programs (ICSE ‘15)

Dec 7

Spencer Pearson

Fuzzing with Code Fragments

Paper Suggestions