590N: SE Reading Group
Autumn 2015 — 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 5
|
Everyone |
Select papers |
|
Oct 12
|
Daryl Zuniga |
The Emperor’s Old Clothes (C.A.R. Hoare Turing Award Speech) |
|
Oct 19
|
Nate Yazdani |
MultiSE: Multi-Path Symbolic Execution using Value Summaries (FSE ‘15) |
|
Oct 26
|
Calvin Loncaric |
Automated Structure Generation: Refuting Common Wisdom (ICSE ‘15) |
|
Nov 2
|
Michael Ernst + Zach Tatlock |
An Analysis of Patch Plausibility and Correctness for Generate-and-Validate Patch Generation Systems |
|
Nov 9
|
James Wilcox |
Empirical study towards a leading indicator for cost of formal software verification |
|
Nov 16
|
Amanda Swearngin + Doug Woos |
Why Good Developers Write Bad Code |
|
Nov 23
|
Julie Newcomb |
Alloy*: A General-Purpose Higher-Order Relational Constraint Solver (ICSE ‘15) |
|
Nov 30
|
Colin Scott |
Dynamic Generation of Likely Invariants for Multithreaded Programs (ICSE ‘15) |
|
Dec 7
|
Spencer Pearson |
Fuzzing with Code Fragments |
Paper Suggestions
- Automated analysis of multithreaded programs for performance modeling
- Empirical study towards a leading indicator for cost of formal software verification
- An Analysis of Patch Plausibility and Correctness for Generate-and-Validate Patch Generation Systems
- Differential assertion checking
- Summary-based inference of quantitative bounds of live heap objects
- Specifying Event-Based Systems with a Counting Fluent Temporal Logic
- Automated Goal Operationalisation Based on Interpolation and SAT Solving
- CARAMEL: Detecting and Fixing Performance Problems That Have Non-Intrusive Fixes
- BlackHorse: creating smart test cases from brittle recorded tests
- Fuzzing with code fragments
- Systematic Execution of Android Test Suites in Adverse Conditions
- Practical Regression Test Selection with Dynamic File Dependencies
- Automated Software Transplantation
- Views on Internal and External Validity in Empirical Software Engineering (we read this last year)
- How Much Up-Front? A Grounded theory of Agile Architecture
- When and Why Your Code Starts to Smell Bad
- Alloy*: A General-Purpose Higher-Order Relational Constraint Solver
- Why Good Developers Write Bad Code: An Observational Case Study of the Impacts of Organizational Factors on Software Quality
- Architecture Challenges for Internal Software Ecosystems: A Large-Scale Industry Case Study
- Selection and Presentation Practices for Code Example Summarization
- Learning Natural Coding Conventions
- AI: A Lightweight System for Tolerating Concurrency Bugs
- Powering the Static Driver Verifier using Corral
- Hybrid Security Analysis of Web JavaScript Code via Dynamic Partial Evaluation
- CrashLocator: Locating Crashing Faults Based on Crash Stacks
- Cowboys, Ankle Sprains, and Keepers of Quality: How is Video Game Development Different from Software Development?
- Characterizing and Detecting Performance Bugs for Smartphone Applications
- Improving Automated Source Code Summarization via an Eye-Tracking Study of Programmers
- Unit Test Virtualization with VMVM
- Understanding JavaScript Event-Based Interaction
- Coverage Is Not Strongly Correlated with Test Suite Effectiveness
- Enhancing Symbolic Execution with Veritesting
- Trading Robustness for Maintainability: An Empirical Study of Evolving C# Programs
- A Study and Toolkit for Asynchronous Programming in C#
- Automated Data Structure Generation: Refuting Common Wisdom (ICSE ‘15)
- Dynamic Generation of Likely Invariants for Multithreaded Programs (ICSE ‘15)
- Why Good Developers Write Bad Code: An Observational Case Study of the Impacts of Organizational Factors on Software Quality (ICSE ‘15)
- Alloy*: A General-Purpose Higher-Order Relational Constraint Solver (ICSE ‘15)
- Tricorder: Building a Program Analysis Ecosystem (ICSE ‘15)
- How Much Up-Front? A Grounded Theory of Agile Architecture
- A Programming Model for Sustainable Software (ICSE ‘15)
- MultiSE: Multi-Path Symbolic Execution using Value Summaries (FSE ‘15)
- Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions (OSDI ‘00)
- Modular Checking for Buffer Overflows in the Large (ICSE ‘06)
- The Emperor’s Old Clothes (1980 Turing lecture)