36th International Conference on Software Engineering (ICSE 2014), May 31 – June 7, 2014, Hyderabad, India

Phone Layout
No Pictures
Saturday, May 31, 2014
MSR 2014 Day 1 (Co-located Event)
08:15 – 18:00, MR.G.1-3
MSR Banquet
19:00 – 21:30, Novotel Pool Lawns
Sunday, June 1, 2014
MSR 2014 Day 2 (Co-located Event)
08:30 – 18:10, MR.G.1-3
T7: How Software Engineering Research can Benefit from Ethnographic Methods (Tutorial)
09:00 – 17:30, MR.1.3, Chairs: Yvonne Dittrich, Cleidson de Souza, and Helen Sharp
Monday, June 2, 2014
SEAMS 2014 Day 1 (Co-located Event)
08:30 – 17:30, MR.G.6
ICPC 2014 Day 1 (Co-located Event)
08:45 – 18:00, MR.G.1-2
T1: The Art and Science of Analyzing Software Data (Tutorial)
09:00 – 12:30, MR.1.2, Chairs: Tim Menzies, Christian Bird, Thomas Zimmermann, Leandro L. Minku, and Burak Turhan
MOBILESoft 2014 Day 1 (Co-located Event)
09:00 – 17:40, MR.1.3
T3: Efficiently Mining Source Code with Boa (Tutorial)
09:00 – 12:30, MR.1.5, Chairs: Robert Dyer, Haam Nguyen, Hridesh Rajan, and Tien Nguyen
T5: Best Practices and Pitfalls for Statistical Analysis of SE Data (Tutorial)
09:00 – 12:30, MR.1.6, Chairs: Audris Mockus, Meiyappan Nagappan, and Ahmed E. Hassan
T2: Fundamentals of Dependable Computing for Software Engineers (Tutorial)
09:00 – 17:30, MR.1.9, Chair: John Knight
T4: Software Fault Tolerance for NextGen Systems: Milieu of Models and Methods (Tutorial)
14:00 – 17:30, MR.1.2, Chairs: Santonu Sarkar and Rajeshwari Ganesan
T6: Presentation Techniques: Structure, Story and Support of a Scientific Talk (Tutorial)
14:00 – 17:30, MR.1.5, Chair: Felienne Hermans
ICPC, MOBILESoft & SEAMS Banquet
19:00 – 21:30, Hall 5-6
Tuesday, June 3, 2014
SEAMS 2014 Day 2 (Co-located Event)
08:30 – 17:40, MR.G.6
MOBILESoft 2014 Day 2 (Co-located Event)
09:00 – 17:45, MR.1.3
TB1: Theory and Practice of Software Requirements Patterns (Tutorial)
09:00 – 12:30, MR.1.7, Chair: Xavier Franch
T14: Understanding Active Learning - MOOCs, SPOCs & Blended Learning (Tutorial)
09:00 – 12:30, MR.1.9, Chair: Adam A. Porter
T8: Essence - A Foundation for Software Development Games (Tutorial)
09:00 – 12:30, MR.2.3-4, Chairs: Shihong Huang, Ivar Jacobson, Panwei Ng, Mira Kajko-Mattsson, and Arne Berre
T10: Case Study Research Methodology for Software Engineering: Observational Case Studies and Technical Action Research (Tutorial)
09:00 – 12:30, MR.2.5, Chair: Roel Wieringa
T9: Software Design Quality in Practice (Tutorial)
09:00 – 12:30, MR.2.6, Chairs: Ganesh Samarthyam, Tushar Sharma, and Girish Suryanaraya
ICPC 2014 Day 2 (Co-located Event)
09:00 – 18:00, MR.G.1-2
TB2: Modeling and Verification of Multi-Agent Systems (Tutorial)
09:00 – 12:30, Speaker's Preparation Office 2.1, Chairs: Neha Rungta and Franco Raimondi
NFS - David Rosenblum (New Faculty and Researcher Symposium)
09:15 – 10:00, MR.1.4
NFS - Group Activity (New Faculty and Researcher Symposium)
10:30 – 11:00, MR.1.4
NFS - Sriram Rajamani (New Faculty and Researcher Symposium)
11:00 – 11:45, MR.1.4
NFS - Jim Herbsleb (New Faculty and Researcher Symposium)
11:45 – 12:30, MR.1.4
NFS - Jo Atlee (New Faculty and Researcher Symposium)
14:00 – 14:45, MR.1.4
T13: Meta Models and Meta Execution Models (Tutorial)
14:00 – 17:30, MR.1.9, Chairs: P. Radha Krishna and Kamal Karlapalem
T15: Reinvigorating Software Engineering Education with SaaS, Cloud Computing, MOOCs, and SPOCs (Tutorial)
14:00 – 17:30, MR.2.3-4, Chairs: Armando Fox
T12: Social Network Analysis for Software Engineering (Tutorial)
14:00 – 17:30, MR.2.5, Chairs: Ramsuri Narayanam, Seema Nagar, and Amit A. Nanavati
T11: Software Engineering for Mobile Development: Challenges, Tools, and Techniques (Tutorial)
14:00 – 17:30, MR.2.6, Chairs: Yael Dubinsky and Aharon Abadi
TB3: Goal Modeling Requirements Engineering in the i* Framework (Tutorial)
14:00 – 17:30, Speaker's Preparation Office 2.1, Chair: Xavier Franch
NFS - Junior Faculty and Researchers (New Faculty and Researcher Symposium)
14:45 – 16:00, MR.1.4
NFS - Junior Faculty and Researchers
Christian Bird, Emerson Murphy-Hill, Yuriy Brun, Jun Sun, and Aditya Kanade
NFS - Andreas Zeller (New Faculty and Researcher Symposium)
16:30 – 17:15, MR.1.4
NFS - Discussion and Wrapup (New Faculty and Researcher Symposium)
17:15 – 18:00, MR.1.4
ICSE Reception
19:00 – 21:00, Hall 5-6
Wednesday, June 4, 2014
AM Break
10:00 – 10:30
Modeling (Technical Research)
10:30 – 12:30, Hall 2, Chair: Joanne Atlee
Verifying Component and Connector Models against Crosscutting Structural Views
Publisher's Version
TradeMaker: Automated Dynamic Analysis of Synthesized Tradespaces
Publisher's Version Preprint
Lifting Model Transformations to Product Lines
Publisher's Version
Automated Goal Operationalisation Based on Interpolation and SAT Solving
Publisher's Version Preprint Video
Perspectives on Software Engineering (Technical Research)
10:30 – 12:30, Hall 3, Chair: Audris Mockus
Cowboys, Ankle Sprains, and Keepers of Quality: How Is Video Game Development Different from Software Development?
ACM Distinguished Paper
Publisher's Version Preprint
Analyze This! 145 Questions for Data Scientists in Software Engineering
Publisher's Version Preprint Info
The Dimensions of Software Engineering Success
Publisher's Version Preprint
How Do Professionals Perceive Legacy Systems and Software Modernization?
Publisher's Version Preprint
Configuration, Variability, and Clones (Technical Research)
10:30 – 12:30, MR.1.1-2, Chair: Katsuro Inoue
Mining Configuration Constraints: Static Analyses and Empirical Results
Publisher's Version Preprint Info
Which Configuration Option Should I Change?
Publisher's Version Preprint
Detecting Differences across Multiple Instances of Code Clones
Publisher's Version Preprint
Achieving Accuracy and Scalability Simultaneously in Detecting Application Clones on Android Markets
Publisher's Version Preprint
Testing 1 (Technical Research)
10:30 – 12:30, MR.G.1-3, Chair: Paolo Tonella
SimRT: An Automated Framework to Support Regression Testing for Data Races
Publisher's Version Preprint
Performance Regression Testing Target Prioritization via Performance Risk Analysis
Publisher's Version Preprint Video Info
Code Coverage for Suite Evaluation by Developers
Publisher's Version Preprint
Time Pressure: A Controlled Experiment of Test Case Development and Requirements Review
Publisher's Version Preprint Info
FSE OC Meeting
12:30 – 14:00, MR.1.7
ACM TOSEM
12:30 – 14:00, MR.1.9
ICSE 2015 Program and Reviewing Committees Meeting
12:30 – 14:00, MR.2.1
Lunch
12:30 – 14:00
Executive Committee Meeting
14:00 – 18:30, MR 1.9
Social Aspects of Software Engineering (Technical Research)
14:00 – 16:00, Hall 2, Chair: Christian Bird
Two's Company, Three's a Crowd: A Case Study of Crowdsourcing Software Development
Publisher's Version Preprint Info
Does Latitude Hurt while Longitude Kills? Geographical and Temporal Separation in a Large Scale Software Development Project
Publisher's Version
Software Engineering at the Speed of Light: How Developers Stay Current using Twitter
Publisher's Version Preprint Info
Building It Together: Synchronous Development in OSS
Publisher's Version
Formal Analysis (Technical Research)
14:00 – 16:00, MR.1.1-2, Chair: Vittorio Cortellessa
Mining Behavior Models from User-Intensive Web Applications
Publisher's Version Preprint
Reviser: Efficiently Updating IDE-/IFDS-Based Data-Flow Analyses in Response to Incremental Program Changes
Publisher's Version Preprint Info
Automated Design of Self-Adaptive Software with Control-Theoretical Formal Guarantees
Publisher's Version Preprint
Perturbation Analysis of Stochastic Systems with Empirical Distribution Parameters
Publisher's Version
Repair (Technical Research)
14:00 – 16:00, MR.G.1-3, Chair: Mark Harman
A Critical Review of "Automatic Patch Generation Learned from Human-Written Patches": Essay on the Problem Statement and the Evaluation of Automatic Software Repair
Publisher's Version Preprint
Data-Guided Repair of Selection Statements
Publisher's Version
The Strength of Random Search on Automated Program Repair
Publisher's Version Preprint
MintHint: Automated Synthesis of Repair Hints
Publisher's Version Preprint Video
PM Break
16:00 – 16:30
Prediction (Technical Research)
16:30 – 18:30, Hall 2, Chair: Per Runeson
Dictionary Learning Based Software Defect Prediction
Publisher's Version
Comparing Static Bug Finders and Statistical Prediction
Publisher's Version Preprint
Coverage Is Not Strongly Correlated with Test Suite Effectiveness
ACM Distinguished Paper
Publisher's Version Preprint Video Info
How to Make Best Use of Cross-Company Data in Software Effort Estimation?
Publisher's Version Preprint
Configuration Management (Technical Research)
16:30 – 18:30, Hall 3, Chair: Leonardo Murta
How Do Centralized and Distributed Version Control Systems Impact Software Changes?
Publisher's Version Preprint Info
Transition from Centralized to Decentralized Version Control Systems: A Case Study on Reasons, Barriers, and Outcomes
Publisher's Version Preprint
An Exploratory Study of the Pull-Based Software Development Model
Publisher's Version Preprint
Influence of Social and Technical Factors for Evaluating Contribution in GitHub
Publisher's Version
Concurrency (Technical Research)
16:30 – 18:30, MR.1.1-2, Chair: Henry Muccini
CARE: Cache Guided Deterministic Replay for Concurrent Java Programs
Publisher's Version Preprint
Inferring Models of Concurrent Systems from Logs of Their Behavior with CSight
Publisher's Version Preprint Info
Unleashing Concurrency for Irregular Data Structures
Publisher's Version
ConLock: A Constraint-Based Approach to Dynamic Checking on Deadlocks in Multithreaded Programs
Publisher's Version Preprint
Software Understanding (Technical Research)
16:30 – 18:30, MR.G.1-3, Chair: Margaret M. Burnett
Understanding JavaScript Event-Based Interactions
ACM Distinguished Paper
Publisher's Version Preprint
Understanding Understanding Source Code with Functional Magnetic Resonance Imaging
Publisher's Version Preprint
Improving Automated Source Code Summarization via an Eye-Tracking Study of Programmers
ACM Distinguished Paper
Publisher's Version
Using Psycho-Physiological Measures to Assess Task Difficulty in Software Development
Publisher's Version Preprint
SIGSOFT/IEEE CS TCSE Town Hall
18:30 – 19:30, Hall 2
ICSE SC Meeting
19:00 – 21:00, MR.2.3-4
Thursday, June 5, 2014
Some Lessons Learned while Creating a Real MOOC-based Masters of Science (Keynote)
08:30 – 10:00, Hall 3, Chairs: Lionel Briand
Charles Lee Isbell, Jr. received his B.S. in Computer Science in 1990 from the Georgia Institute of Technology and his Ph.D. in Computer Science from the Massachusetts Institute of Technology in 1998. After four years at AT&T Labs/Research, he returned to Georgia Tech to join the faculty of the College of Computing. Charles’ research interests are varied, but recently he has been building autonomous agents that engage in life-long learning when in the presence of thousands of other intelligent agents, including humans. His work has been featured in the popular media, including the New York Times and the Washington Post as well as in technical collections. Charles also pursues reform in computing education. He was a developer of Threads, Georgia Tech’s new structuring principle for computing curricula. Recently, he has assumed the role of the Senior Associate Dean for the College.
AM Break
10:00 – 10:30
Testing 2 (Technical Research)
10:30 – 12:30, Hall 1, Chair: Phil McMinn
Micro Execution
Publisher's Version Preprint
Unit Test Virtualization with VMVM
ACM Distinguished Paper
Publisher's Version Preprint Info
Interpolated N-Grams for Model Based Testing
Publisher's Version Preprint Video
An Analysis of the Relationship between Conditional Entropy and Failed Error Propagation in Software Testing
Publisher's Version
Code Contracts, Invariants, and Robustness (Technical Research)
10:30 – 12:30, Hall 2, Chair: Andreas Zeller
Trading Robustness for Maintainability: An Empirical Study of Evolving C# Programs
ACM Distinguished Paper
Publisher's Version Preprint
Case Studies and Tools for Contract Specifications
Publisher's Version Preprint Info
Using Dynamic Analysis to Generate Disjunctive Invariants
Publisher's Version Preprint
Inductive Verification of Data Model Invariants for Web Applications
Publisher's Version Preprint
Apps and Energy (Technical Research)
10:30 – 12:30, Hall 3, Chair: Massimiliano Di Penta
SEEDS: A Software Engineer's Energy-Optimization Decision Support Framework
Publisher's Version Preprint
APE: An Annotation Language and Middleware for Energy-Efficient Mobile Application Development
Publisher's Version Preprint
Making Web Applications More Energy Efficient for OLED Smartphones
Publisher's Version
ISSTA Steering Committee Meeting
12:30 – 14:00, MR 1.7
JSS Editorial Board Meeting
12:30 – 14:00, MR 2.2
ICSE 2015 Organizing Committee Meeting
12:30 – 14:00, MR.1.1
IEEE TSE Editorial Board
12:30 – 14:00, MR.1.2
TCSE EC
12:30 – 14:00, MR.1.9
SIGSOFT EC
12:30 – 14:00, MR.2.1
Lunch
12:30 – 14:00
Search and APIs (Technical Research)
14:00 – 16:00, Hall 1, Chair: Yuriy Brun
How Do API Documentation and Static Typing Affect API Usability?
Publisher's Version Preprint
Live API Documentation
Publisher's Version Preprint Video Info
CodeHint: Dynamic and Interactive Synthesis of Code Snippets
Awarded as Prof. R. Narasimhan Lecture
Publisher's Version Preprint Video Info
Spotting Working Code Examples
Publisher's Version Preprint
Adaptive Systems (Technical Research)
14:00 – 16:00, Hall 2, Chair: Sam Malek
Self-Adaptation through Incremental Generative Model Transformations at Runtime
Publisher's Version Preprint
Hope for the Best, Prepare for the Worst: Multi-tier Control for Adaptive Systems
Publisher's Version Preprint Video
Brownout: Building More Robust Cloud Applications
Publisher's Version Preprint Info
Integrating Adaptive User Interface Capabilities in Enterprise Applications
Publisher's Version Preprint Video Info
PM Break
16:00 – 16:30
Build and Package Management (Technical Research)
16:30 – 18:30, Hall 1, Chair: Arie van Deursen
Programmers' Build Errors: A Case Study (at Google)
Publisher's Version Preprint
Understanding and Improving Software Build Teams
Publisher's Version Preprint
Towards Efficient Optimization in Package Management Systems
Publisher's Version Preprint
Easing Software Component Repository Evolution
Publisher's Version Preprint Info
Mining (Technical Research)
16:30 – 18:30, Hall 2, Chair: Premkumar Devanbu
AR-Miner: Mining Informative Reviews for Developers from Mobile App Marketplace
Publisher's Version Preprint
Mining Billions of AST Nodes to Study Actual and Potential Usage of Java Language Features
Publisher's Version Preprint Info
Mining Interprocedural, Data-Oriented Usage Patterns in JavaScript Web Applications
Publisher's Version
Mining Fine-Grained Code Changes to Detect Unknown Change Patterns
Publisher's Version Preprint
Automated Bug Detection and Repair (Technical Research)
16:30 – 18:30, MR.G.1-3, Chair: Tim Menzies
Detecting Memory Leaks through Introspective Dynamic Behavior Modeling using Machine Learning
Publisher's Version
Automated Memory Leak Detection for Production Use
Publisher's Version
Vejovis: Suggesting Fixes for JavaScript Faults
Publisher's Version Preprint
Is Spreadsheet Ambiguity Harmful? Detecting and Repairing Spreadsheet Smells due to Ambiguous Computation
Publisher's Version
ESEC Steering Committee Meeting
18:00 – 21:00, MR.1.9
SRC Committee Meeting
18:00 – 21:00, MR.G.3
ICSE Banquet
19:00 – 22:00, N Convention
Friday, June 6, 2014
Round Table on Emerging Software Engineering Challenges (Panel)
08:30 – 10:00, Hall 3, Chair: Pankaj Jalote
K. Ananth Krishnan is an M. Tech. in Computer Science and an M.Sc in Physics from the Indian Institute of Technology, Delhi. He also has a Bachelor's degree in Physics from Fergusson College, Pune. He joined TCS in February 1988, straight from campus. Ananth is currently the Chief Technology Officer of TCS and chairs the TCS Corporate Technology Board. He is a member of the TCS Corporate Think-Tank since 1999, and has led several strategic initiatives. He has been a Principal Architect and Lead Consultant in the Architecture and Technology Consulting Practice, and earlier the head of the TCS Systems Management and the Systems Software Group.

Jeannette M. Wing is Corporate Vice President, Microsoft Research. She is on leave from Carnegie Mellon University, where she is President’s Professor of Computer Science and twice served as the Head of the Computer Science Department. From 2007-2010 she was the Assistant Director of the Computer and Information Science and Engineering Directorate at the National Science Foundation. She received her B.S and M.S. degrees in Computer Science and Engineering in 1979 and her Ph.D. degree in Computer Science in 1983, all from the Massachusetts Institute of Technology. Her general research interests are in the areas of trustworthy computing, specification and verification, concurrent and distributed systems, programming languages, and software engineering. Her current interests are in the foundations of security and privacy. She was or is on the editorial board of twelve journals, including the Journal of the ACM and Communications of the ACM.

Vishnu Bhat (@BhatVishnu) heads the Cloud, Mobility and Infrastructure Management Services units and drives the vision of delivering digital transformation and infrastructure management initiatives for clients. Vishnu has been with Infosys for 21 years and earlier led the Cloud and System Integration unit at Infosys. Prior to that, he was Chief Operating Officer (COO) for Infosys Australia. As COO, he integrated an acquired subsidiary, building a strong footprint in the market. He also headed the Global Development Centre in Toronto and delivery operations for Canada. Vishnu represents Infosys as a steering committee member at the Open Data Center Alliance (ODCA) and has joined the ODCA Board of Directors. Vishnu is a widely recognized leader in the industry for his vision and expertise in delivering transformational impact for enterprises through digital technologies such as Cloud, Big Data and Mobility. He has been recognized as one of the 101 Trust Leaders in Cloud and Hosting, 2014 by Total Product Marketing.
AM Break
10:00 – 10:30
Testing and Conformance Verification (Technical Research)
10:30 – 12:30, Hall 1, Chairs: Alessandro Orso
Exploring Variability-Aware Execution for Testing Plugin-Based Web Applications
Publisher's Version
A Study of Equivalent and Stubborn Mutation Operators using Human Analysis of Equivalence
Publisher's Version Preprint Info
Cross-Checking Oracles from Intrinsic Software Redundancy
Publisher's Version Preprint Video
Mind the Gap: Assessing the Conformance of Software Traceability to Relevant Guidelines
Publisher's Version Preprint Video
Modeling and Interfaces (Technical Research)
10:30 – 12:30, MR.1.3-4, Chair: Sven Apel
Effects of Using Examples on Structural Model Comprehension: A Controlled Experiment
Publisher's Version Info
Design Rule Spaces: A New Form of Architecture Insight
Publisher's Version
Controlled Modeling Environment using Flexibly-Formatted Spreadsheets
Publisher's Version Preprint
Feature Maintenance with Emergent Interfaces
Publisher's Version Preprint Info
Requirements (Technical Research)
10:30 – 12:30, MR.G.1-3, Chair: Daniel Amyot
Us and Them: A Study of Privacy Requirements Across North America, Asia, and Europe
Publisher's Version Preprint
Distilling Privacy Requirements for Mobile Applications
Publisher's Version Preprint
Uncertainty, Risk, and Information Value in Software Requirements and Architecture
Publisher's Version Preprint
Requirements Fixation
Publisher's Version Preprint Video
ICSE 2016 Meeting
12:30 – 14:00, MR.1.2
Lunch
12:30 – 14:00
Symbolic Execution (Technical Research)
14:00 – 16:00, Hall 1, Chair: Michael Whalen
Patch Verification via Multiversion Interprocedural Control Flow Graphs
Publisher's Version Preprint
Property Differencing for Incremental Checking
Publisher's Version Preprint
Symbolic Assume-Guarantee Reasoning through BDD Learning
Publisher's Version Preprint
Enhancing Symbolic Execution with Veritesting
ACM Distinguished Paper
Publisher's Version Preprint
Refactoring and Reverse Engineering (Technical Research)
14:00 – 16:00, MR.1.3-4, Chair: Miryung Kim
Manual Refactoring Changes with Automated Refactoring Validation
Publisher's Version Preprint
Alternate Refactoring Paths Reveal Usability Problems
Publisher's Version Preprint Info
A Study and Toolkit for Asynchronous Programming in C#
ACM Distinguished Paper
Publisher's Version Preprint Info
Reuse-Oriented Reverse Engineering of Functional Components from X86 Binaries
Publisher's Version
Apps and Verification (Technical Research)
14:00 – 16:00, MR.G.1-3, Chair: Luciano Baresi
Detecting Performance Anti-patterns for Applications Developed using Object-Relational Mapping
Publisher's Version Preprint
Characterizing and Detecting Performance Bugs for Smartphone Applications
ACM Distinguished Paper
Publisher's Version Preprint Info
Checking App Behavior Against App Descriptions
Publisher's Version Preprint
AsDroid: Detecting Stealthy Behaviors in Android Applications by User Interface and Program Behavior Contradiction
Publisher's Version Preprint
PM Break
16:00 – 16:30
Closing and Awards
16:30 – 18:00, Hall 3
ICSE 2014 Debrief
18:00 – 18:45, Hall 3
ICSE OC Final Get-Together
19:30 – 22:00, Hall 1
Saturday, June 7, 2014
The Business Side of Software - Emerging Challenges and Opportunities (Workshop)
09:00 – 17:30, MR.1.3-4
FSE 2014 PC Meeting Day 1
09:00 – 17:30, MR.1.5-6
FSE PC Dinner
19:00 – 22:00, Rubaiyat Restaurant
Sunday, June 8, 2014
FSE 2014 PC Meeting Day 2
09:00 – 17:30, MR.1.5-6

Time stamp: 2020-10-01T19:08:29+02:00