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	TODO	TODO
Apr 6	Josh Pollock	Incorrectness Logic
Apr 13	Ben	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	Eunice	When Not to Comment
May 11	Sam K.	Training Binary Classifiers as Data Structure Invariants
May 18	Rashmi	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	Martin	Tailoring Programs for Static Analysis via Program Transformation

Paper Suggestions

Also see the suggestions from last quarter.