Accepted Research Papers

  • Markus Kusano and Chao Wang. Flow-sensitive Composition of Thread-modular Abstract Interpretation
  • Chungha Sung, Markus Kusano, Nishant Sinha and Chao Wang. Static DOM Event Dependency Analysis for Testing Web Applications
  • Shiva Nejati, Mehrdad Sabetzadeh, Chetan Arora, Lionel Briand and Felix Mandoux. Automated Change Impact Analysis between SysML Models of Requirements and Design
  • Mouna Hammoudi, Gregg Rothermel and Andrea Stocco. WATERFALL: An Incremental Approach for Repairing Record-Replay Tests of Web Applications
  • Shin Hwei Tan, Hiroaki Yoshida, Mukul Prasad and Abhik Roychoudhury. Anti-patterns in Search-based Program Repair
  • Yulei Sui and Jingling Xue. On-Demand Strong Update Analysis via Value-Flow Refinement
  • Yepang Liu, Chang Xu, Shing-Chi Cheung and Valerio Terragni. Understanding and Detecting Wake Lock Misuses for Android Applications
  • Jing Zhou and Robert Walker. API Deprecation: A Retrospective Analysis and Detection Method for Code Examples on the Web
  • Andrea Di Sorbo, Sebastiano Panichella, Carol V. Alexandru, Junji Shimagaki, Corrado Aaron Visaggio, Gerardo Canfora and Harald C. Gall. What Would Users Change in My App? Summarizing App Reviews for Recommending Software Changes
  • Shahar Maoz and Jan Oliver Ringert. On Well-Separation of GR(1) Specifications
  • Stepan Shevtsov and Danny Weyns. Keep it SIMPLEX: Satisfying Multiple Goals with Guarantees in Control-Based Self-Adaptive Systems
  • David Piorkowski, Austin Henley, Tahmid Nabi, Scott Fleming, Christopher Scaffidi and Margaret Burnett. Foraging and Navigations, Fundamentally: Developers’ Predictions of Value and Cost
  • Tse-Hsun Chen, Weiyi Shang, Ahmed E. Hassan, Mohamed Nasser and Parminder Flora. CacheOptimizer: Helping Developers Configure Caching Frameworks for Hibernate-based Database-centric Web Applications
  • Brittany Johnson, Rahul Pandita, Justin Smith, Denae Ford, Sarah Elder, Emerson Murphy-Hill, Sarah Heckman and Caitlin Sadowski. A Cross-Tool Communication Study on Program Analysis Tool Notifications
  • Danilo Silva, Nikolaos Tsantalis and Marco Tulio Valente. Why We Refactor? Confessions of GitHub Contributors
  • Andre Hora, Marco Tulio Valente, Romain Robbes and Nicolas Anquetil. When Should Internal Interfaces be Promoted to Public?
  • Jianye Hao, Eunsuk Kang, Jun Sun and Daniel Jackson. Designing Minimal Effective Normative Systems with the Help of Lightweight Formal Methods
  • Quinn Hanam, Fernando Brito and Ali Mesbah. Discovering Bug Patterns in JavaScript
  • Haopeng Liu, Yuxi Chen and Shan Lu. Understanding and Generating High Quality Patches for Concurrency Bugs
  • Yan Cai, Jian Zhang, Lingwei Cao and Jian Liu. A Deployable Sampling Strategy for Data Race Detection
  • Thanhvu Nguyen, Ugur Koc, Javran Cheng, Jeffrey S. Foster and Adam A. Porter. iGen: Dynamic Interaction Inference for Configurable Software
  • Michael Reif, Michael Eichberg, Ben Hermann, Johannes Lerch and Mira Mezini. Call Graph Construction for Java Libraries
  • Jie Zhang, Yiling Lou, Lingming Zhang, Dan Hao, Lu Zhang and Hong Mei. Isomorphic Regression Testing: Executing Uncovered Branches without Test Augmentation
  • Marc Brünink and David Rosenblum. Mining Performance Specifications
  • Thorsten Berger, Markus Voelter, Hans Peter Jensen, Taweesap Dangprasert and Janet Siegmund. Efficiency of Projectional Editing: A Survey, an Experiment, and Lessons Learned
  • Yu Kang , Yangfan Zhou, Hui Xu and Michael R. Lyu. DiagDroid: Android Performance Diagnosis via Anatomizing Asynchronous Executions
  • Yun Lin, Xin Peng, Yuanfang Cai, Danny Dig, Diwen Zheng and Wenyun Zhao. Refactoring Navigator: Interactive and Guided Refactoring with Search-Based Recommendation
  • Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha and Denis Kuperberg. Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations
  • Jaroslav Fowkes and Charles Sutton. Parameter-Free Probabilistic API Mining across GitHub
  • William Martin, Federica Sarro and Mark Harman. Causal Impact Analysis for App Releases in Google Play
  • Fang-Hsiang Su, Jonathan Bell, Kenneth Harvey, Simha Sethumadhavan, Gail Kaiser and Tony Jebara. Code Relatives: Detecting Similarly Behaving Software
  • Robert Kurtz, Paul Ammann, Jeff Offutt, Marcio Eduardo Delamaro, Mariet Kurtz and Nida Gokce. Analyzing the Validity of Selective Mutation with Dominator Mutants
  • Tobias Baum, Olga Liskin, Kai Niklas and Kurt Schneider. Factors Influencing Code Review Processes in Industry
  • Iftekhar Ahmed, Rahul Gopinath, Caius Brindescu, Alex Groce and Carlos Jensen. Can Testedness be Effectively Measured?
  • Christopher Bogart, Christian Kästner, James Herbsleb and Ferdian Thung. How to Break an API: Cost Negotiation and Community Values in Three Software Ecosystems
  • Yanyan Jiang, Chang Xu, Du Li, Xiaoxing Ma and Jian Lu. Online Shared Memory Dependence Reduction via Bisectional Coordination
  • Yanyan Jiang, Haicheng Chen, Feng Qin, Chang Xu, Xiaoxing Ma and Jian Lu. Crash Consistency Validation Made Easy
  • Luciano Baresi, Sam Guinea, Alberto Leva and Giovanni Quattrocchi. A Discrete-Time Feedback Controller for Containerized Cloud Applications
  • Adarsh Yoga, Santosh Nagarakatte and Aarti Gupta. Parallel Data Race Detection for Task Parallel Programs with Locks
  • Arie Gurfinkel, Sharon Shoham and Yuri Meshman. SMT-based Verification of Parameterized Systems
  • Denae Ford, Justin Smith, Philip Guo and Chris Parnin. Paradise Unplugged: Identifying Barriers for Female Participation on Stack Overflow
  • Sheng Zhan and Jeff Huang. ECHO: Instantaneous In Situ Race Detection in the IDE
  • Anh Nguyen, Michael Hilton, Mihai Codoban, Hoan Nguyen, Lily Mast, Eli Rademacher, Tien Nguyen and Danny Dig. API Code Recommendation Using Statistical Learning from Fine-grained Changes
  • Xiaodong Gu, Hongyu Zhang, Dongmei Zhang and Sunghun Kim. Deep API Learning
  • Niranjan Hasabnis and R Sekar. Extracting Instruction Semantics via Symbolic Execution of Code Generators
  • Pablo Ponzio, Nazareno Aguirre, Marcelo Frias and Willem Visser. Field-Exhaustive Testing
  • Hamid Bagheri and Sam Malek. Titanium: Efficient Analysis of Evolving Alloy Specifications
  • Shiyi Wei, Omer Tripp, Barbara G. Ryder and Julian Dolby. Revamping JavaScript Static Analysis via Localization and Remediation of Root Causes of Imprecision
  • Catarina Costa, Jair Figueiredo, Leonardo Murta and Anita Sarma. TIPMerge: Recommending Experts for Integrating Changes across Branches
  • Xiaofei Xie, Bihuan Chen, Yang Liu, Wei Le and Xiaohong Li. Proteus: Computing Disjunctive Loop Summary via Path Dependency Analysis
  • Xuan Li, Zerui Wang, Qianxiang Wang, Shoumeng Yan, Tao Xie and Hong Mei. Relationship-Aware Code Search for JavaScript Frameworks
  • Lazaro Clapp, Osbert Bastani, Saswat Anand and Alex Aiken. Minimizing GUI Event Traces
  • Zhaogui Xu, Xiangyu Zhang, Lin Chen, Kexin Pei and Baowen Xu. Python Probabilistic Type Inference with Natural Language Support
  • Qi Luo, Kevin Moran and Denys Poshyvanyk. A Large-scale Empirical Comparison of Static and Dynamic Test Case Prioritization Techniques
  • Sukrit Kalra, Ayush Goel, Dhriti Khanna, Mohan Dhawan, Subodh Sharma and Rahul Purandare. POLLUX: Safely Upgrading Dependent Application Libraries
  • Elaheh Ghassabani, Andrew Gacek and Michael Whalen. Efficient Generation of Inductive Validity Cores for Safety Properties
  • Chung Hwan Kim, Junghwan Rhee, Kyu Hyung Lee, Xiangyu Zhang and Dongyan Xu. PerfGuard: Binary-Centric Application Performance Monitoring in Production Environments
  • Jianjun Huang, Xiangyu Zhang and Lin Tan. Detecting Sensitive Data Disclosure via Bi-directional Text Correlation Analysis
  • Sven Apel, Dirk Beyer, Vitaly Mordan, Vadim Mutilin and Andreas Stahlbauer. On-The-Fly Decomposition of Specifications in Software Model Checking
  • Mahinthan Chandramohan, Yinxing Xue, Zhengzi Xu, Yang Liu, Chia Yuan Cho and Hee Beng Kuan Tan. BinGo: Cross-Architecture Cross-OS Binary Search
  • Dirk Beyer, Matthias Dangl, Daniel Dietsch and Matthias Heizmann. Correctness Witnesses: Exchanging Verification Results Between Verifiers
  • Weihang Wang, Yunhui Zheng, Xinyu Xing, Yonghwi Kwon, Xiangyu Zhang and Patrick Eugster. WebRanz: Web Page Randomization For Better Advertisement Delivery and Web-Bot Prevention
  • Yibiao Yang, Yuming Zhou, Jinping Liu, Yangyang Zhao, Hongmin Lu, Lei Xu, Baowen Xu and Hareton Leung. Effort-aware just-in-time defect prediction: Simple unsupervised models could be better than supervised models
  • Nan Niu, Wentao Wang and Arushi Gupta. Gray Links in the Use of Requirements Traceability
  • Ran Wang, Daming Zou, Xinrui He, Yingfei Xiong, Lu Zhang and Gang Huang. Detecting and Fixing Precision-Specific Operations for Measuring Floating-Point Errors
  • Eunsuk Kang, Aleksandar Milicevic and Daniel Jackson. Multi-Representational Security Analysis
  • Zhaogui Xu, Peng Liu, Xiangyu Zhang and Baowen Xu. Python Predictive Analysis for Bug Detection
  • Ahmet Celik, Alex Knaust, Aleksandar Milicevic and Milos Gligoric. Build System with Lazy Retrieval for Java Projects
  • Wensheng Dou, Shing-Chi Cheung, Chushu Gao, Chang Xu, Liang Xu and Jun Wei. Detecting Table Clones and Smells in Spreadsheets
  • Monika Dhok and Murali Krishna Ramanathan. Directed Test Generation to Detect Loop Inefficiencies
  • Owolabi Legunsen, Farah Hariri, August Shi, Yafeng Lu, Lingming Zhang and Darko Marinov. An Extensive Study of Static Regression Test Selection in Modern Software Evolution
  • Lucas Bang, Abdulbaki Aydin, Quoc-Sang Phan, Corina S. Pasareanu and Tevfik Bultan. String Analysis for Side Channels with Segmented Oracles
  • Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade and Sumit Gulwani. Semi-Supervised Verified Feedback Generation
  • Jiaxin Zhu, Minghui Zhou and Audris Mockus. Effectiveness of Code Contribution: from Patch-Based to Pull-Request-Based Tools

Registration now open

Important: Please pre-register to allow us to pre-print your badge in advance.
Note that we have limited availability for on-site registrations. Register early!

We look forward to seeing you at the conference!
Registration rates and policies

Attendee information

Everything you need to know for attending FSE.


The proceedings are now in the ACM Digital Library.

Print Program (*new*)

The program part of the FSE Yearbook. The pages with attendee profiles and advertisement will only be available in the print copy that attendees will receive at the conference.

FSE Week Overview

FSE conference (November 15-17), Workshops (November 13, 14, and 18), Doctoral Symposium (November 14)

Schedule Main Conference

Check out the schedule of the main conference.

Conference Preview

Check out a preview of conference highlights.

Hotel reservations now open

The room rate is USD 189.00 / Night (Excluding Taxes & Fees). The rate is available until October 15, 2016. Consider participating in the Room Sharing program.

Important Dates


  • Research papers: March 11, 2016
  • Workshop proposals: March 25, 2016
  • Visions and Reflections papers: June 15, 2016
  • Industry papers: June 15, 2016
  • Demo papers: June 15, 2016
  • Doctoral Symposium: June 15, 2016
  • Student Research Competition: June 15 July 1, 2016
  • Workshop papers: July 1, 2016

Rebuttal Period

  • For research papers only: April 30, 2016 (Noon PDT) - May 3, 2016 (23:59:59 AOE)


  • Pre-conference Events: November 13-14, 2016
  • Doctoral Symposium: November 14, 2016
  • Main Conference: November 15-17, 2016
  • Post-conference Events: November 18, 2016