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