22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014), November 16–21, 2014, Hong Kong, China

Phone Layout
Show Pictures
Monday, November 17, 2014
Invited Talk 1 (Doctoral Symposium)
09:00 – 10:00, Meeting Room 4
Invited Talk 1
Andreas Zeller
Engineering Privacy and the Challenges of Transitioning Science to Practice (Tutorial)
09:00 – 10:30, Hall 1
Engineering Privacy and the Challenges of Transitioning Science to Practice
Travis Breaux
(CMU)
Software Analytics: Achievements and Challenges (Tutorial)
09:00 – 10:30, Hall 2
Software Analytics: Achievements and Challenges
Dongmei Zhang and Tao Xie
(MSR; NCSU)
Technical Presentations 1 (Doctoral Symposium)
10:00 – 10:30, Meeting Room 4
Diagnose Crashing Faults on Production Software
Publisher's Version
Technical Presentations 2 (Doctoral Symposium)
11:00 – 12:30, Meeting Room 4
Integrating Approaches for Feature Implementation
Publisher's Version Preprint
Numerical Program Analysis and Testing
Publisher's Version
Traceability and Model Checking to Support Safety Requirement Verification
Publisher's Version
Dealing with Uncertainty in Verification of Nondeterministic Systems
Publisher's Version
Engineering Secure Software: On The Many Ways You Should Be Breaking Your Product (Tutorial)
11:00 – 12:30, Hall 1
Engineering Secure Software: On The Many Ways You Should Be Breaking Your Product
Andy Meneely
(RIT)
String Analysis (Tutorial)
11:00 – 12:30, Hall 2
String Analysis
Tevfik Bultan, Fang Yu, and Muath Alkhalaf
(UCSB; NCUT; KSU)
Technical Presentations 3 (Doctoral Symposium)
14:00 – 15:30, Meeting Room 4
Static Analysis Driven Performance and Energy Testing
Publisher's Version Preprint
Autonomous Compliance Monitoring of Non-functional Properties
Publisher's Version
Detecting, Isolating, and Enforcing Dependencies among and within Test Cases
Publisher's Version
Improving the Software Testing Skills of Novices during Onboarding through Social Transparency
Publisher's Version
Symbolic Techniques for Program Debugging and Repair (Tutorial)
14:00 – 15:30, Hall 1
Symbolic Techniques for Program Debugging and Repair
Abhik Roychoudhury and Satish Chandra
(NUS; Samsung)
Engineering Cyberphysical System Software (Tutorial)
14:00 – 15:30, Hall 2
Engineering Cyberphysical System Software
Luca Mottola
(Politecnico di Milano; SICS)
Technical Presentations 4 (Doctoral Symposium)
16:00 – 16:30, Meeting Room 4
Minimizing Software Conflicts through Proactive Detection of Conflicts and Task Scheduling
Publisher's Version
Social Media and Science 2.0 (Tutorial)
16:00 – 17:30, Hall 1
Social Media and Science 2.0
Felienne Hermans
(TU Delft)
Software Engineering for Cloud Applications (canceled) (Tutorial)
16:00 – 17:30, Hall 2
Software Engineering for Cloud Applications (canceled)
Mladen A. Vouk
(NCSU)
Invited Talk 2 (Doctoral Symposium)
16:30 – 17:30, Meeting Room 4
Invited Talk 2
David Rosenblum
Tuesday, November 18, 2014
Message from the Chairs
09:00 – 09:20, Auditorium
Message from the Chairs
From Software Engineering to Software Systems (Invited Talk) (Award Talk)
09:20 – 10:20, Auditorium
From Software Engineering to Software Systems (Invited Talk)
Publisher's Version
Morning Break
10:20 – 10:40, Pre-function Hall
Helping and Understanding Developers (Main Research)
10:40 – 12:20, Auditorium, Chair: Martin Robillard
Developers’ Code Context Models for Change Tasks
Publisher's Version Preprint
Software Developers’ Perceptions of Productivity
Publisher's Version Preprint Info
Enablers, Inhibitors, and Perceptions of Testing in Novice Software Teams
Publisher's Version Preprint
Feedback Generation for Performance Problems in Introductory Programming Assignments
Publisher's Version Preprint Info
Debugging and Refactoring (Main Research)
10:40 – 12:20, Hall 4-7, Chairs: Satish Chandra
Test Case Purification for Improving Fault Localization
Publisher's Version Preprint
Automatically Generated Patches as Debugging Aids: A Human Study
Publisher's Version Preprint
A Foundation for Refactoring C with Macros
Publisher's Version Preprint
Vector Abstraction and Concretization for Scalable Detection of Refactorings
Publisher's Version Preprint
Lunch
12:20 – 13:30, Happiness Cuisine
Static Analysis (Main Research)
13:30 – 15:10, Auditorium, Chair: Jianjun Zhao
FlowTwist: Efficient Context-Sensitive Inside-Out Taint Analysis for Large Codebases
Publisher's Version
ORBS: Language-Independent Program Slicing
Publisher's Version Preprint Info
JSAI: A Static Analysis Platform for JavaScript
Publisher's Version Preprint
A Path-Sensitively Sliced Control Flow Graph
Publisher's Version Preprint
Mining Software Repositories (Main Research)
13:30 – 15:10, Hall 4-7, Chair: Thomas Zimmermann
Let's Talk About It: Evaluating Contributions through Discussion in GitHub
Publisher's Version Preprint
A Large Scale Study of Programming Languages and Code Quality in Github
Publisher's Version Preprint
Mining Preconditions of APIs in Large-Scale Code Corpus
Publisher's Version Preprint
Automatic Mining of Specifications from Invocation Traces and Method Invariants
Publisher's Version Preprint
Afternoon Break
15:10 – 15:30, Pre-function Hall
Formal Methods and Verification (Main Research)
15:30 – 17:10, Auditorium, Chair: Tevfik Bultan
Counterexample Guided Abstraction Refinement of Product-Line Behavioural Models
Publisher's Version
Powering the Static Driver Verifier using Corral
Publisher's Version Preprint
Verifying CTL-Live Properties of Infinite State Models using an SMT Solver
Publisher's Version Preprint
Efficient Runtime-Enforcement Techniques for Policy Weaving
Publisher's Version Preprint
Regression Testing (Main Research)
15:30 – 17:10, Hall 4-7, Chair: Willem Visser
Techniques for Improving Regression Testing in Continuous Integration Development Environments
Publisher's Version Preprint Info
Balancing Trade-Offs in Test-Suite Reduction
Publisher's Version Preprint
Identifying the Characteristics of Vulnerable Code Changes: An Empirical Study
Publisher's Version Preprint
Tool Demonstrations (FSE Track)
17:15 – 18:00, Auditorium
Demo papers’ lightning talks
Tsmart-GalsBlock: A Toolkit for Modeling, Validation, and Synthesis of Multi-clocked Embedded Systems
Publisher's Version
A Tool Suite for the Model-Driven Software Engineering of Cyber-Physical Systems
Publisher's Version
XMLMate: Evolutionary XML Test Generation
Publisher's Version Preprint Video Info
CHOReOSynt: Enforcing Choreography Realizability in the Future Internet
Publisher's Version Preprint
RaPiD: A Toolkit for Reliability Analysis of Non-deterministic Systems
Publisher's Version Preprint Video Info
Aalta: An LTL Satisfiability Checker over Infinite/Finite Traces
Publisher's Version
Omen+: A Precise Dynamic Deadlock Detector for Multithreaded Java Libraries
Publisher's Version
Archie: A Tool for Detecting, Monitoring, and Preserving Architecturally Significant Code
Publisher's Version
Linking Sketches and Diagrams to Source Code Artifacts
Publisher's Version Preprint
BumbleBee: A Refactoring Environment for Spreadsheet Formulas
Publisher's Version Preprint
RefDistiller: A Refactoring Aware Code Review Tool for Inspecting Manual Refactoring Edits
Publisher's Version Preprint
Critics: An Interactive Code Review Tool for Searching and Inspecting Systematic Changes
Publisher's Version Preprint Video Info
ConceptCloud: A Tagcloud Browser for Software Archives
Publisher's Version
Titan: A Toolset That Connects Software Architecture with Quality Analysis
Publisher's Version
BugLocalizer: Integrated Tool Support for Bug Localization
Publisher's Version
Student Research Competition Posters (FSE Track)
18:00 – 20:30, Pre-function Hall
Detecting and Preventing the Architectural Roots of Bugs
Publisher's Version
Estimating the Effectiveness of Spectrum-Based Fault Localization
Publisher's Version Preprint
Managing Lots of Models: The FaMine Approach
Publisher's Version Preprint
Social Network Analysis in Open Source Software Peer Review
Publisher's Version
Towards a Theory of Architectural Styles
Publisher's Version Preprint
Software Programmer Management: A Machine Learning and Human Computer Interaction Framework for Optimal Task Assignment
Publisher's Version
Reception + Demo Posters
18:00 – 20:30, Pre-function Hall
Wednesday, November 19, 2014
Omlet: A Revolution against Big-Brother Social Networks (Invited Talk)
09:00 – 10:20, Auditorium
Omlet: A Revolution against Big-Brother Social Networks (Invited Talk)
Publisher's Version
Morning Break
10:20 – 10:40, Pre-function Hall
Improving Recommender Systems (Main Research)
10:40 – 12:20, Auditorium, Chair: Nenad Medvidovic
On the Localness of Software
Publisher's Version Preprint
Learning Natural Coding Conventions
Publisher's Version Preprint Info
How Should We Measure Functional Sameness from Program Source Code? An Exploratory Study on Java Methods
Publisher's Version Preprint Info
The Plastic Surgery Hypothesis
Publisher's Version Preprint
Concurrency and Parallelism (Main Research)
10:40 – 12:20, Hall 4-7, Chair: Sarfraz Khurshid
Grail: Context-Aware Fixing of Concurrency Bugs
Publisher's Version
AI: A Lightweight System for Tolerating Concurrency Bugs
Publisher's Version Preprint Info
Retrofitting Concurrency for Android Applications through Refactoring
Publisher's Version Preprint Info
Sherlock: Scalable Deadlock Detection for Concurrent Programs
Publisher's Version Preprint
Lunch
12:20 – 13:30, Happiness Cuisine
Self Adaptation and Repair / Program Analysis Applications (Main Research)
13:30 – 15:10, Auditorium, Chair: Sebastian Uchitel
Search-Based Synthesis of Equivalent Method Sequences
Publisher's Version Preprint
Beyond the Rainbow: Self-Adaptive Failure Avoidance in Configurable Systems
Publisher's Version Preprint
Semantics-Based Obfuscation-Resilient Binary Code Similarity Comparison with Applications to Software Plagiarism Detection
Publisher's Version Preprint
Focus-Shifting Patterns of OSS Developers and Their Congruence with Call Graphs
Publisher's Version Preprint
Symbolic Execution (Main Research)
13:30 – 15:10, Hall 4-7, Chair: Charles Zhang
How We Get There: A Context-Guided Search Strategy in Concolic Testing
Publisher's Version Preprint
Solving Complex Path Conditions through Heuristic Search on Induced Polytopes
Publisher's Version Preprint Info
Statistical Symbolic Execution with Informed Sampling
Publisher's Version Preprint
SymJS: Automatic Symbolic Testing of JavaScript Web Applications
Publisher's Version Preprint
Afternoon Break
15:10 – 15:30, Pre-function Hall
Software Documentation (Main Research)
15:30 – 16:45, Auditorium, Chairs: Jane Cleland-Huang
Selection and Presentation Practices for Code Example Summarization
Publisher's Version Preprint
Mining Idioms from Source Code
Publisher's Version Preprint
Automatic Generation of Release Notes
Publisher's Version Preprint
Web Apps (Main Research)
15:30 – 16:45, Hall 4-7, Chair: Luciano Baresi
Discovering Refactoring Opportunities in Cascading Style Sheets
Publisher's Version Preprint
SAFEWAPI: Web API Misuse Detector for Web Applications
Publisher's Version Preprint
Building Call Graphs for Embedded Client-Side Code in Dynamic Web Applications
Publisher's Version Preprint
Student Research Competition Presentations (FSE Track)
16:45 – 17:30, Auditorium
Selected contributions will be presented.
SIGSOFT Townhall Meeting
17:30 – 18:30, Pre-function Hall
Banquet
19:30 – 22:00, Laguna Palace Restaurant
Thursday, November 20, 2014
Visions and Challenges (FSE Track)
09:00 – 10:20, Auditorium
Methodology and Culture: Drivers of Mediocrity in Software Engineering?
Publisher's Version Preprint
Known Unknowns: Testing in the Presence of Uncertainty
Publisher's Version Preprint
Speculative Reprogramming
Publisher's Version Preprint
A Variability Perspective of Mutation Analysis
Publisher's Version Preprint
Mining Micro-practices from Operational Data
Publisher's Version
Achieving Lightweight Trustworthy Traceability
Publisher's Version Preprint
Software Maintenance like Maintenance in Other Engineering Disciplines
Publisher's Version
Morning Break
10:20 – 10:40, Pre-function Hall
Architecture and Design (Main Research)
10:40 – 12:20, Auditorium, Chair: James Herbsleb
Sketches and Diagrams in Practice
Publisher's Version Preprint
Architecture Challenges for Internal Software Ecosystems: A Large-Scale Industry Case Study
Publisher's Version Preprint
Variable-Specific Resolutions for Feature Interactions
Publisher's Version Preprint
An Empirical Study on Program Comprehension with Reactive Programming
Publisher's Version
Mobile Apps (Main Research)
10:40 – 12:20, Hall 4-7, Chair: Antonio Carzaniga
Apposcopy: Semantics-Based Detection of Android Malware through Static Analysis
Publisher's Version Preprint
Detecting Energy Bugs and Hotspots in Mobile Apps
Publisher's Version Preprint
EvoDroid: Segmented Evolutionary Testing of Android Apps
Publisher's Version
Prioritizing the Devices to Test Your App on: A Case Study of Android Game Apps
Publisher's Version Preprint Info
Lunch
12:20 – 13:30, Happiness Cuisine
Testing and Oracles (Main Research)
13:30 – 15:10, Auditorium, Chair: Prem Devanbu
Improving Oracle Quality by Detecting Brittle Assertions and Unused Inputs in Tests
Publisher's Version Preprint
On the Efficiency of Automated Testing
Publisher's Version Preprint
An Empirical Analysis of Flaky Tests
Publisher's Version Preprint
Are Mutants a Valid Substitute for Real Faults in Software Testing?
Publisher's Version Preprint
Evolution and Maintenance (Main Research)
13:30 – 15:10, Hall 4-7, Chair: Massimiliano Di Penta
No Issue Left Behind: Reducing Information Overload in Issue Tracking
Publisher's Version Preprint
Panning Requirement Nuggets in Stream of Software Maintenance Tickets
Publisher's Version
Learning to Rank Relevant Files for Bug Reports using Domain Knowledge
Publisher's Version Preprint
Querying Sequential Software Engineering Data
Publisher's Version Preprint
Afternoon Break
15:10 – 15:30, Pre-function Hall
Perspectives from Industry (FSE Session)
15:30 – 17:00, Auditorium, Chair: Wolfgang Emmerich
Experiences Developing Tools for Developers (Invited Talk)
Publisher's Version
Are You Getting Traction? Tales from the Tech Transfer Trenches (Invited Talk)
Publisher's Version
Data Hard with a Vengeance (Invited Talk)
Publisher's Version
Awards
17:00 – 17:15, Auditorium, Chair: Will Tracz
Ten Years with Evidence-Based Software Engineering. What Is It? Has It Had Any Impact? What’s Next? (Invited Talk) (Award Talk)
17:15 – 17:45, Auditorium, Chair: Will Tracz
Ten Years with Evidence-Based Software Engineering. What Is It? Has It Had Any Impact? What’s Next? (Invited Talk)
Publisher's Version
Closing
17:45 – 18:00, Auditorium, Chair: Shing-Chi Cheung

Time stamp: 2020-09-21T16:42:45+02:00