590N: SE Reading Group

Spring 2020 — Monday, 3:30pm — Zoom

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. The meeting link is https://washington.zoom.us/j/251301023. If you don’t know the password, ask another participant.

Date Who What
Mar 30



Apr 6

Josh Pollock

Incorrectness Logic

Apr 13


Typestate-Guided Fuzzer for Discovering Use-after-Free Vulnerabilities

Apr 20

Sahil Verma

Structure-Invariant Testing for Machine Translation

Apr 27

Kevin Ellis (MIT)

Meeting replaced by faculty candidate talk

May 4


When Not to Comment

May 11

Sam K.

Training Binary Classifiers as Data Structure Invariants

May 18


Conquering the Extensional Scalability Problem for Value-Flow Analysis Frameworks

May 25

No meeting – Memorial Day

Jun 1

Zhen Zhang

Extracting Taint Specifications for JavaScript Libraries

Jun 8


Tailoring Programs for Static Analysis via Program Transformation

Paper Suggestions

Also see the suggestions from last quarter.