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	Rene	Introduction
Jan 13	Martin	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	Anant	Probabilistic Programming
Feb 10	Josh	Binary reduction of dependency graphs
Feb 17	No meeting – holiday
Feb 24	Rashmi	Detection and Repair of Architectural Inconsistencies in Java
Mar 2	Ben	Semantic Fuzzing with Zest
Mar 9	Zhen	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.