590N: SE Reading Group

Winter 2020 — Monday, 3:30pm — Gates 345

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 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
Jan 6



Jan 13


Nullaway: practical type-based Null safety for Java

Jan 20

No meeting – holiday

Jan 27

Sam K.

Notation as a tool of thought

Feb 3


Probabilistic Programming

Feb 10


Binary reduction of dependency graphs

Feb 17

No meeting – holiday

Feb 24


Detection and Repair of Architectural Inconsistencies in Java

Mar 2


Semantic Fuzzing with Zest

Mar 9


BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation

Paper Suggestions

Also see the suggestions from last quarter.