FSE 2016 All Events
24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016)

24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016), November 13–18, 2016, Seattle, WA, USA

Phone Layout
No Pictures
Monday, November 14, 2016
Doctoral Symposium
09:00 – 18:00, Seattle 3, Chair: Felienne Hermans, Emerson Murphy-Hill
Refactoring and Migration of Cascading Style Sheets: Towards Optimization and Improved Maintainability
Publisher's Version
Developing a Reusable Control-Based Approach to Build Self-Adaptive Software Systems with Formal Guarantees
Publisher's Version
Automating Repetitive Code Changes using Examples
Publisher's Version
Understanding and Improving Continuous Integration
Publisher's Version
Guided Code Synthesis using Deep Neural Networks
Publisher's Version
Generating Interactive Web Pages from Storyboards
Publisher's Version
Data Structure Synthesis
Publisher's Version
Understanding Behavioural Patterns in JavaScript
Publisher's Version
Regression Testing of Web Applications using Record/Replay Tools
Publisher's Version Preprint
Supporting Change in Product Lines within the Context of Use Case-Driven Development and Testing
Publisher's Version Preprint
Input-Sensitive Performance Testing
Publisher's Version
On the Utility of Dominator Mutants for Mutation Testing
Publisher's Version
Tuesday, November 15, 2016
Message from the Chairs
08:30 – 09:00, Emerald Ballroom, Chairs: Thomas Zimmermann, Jane Cleland-Huang, Zhendong Su
Message from the Chairs
"Womenomics" and Gender-Inclusive Software: What Software Engineers Need to Know (Invited Talk)
09:00 – 10:00, Emerald Ballroom
"Womenomics" and Gender-Inclusive Software: What Software Engineers Need to Know (Invited Talk)
Publisher's Version
Visions 1 (Visions and Reflections)
10:00 – 10:30, Emerald Ballroom, Chair: Darko Marinov
Sustainable Software Design
Publisher's Version Preprint
Designing for Dystopia: Software Engineering Research for the Post-apocalypse
Publisher's Version Preprint
Disrupting Developer Productivity One Bot at a Time
Publisher's Version
Break
10:30 – 11:00, Foyer 3rd/4th Floor
Session 1: Specification (Research Papers)
11:00 – 12:30, Emerald 1, Chair: Mike Whalen
Titanium: Efficient Analysis of Evolving Alloy Specifications
Publisher's Version Info
Mining Performance Specifications
Publisher's Version
Designing Minimal Effective Normative Systems with the Help of Lightweight Formal Methods
Publisher's Version
Proteus: Computing Disjunctive Loop Summary via Path Dependency Analysis
Publisher's Version
NonDex: A Tool for Detecting and Debugging Wrong Assumptions on Java API Specifications
Publisher's Version Video Info
Session 2: HCI and Process (Research Papers)
11:00 – 12:30, Emerald 2, Chair: Peri Tarr
A Cross-Tool Communication Study on Program Analysis Tool Notifications
Publisher's Version Preprint
Factors Influencing Code Review Processes in Industry
Publisher's Version
Foraging and Navigations, Fundamentally: Developers' Predictions of Value and Cost
Publisher's Version
How to Break an API: Cost Negotiation and Community Values in Three Software Ecosystems
Publisher's Version Preprint Info
TIPMerge: Recommending Developers for Merging Branches
Publisher's Version
Session 3: Bug Detection and Debugging (Research Papers)
11:00 – 12:30, Emerald 3, Chair: Tingting Yu
Python Predictive Analysis for Bug Detection
Publisher's Version aec-badge-fse16-ae
Crash Consistency Validation Made Easy
Publisher's Version Preprint
Discovering Bug Patterns in JavaScript
Publisher's Version Preprint Info aec-badge-fse16-ae
Effort-Aware Just-in-Time Defect Prediction: Simple Unsupervised Models Could Be Better Than Supervised Models
Publisher's Version
Time-Travel Debugging for JavaScript/Node.js
Publisher's Version Video Info
Lunch
12:30 – 14:00, Seattle Ballroom
Session 4: Security and Privacy (Research Papers)
14:00 – 15:30, Emerald 1, Chair: Diomidis Spinellis
Detecting Sensitive Data Disclosure via Bi-directional Text Correlation Analysis
Publisher's Version Preprint aec-badge-fse16-ae
Multi-representational Security Analysis
Publisher's Version
String Analysis for Side Channels with Segmented Oracles
Publisher's Version
WebRanz: Web Page Randomization for Better Advertisement Delivery and Web-Bot Prevention
Publisher's Version Info aec-badge-fse16-ae
Session 5: Adaptation and Change (Research Papers)
14:00 – 15:30, Emerald 2, Chair: Harald Gall
A Discrete-Time Feedback Controller for Containerized Cloud Applications
Publisher's Version
Keep It SIMPLEX: Satisfying Multiple Goals with Guarantees in Control-Based Self-Adaptive Systems
Publisher's Version Info
Automated Change Impact Analysis between SysML Models of Requirements and Design
Publisher's Version
Inner Source in Platform-Based Product Engineering (J1-TSE)
PUMConf: A Tool to Configure Product Specific Use Case and Domain Models in a Product Line
Publisher's Version Preprint Video Info
Session 6: API Mining and Usage (Research Papers)
14:00 – 15:30, Emerald 3, Chair: Tao Xie
Parameter-Free Probabilistic API Mining across GitHub
Publisher's Version
API Deprecation: A Retrospective Analysis and Detection Method for Code Examples on the Web
Publisher's Version
When Should Internal Interfaces Be Promoted to Public?
Publisher's Version Preprint
POLLUX: Safely Upgrading Dependent Application Libraries
Publisher's Version
T2API: Synthesizing API Code Usage Templates from English Texts with Statistical Translation
Publisher's Version
Student Research Competition
15:30 – 16:30, Foyer 3rd/4th Floor
Effective Assignment and Assistance to Software Developers and Reviewers
Publisher's Version
RABIEF: Range Analysis Based Integer Error Fixing
Publisher's Version
Fine-Grained Binary Code Authorship Identification
Publisher's Version
Identifying Participants for Collaborative Merge
Publisher's Version
Cozy: Synthesizing Collection Data Structures
Publisher's Version
Constraint-Based Event Trace Reduction
Publisher's Version
Automatic Trigger Generation for End User Written Rules for Home Automation
Publisher's Version
Hotspot Symbolic Execution of Floating-Point Programs
Publisher's Version
Evaluation of Fault Localization Techniques
Publisher's Version
How Should Static Analysis Tools Explain Anomalies to Developers?
Publisher's Version Preprint
Repairing Test Dependence
Publisher's Version
Combining Bug Detection and Test Case Generation
Publisher's Version
SmartDebug: An Interactive Debug Assistant for Java
Publisher's Version
Static Loop Analysis and Its Applications
Publisher's Version
Social Health Cues Developers Use when Choosing Open Source Packages
Publisher's Version
Finding and Breaking Test Dependencies to Speed Up Test Execution
Publisher's Version
Automatic Performance Testing using Input-Sensitive Profiling
Publisher's Version
Enforcing Correct Array Indexes with a Type System
Publisher's Version
Discovering Additional Violations of Java API Invariants
Publisher's Version
Preventing Signedness Errors in Numerical Computations in Java
Publisher's Version
Bounded Model Checking of State-Space Digital Systems: The Impact of Finite Word-Length Effects on the Implementation of Fixed-Point Digital Controllers Based on State-Space Modeling
Publisher's Version Info
Atlas: An Intelligent, Performant Framework for Web-Based Grid Computing
Publisher's Version
Break
15:30 – 16:30, Foyer 3rd/4th Floor
Session 7: Verification (Research Papers)
16:30 – 18:00, Emerald 1, Chair: Abhik Roychoudhury
Extracting Instruction Semantics via Symbolic Execution of Code Generators
Publisher's Version aec-badge-fse16-ae
Efficient Generation of Inductive Validity Cores for Safety Properties
Publisher's Version
Correctness Witnesses: Exchanging Verification Results between Verifiers
Publisher's Version Preprint Info aec-badge-fse16-ae
SMT-Based Verification of Parameterized Systems
Publisher's Version
JBSE: A Symbolic Executor for Java Programs with Complex Heap Inputs
Publisher's Version
Session 8: Requirements and Models (Research Papers)
16:30 – 18:00, Emerald 2, Chair: Jo Atlee
On-the-Fly Decomposition of Specifications in Software Model Checking
Publisher's Version Preprint Info aec-badge-fse16-ae
On Well-Separation of GR(1) Specifications
Publisher's Version
Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations
Publisher's Version
Gray Links in the Use of Requirements Traceability
Publisher's Version Preprint
Session 9: Android (Research Papers)
16:30 – 18:00, Emerald 3, Chair: Lingxiao Jiang
Understanding and Detecting Wake Lock Misuses for Android Applications
Publisher's Version Preprint aec-badge-fse16-ae
DiagDroid: Android Performance Diagnosis via Anatomizing Asynchronous Executions
Publisher's Version Info
Minimizing GUI Event Traces
Publisher's Version
Causal Impact Analysis for App Releases in Google Play
Publisher's Version Preprint Info
ARdoc: App Reviews Development Oriented Classifier
Publisher's Version Video
Conference Banquet
19:00 – 23:00, EMP Museum
Wednesday, November 16, 2016
Showcases
08:30 – 10:30, Emerald Ballroom, Chair: Jo Atlee, Gail Murphy
Continuous Deployment of Mobile Software at Facebook (Showcase)
Publisher's Version
Model, Execute, and Deploy: Answering the Hard Questions in End-User Programming (Showcase)
Publisher's Version
Making Invisible Things Visible: Tracking Down Known Vulnerabilities at 3000 Companies (Showcase)
Publisher's Version
Developer Workflow at Google (Showcase)
Publisher's Version
Break
10:30 – 11:00, Foyer 3rd/4th Floor
Session 10: Static Analysis (Research Papers)
11:00 – 12:30, Emerald 1, Chair: Mark Marron
Static DOM Event Dependency Analysis for Testing Web Applications
Publisher's Version aec-badge-fse16-ae
On-Demand Strong Update Analysis via Value-Flow Refinement
Publisher's Version aec-badge-fse16-ae
Call Graph Construction for Java Libraries
Publisher's Version aec-badge-fse16-ae
Revamping JavaScript Static Analysis via Localization and Remediation of Root Causes of Imprecision
Publisher's Version
Session 11: Recommendation (Research Papers)
11:00 – 12:30, Emerald 2, Chair: Chris Bird
What Would Users Change in My App? Summarizing App Reviews for Recommending Software Changes
Publisher's Version
API Code Recommendation using Statistical Learning from Fine-Grained Changes
Publisher's Version
TIPMerge: Recommending Experts for Integrating Changes across Branches
Publisher's Version Preprint Video Info
Interactive and Guided Architectural Refactoring with Search-Based Recommendation
Publisher's Version Preprint Video
Bing Developer Assistant: Improving Developer Productivity by Recommending Sample Code
Publisher's Version
Session 12: Test Coverage (Research Papers)
11:00 – 12:30, Emerald 3, Chair: Willem Visser
Can Testedness be Effectively Measured?
Publisher's Version
A Large-Scale Empirical Comparison of Static and Dynamic Test Case Prioritization Techniques
Publisher's Version Preprint
Analyzing the Validity of Selective Mutation with Dominator Mutants
Publisher's Version
An Extensive Study of Static Regression Test Selection in Modern Software Evolution
Publisher's Version
Cluster-Based Test Suite Functional Analysis
Publisher's Version
Lunch
12:30 – 14:00, Seattle Ballroom
Session 13: Program Analysis (Research Papers)
14:00 – 15:30, Emerald 1, Chair: Santosh Nagarakatte
PerfGuard: Binary-Centric Application Performance Monitoring in Production Environments
Publisher's Version Preprint
Python Probabilistic Type Inference with Natural Language Support
Publisher's Version aec-badge-fse16-ae
Detecting and Fixing Precision-Specific Operations for Measuring Floating-Point Errors
Publisher's Version aec-badge-fse16-ae
Deep API Learning
Publisher's Version Preprint
A Portable Interface for Runtime Energy Monitoring
Publisher's Version
Session 14: Build and Configuration (Research Papers)
14:00 – 15:30, Emerald 2, Chair: John Penix
Build System with Lazy Retrieval for Java Projects
Publisher's Version
iGen: Dynamic Interaction Inference for Configurable Software
Publisher's Version
CacheOptimizer: Helping Developers Configure Caching Frameworks for Hibernate-Based Database-Centric Web Applications
Publisher's Version
SIP: Optimal Product Selection from Feature Models using Many-Objective Evolutionary Optimisation (J1-TOSEM)
Learning for Test Prioritization: An Industrial Case Study
Publisher's Version Preprint
Session 15: Code Search and Similarity (Research Papers)
14:00 – 15:30, Emerald 3, Chair: Mehdi Mirakhorli
BinGo: Cross-Architecture Cross-OS Binary Search
Publisher's Version
Relationship-Aware Code Search for JavaScript Frameworks
Publisher's Version Preprint
Code Relatives: Detecting Similarly Behaving Software
Publisher's Version aec-badge-fse16-ae
Estimating Semantic Relatedness in Source Code (J1-TOSEM)
Hunter: Next-Generation Code Reuse for Java
Publisher's Version Preprint Video Info
Tool Demonstrations
15:30 – 16:30, Foyer 3rd/4th Floor
NonDex: A Tool for Detecting and Debugging Wrong Assumptions on Java API Specifications
Publisher's Version Video Info
TIPMerge: Recommending Developers for Merging Branches
Publisher's Version
Time-Travel Debugging for JavaScript/Node.js
Publisher's Version Video Info
PUMConf: A Tool to Configure Product Specific Use Case and Domain Models in a Product Line
Publisher's Version Preprint Video Info
T2API: Synthesizing API Code Usage Templates from English Texts with Statistical Translation
Publisher's Version
JBSE: A Symbolic Executor for Java Programs with Complex Heap Inputs
Publisher's Version
ARdoc: App Reviews Development Oriented Classifier
Publisher's Version Video
Hunter: Next-Generation Code Reuse for Java
Publisher's Version Preprint Video Info
BigDebug: Interactive Debugger for Big Data Analytics in Apache Spark
Publisher's Version
Visualizing Code and Coverage Changes for Code Review
Publisher's Version Preprint Video Info
End-to-End Memory Behavior Profiling with DINAMITE
Publisher's Version
Validate Your SPDX Files for Open Source License Violations
Publisher's Version Video Info
FSX: A Tool for Fine-Grained Incremental Unit Test Generation for C/C++ Programs
Publisher's Version
Break
15:30 – 16:30, Foyer 3rd/4th Floor
Panel: TBA
16:30 – 18:00, Emerald Ballroom, Chair: Margaret-Anne Storey
SIGSOFT Town Hall
18:00 – 19:00, Emerald Ballroom
Thursday, November 17, 2016
Building a Socio-Technical Theory of Coordination: Why and How (Outstanding Research Award)
08:30 – 09:30, Emerald Ballroom
Building a Socio-Technical Theory of Coordination: Why and How (Outstanding Research Award)
Publisher's Version Preprint
Visions 2 (Visions and Reflections)
09:30 – 10:30, Emerald Ballroom, Chair: Miryung Kim
Training the Future Workforce through Task Curation in an OSS Ecosystem
Publisher's Version Preprint
Reaching the Masses: A New Subdiscipline of App Programmer Education
Publisher's Version
Studying Developer Gaze to Empower Software Engineering Research and Practice
Publisher's Version
DeepSoft: A Vision for a Deep Model of Software
Publisher's Version
Budgeted Testing through an Algorithmic Lens
Publisher's Version Preprint
Reasoning with Imprecise Privacy Preferences
Publisher's Version Preprint
Break
10:30 – 11:00, Foyer 3rd/4th Floor
Session 16: Program Repair (Research Papers)
11:00 – 12:30, Emerald 1, Chair: Tien Nguyen
Understanding and Generating High Quality Patches for Concurrency Bugs
Publisher's Version
Anti-patterns in Search-Based Program Repair
Publisher's Version Preprint Info
Semi-supervised Verified Feedback Generation
Publisher's Version
WATERFALL: An Incremental Approach for Repairing Record-Replay Tests of Web Applications
Publisher's Version Preprint
BigDebug: Interactive Debugger for Big Data Analytics in Apache Spark
Publisher's Version
Session 17: Development Environments (Research Papers)
11:00 – 12:30, Emerald 2, Chair: Dongmei Zhang
Efficiency of Projectional Editing: A Controlled Experiment
Publisher's Version
ECHO: Instantaneous In Situ Race Detection in the IDE
Publisher's Version Info
Detecting Table Clones and Smells in Spreadsheets
Publisher's Version
Exploring Mobile End User Development: Existing Use and Design Factors (J1-TSE)
Visualizing Code and Coverage Changes for Code Review
Publisher's Version Preprint Video Info
SRC Presentations (Student Research Competition)
11:00 – 12:30, Emerald 3, Chair: Cindy Rubio Gonzalez, Gustavo Soares
Lunch (on Your Own)
12:30 – 14:30, Seattle Ballroom
Session 18: Concurrency (Research Papers)
14:30 – 16:00, Emerald 1, Chair: Jeff Huang
Flow-Sensitive Composition of Thread-Modular Abstract Interpretation
Publisher's Version
A Deployable Sampling Strategy for Data Race Detection
Publisher's Version
Online Shared Memory Dependence Reduction via Bisectional Coordination
Publisher's Version Preprint
Parallel Data Race Detection for Task Parallel Programs with Locks
Publisher's Version aec-badge-fse16-ae
End-to-End Memory Behavior Profiling with DINAMITE
Publisher's Version
Session 19: Open Source (Research Papers)
14:30 – 16:00, Emerald 2, Chair: Mei Naggapan
Paradise Unplugged: Identifying Barriers for Female Participation on Stack Overflow
Publisher's Version Preprint Info
Why We Refactor? Confessions of GitHub Contributors
Publisher's Version Preprint Info aec-badge-fse16-ae
Effectiveness of Code Contribution: From Patch-Based to Pull-Request-Based Tools
Publisher's Version
Stochastic Actor-Oriented Modeling for Studying Homophily and Social Influence in OSS Projects (J1-EMSE)
Validate Your SPDX Files for Open Source License Violations
Publisher's Version Video Info
Session 20: Test Generation (Research Papers)
14:30 – 16:00, Emerald 3, Chair: Myra Cohen
Isomorphic Regression Testing: Executing Uncovered Branches without Test Augmentation
Publisher's Version
Directed Test Generation to Detect Loop Inefficiencies
Publisher's Version aec-badge-fse16-ae
Field-Exhaustive Testing
Publisher's Version
Combinatorial Generation of Structurally Complex Test Inputs for Commercial Software Applications
Publisher's Version
Automated Test Input Generation for Android: Are We Really There Yet in an Industrial Case?
Publisher's Version Preprint
FSX: A Tool for Fine-Grained Incremental Unit Test Generation for C/C++ Programs
Publisher's Version
Break
16:00 – 16:30, Foyer 3rd/4th Floor
Correct or Usable? The Limits of Traditional Verification (Impact Paper Award)
16:30 – 17:30, Emerald Ballroom
Correct or Usable? The Limits of Traditional Verification (Impact Paper Award)
Publisher's Version
Award Session / Future FSEs
17:30 – 18:00, Emerald Ballroom

Time stamp: 2020-09-20T05:31:41+02:00