590N: SE Reading Group

Spring 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
Mar 27



Apr 3


An Unsupervised Approach for Discovering Relevant Tutorial Fragments for APIs (ICSE 2017)

Apr 10


Search-driven String Constraint Solving for Vulnerability Detection (ICSE 2017)

Apr 17

No meeting (OOPSLA deadline)

Apr 24


IncA: a DSL for the definition of incremental program analyses (ASE 16)

May 1


Learning to Prioritize Test Programs for Compiler Testing (ICSE 2017)

May 8

No meeting (SNAPL)

May 15


An Empirical Study on Mutation, Statement and Branch Coverage Fault Revelation that Avoids the Unreliable Clean Program Assumption (ICSE 2017)

May 22

James W

An empirical evaluation of two user interfaces of an interactive program verifier (ASE 16)

May 29

No meeting (Memorial Day)

Jun 5


To Type or Not to Type: Quantifying Preventable Bugs in JavaScript (ICSE 2017)

Paper Suggestions

See also the suggestions from last quarter.