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
|
Everyone |
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) |
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 |
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 |