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
|
TBD |
Organization |
|
Apr 3
|
Spencer |
An Unsupervised Approach for Discovering Relevant Tutorial Fragments for APIs (ICSE 2017) |
|
Apr 10
|
Rajiv |
Search-driven String Constraint Solving for Vulnerability Detection (ICSE 2017) |
|
Apr 17
|
– |
No meeting (OOPSLA deadline) |
|
Apr 24
|
Calvin |
IncA: a DSL for the definition of incremental program analyses (ASE 16) |
|
May 1
|
Zach |
Learning to Prioritize Test Programs for Compiler Testing (ICSE 2017) |
|
May 8
|
– |
No meeting (SNAPL) |
|
May 15
|
Martin |
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
|
Mike |
To Type or Not to Type: Quantifying Preventable Bugs in JavaScript (ICSE 2017) |
Paper Suggestions
See also the suggestions from last quarter.
- What developers want and need from program analysis: an empirical study (ASE 16)
- Locus: locating bugs from software changes (ASE 16)
-
Too much automation? the bellwether effect and its implications for transfer learning (ASE 16)
- Efficient Detection of Thread Safety Violations via Coverage-Guided Generation of Concurrent Tests (ICSE 2017)
- A Guided Genetic Algorithm for Automated Crash Reproduction, by Mozhan Soltani, Annibale Panichella and Arie Van Deursen (ISCE 2017)
- Do Developers Read Compiler Error Messages? by Titus Barik, Justin Smith, Kevin Lubick, Elisabeth Holmes, Jing Feng, Emerson Murphy-Hill and Chris Parnin (ICSE 2017)
- Feedback-Based Debugging by Yun Lin, Jun Sun, Yinxing Xue, Yang Liu and Jinsong Dong (ICSE 2017)
- Learning Syntactic Program Transformations from Examples by Reudismam Rolim, Gustavo Soares, Loris D’antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki and Bjorn Hartmann (ICSE 2017)
- TRAVIOLI: A Dynamic Analysis for Detecting Data-Structure Traversals by Rohan Padhye and Koushik Sen (ICSE 2017)
- What Causes My Test Alarm? Automatic Cause Analysis for Test Alarms in System and Integration Testing by Jiang He, Li Xiaochen, Yang Zijiang and Xuan Jifeng (ICSE 2017)
- Characterizing Experimentation in Continuous Deployment: a Case Study on Bing by Katja Kevic, Brendan Murphy, Laurie Williams and Jennifer Beckmann (ICSE 2017, Software Engineering in Practice paper)