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	TBD	TBD

Paper Suggestions

• Keep it SIMPLEX: Satisfying Multiple Goals with Guarantees in Control-Based Self-Adaptive Systems (FSE 16)
• A Cross-Tool Communication Study on Program Analysis Tool Notifications (FSE 16)
• Witness Validation and Stepwise Testification across Software Verifiers (FSE 15)
• “Correctness Witnesses: Exchanging Verification Results between Verifiers” (FSE 16 – follow-up to paper above, no pdf available?)
• VDTest: An Automated Framework to Support Testing for Virtual Devices (ICSE 16)
• When should internal interfaces be promoted to public? (FSE 16)
• API deprecation: a retrospective analysis and detection method for code examples on the web (FSE 16)
• Enhancing Automated Program Repair with Deductive Verification (ICSME 16, Claire Le Goues, short paper)
• History Driven Program Repair (SANER 16, Claire Le Goues)
• CrashLocator: Locating Crashing Faults Based on Crash Stacks (ISSTA 2014), by Rongxin Wu, Hongyu Zhang, Shing-Chi Cheung, and Sunghun Kim.
• Expressing and checking intended changes via software change contracts (ISSTA 2013), by J. Yi, D. Qi, S. H. Tan, and A. Roychoudhury.
• Statistical learning approach for mining API usage mappings for code migration (ASE 2014), by Anh Tuan Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, and Tien N. Nguyen.
• relifix: Automated Repair of Software Regressions, by Shin Hwei Tan and Abhik Roychoudhury.
• Duplicate bug report detection with a combination of information retrieval and topic modeling, (ASE 2012), by Anh Tuan Nguyen, Tung Thanh Nguyen, Tien N. Nguyen, David Lo, and Chengnian Sun.
• Graph-based mining of multiple object usage patterns (ESEC/FSE 2009), by Tung Thanh Nguyen, Hoan Anh Nguyen, Nam H. Pham, Jafar M. Al-Kofahi, and Tien N. Nguyen.
• A User-Guided Approach to Program Analysis (FSE 2015), by Xin Zhang, Ravi Mangal, Mayur Naik, Aditya Nori
• Dase: Document-assisted symbolic execution for improving automated software testing (ICSE 2015), by E. Wong, L. Zhang, S. Wang, T. Liu, and L. Tan.

Currently Selected

• [None yet.]

Also see the suggestions from last quarter.