590N: SE Reading Group

Winter 2017 — Monday, 3:30pm — CSE 203

Subscribe to the calendar: iCal or Google Calendar.

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

Martin Kellogg

Programmatic and Direct Manipulation, Together at Last

Jan 16

No meeting – MLK day

Jan 23

collaborative effort

Enhancing Automated Program Repair with Deductive Verification

Jan 30

No meeting

Feb 6

Steven Lyubomirsky

Correctness Witnesses: Exchanging Verification Results between Verifiers

Feb 13

Doug Woos

A Cross-Tool Communication Study on Program Analysis Tool Notifications

Feb 20

No meeting – Presidents’ Day

Feb 27

Calvin Loncaric

SMT-Based Verification of Parameterized Systems

Mar 6



Paper Suggestions

Currently Selected

Also see the suggestions from last quarter.