Autumn 2016 — 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
Oct 3	Julie Newcomb	Can Testedness be Effectively Measured? (FSE 16)
Oct 10	Talia Ringer	Crash Consistency Validation Made Easy (FSE 16)
Oct 17	Steven Lyubomirsky	Extracting Instruction Semantics via Symbolic Execution of Code Generators (FSE 16)
Oct 24	James Wilcox	Purposes, Concepts, Misfits, and a Redesign of Git (OOPSLA ‘16) Background reading on Jackson’s theory of concepts: Towards a Theory of Conceptual Design for Software
Oct 31	Martin Kellogg	Anti-patterns in Search-Based Program Repair (FSE 16)
Nov 7	Spencer Pearson	A Large-Scale Empirical Comparison of Static and Dynamic Test Case Prioritization Techniques (FSE 16)
Nov 14	Jonathan Bell	Making Software More Reliable by Uncovering Hidden Dependencies Read either the Phosphor paper or the Pebbles paper
Nov 21	Willem Visser Room: CSE 305	An Analytical Perspective on Mutations and Coverage
Nov 28	Calvin Loncaric	Python Probabilistic Type Inference with Natural Language Support (FSE 16)
Dec 5	Pavel Panchekha	Detecting and Fixing Precision-Specific Operations for Measuring Floating-Point Errors (FSE 16)

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)
• SMT-Based Verification of Parameterized Systems (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)

Currently Selected

• “Python Probabilistic Type Inference with Natural Language Support” (FSE 16 – no pdf available?)
• Can Testedness be Effectively Measured? (FSE 16)
• Anti-patterns in Search-Based Program Repair (FSE 16)
• Crash Consistency Validation Made Easy (FSE 16)
• A Large-Scale Empirical Comparison of Static and Dynamic Test Case Prioritization Techniques (FSE 16)
• “Detecting and Fixing Precision-Specific Operations for Measuring Floating-Point Errors” (FSE 16 – no pdf available?)
• “Extracting Instruction Semantics via Symbolic Execution of Code Generators” (FSE 16 – no pdf available?)

Also see the suggestions from last quarter.