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

Phone Layout
No Pictures
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

Time stamp: 2020-09-27T22:05:10+02:00