Program details

Program booklet

Download the electronic version of the program booklet: PDF 1MB

Please check the list of changes as well.

ESEC/FSE - Main conference

The distinguished papers and artifact papers are marked in the program.

Wednesday, Sep 7

9:00 - 9:30	Congress hall
	Opening session Talk by Tibor Gyimóthy and Andreas Zeller
9:30 - 10:30	Congress hall
	Keynote
	Wilhelm Schäfer Building Advanced Mechatronic Systems
10:30 - 11:00	Foyer
	Coffee break
11:00 - 12:30	Congress hall
	Research track 1 - Bugs and Changes
	Session chair: Rudolf Ferenc
	Christian Bird, Nachiappan Nagappan, Brendan Murphy, Harald Gall and Premkumar Devanbu Don't Touch My Code! Examining the Effects of Ownership on Software Quality
	Rongxin Wu, Hongyu Zhang, Sunghun Kim and Shing-Chi Cheung ReLink: Recovering Links between Bugs and Changes
	Zuoning Yin, Ding Yuan, Yuanyuan Zhou, Shankar Pasupathy and Lakshmi Bairavasundaram How Do Fixes Become Bugs? -- A Comprehensive Characteristic Study on Incorrect Fixes in Commercial and Open Source Operating Systems
11:00 - 12:30	Lecture room  2
	Research track 2 - Models and Requirements
	Session chair: Martin Glinz
	Shoham Ben-David, Marsha Chechik, Arie Gurfinkel and Sebastian Uchitel CSSL: A Logic for Specifying Conditional Scenarios
	Francis Palma, Angelo Susi and Paolo Tonella Using an SMT Solver for Interactive Requirements Prioritization
	Simon Holm Jensen, Magnus Madsen and Anders Møller Modeling the HTML DOM and Browser API in Static Analysis of JavaScript Web Applications
11:00 - 12:30	Lecture room 1
	Industrial track 1 - Software Development
	Eberhard Wolff: Development and Operations - Two Worlds Collide (Keynote)
	Ilenia Fronza, Alberto Sillitti, Giancarlo Succi, Jelena Vlasenko: Does Pair Programming Increase Developers Attention?
	Csaba Nagy, Rudolf Ferenc and Tibor Bakota: A True Story of Refactoring a Large Oracle PL/SQL Banking System
12:30 - 14:00	Lecture hall
	Lunch
14:00 - 15:30	Congress hall
	Research track 3 - Empirical Studies
	Session chair: Martin Robillard
	Corey Jergensen, Anita Sarma and Patrick Wagstrom The Onion Patch: Migration in Open Source Ecosystems
	Andrew Meneely, Pete Rotella and Laurie Williams Does Adding Manpower Also Affect Quality? An Empirical, Longitudinal Analysis
	Christoph Treude and Margaret-Anne Storey Effective Communication of Software Development Knowledge Through Community Portals
14:00 - 15:30	Lecture room 2
	Research track 4 - Analysis I
	Session chair: Tibor Gyimóthy
	Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman and Sara Navidpour Proving Programs Robust
	Evan Driscoll, Amanda Burton and Thomas Reps Checking Conformance of a Producer and a Consumer
	Stelios Sidiroglou, Sasa Misailovic, Hank Hoffman and Martin Rinard Managing Performance vs. Accuracy Trade-offs With Loop Perforation
14:00 - 15:30	Lecture room 1
	Industrial track 2 - Software Systems and Services
	Satish Chandra: Productivity in IT services (Keynote)
	Omer Tripp and Omri Weisman: Hybrid Analysis for JavaScript Security Assessment
	Shin'ichi Shiraishi and Mutsumi Abe: Automotive System Development Based on Collaborative Modeling Using Multiple ADLs
15:30 - 16:00	Foyer
	Coffee break
16:00 - 17:30	Congress hall
	Research track 5 - Debugging
	Session chair: Mark Harman
	Alvin Cheung, Armando Solar-Lezama and Sam Madden Partial Replay of Long-Running Applications
	George Baah, Andy Podgurski and Mary Jean Harrold Mitigating the Confounding Effects of Program Dependences for Effective Fault Localization
	Diptikalyan Saha, Mangala Gowri Nanda, Pankaj Dhoolia, V. Krishna Nandivada, Vibha Sinha and Satish Chandra Fault Localization for Data-Centric Programs
16:00 - 17:30	Lecture room 2
	Research track 6 - Collaboration
	Session chair: Andreas Zeller
	Yuriy Brun, Reid Holmes, Michael Ernst and David Notkin Proactive Detection of Collaboration Conflicts
	Shahar Maoz, Jan Oliver Ringert and Bernhard Rumpe ADDiff: Semantic Differencing for Activity Diagrams
	Sven Apel, Jörg Liebig, Benjamin Brandl, Christian Lengauer and Christian Kaestner Semistructured Merge: Rethinking Merge in Revision Control Systems
16:00 - 17:30	Lecture room 1
	Industrial track 3 - Software Testing
	Yunho Kim, Moonzoo Kim and Yoonkyu Jang Concolic Testing on Embedded Software - Case Studies on Mobile Platform Programs
	Tuli Nivas and Christoph Csallner Managing Performance Testing With Release Certification and Data Correlation
	Shin Yoo, Robert Nilsson and Mark Harman Faster Fault Finding at Google using Multi Objective Regression Test Optimisation
19:00 - 19:30	Organ concert
20:00 -	Welcome reception

Thursday, Sep 8

9:00 - 9:45	Congress hall
	Keynote
	Gábor Szabó ELI-ALPS - The Ultrafast Challenges in Hungary
9:45 - 10:30	Congress hall
	ACM SIGSOFT Impact Paper Award
	Thomas A. Henzinger Ten Years of Interface Automata
10:30 - 11:00	Foyer
	Coffee break
11:00 - 12:30	Congress hall
	Research track 7 - Testing
	Session chair: Mauro Pezze
	Kunal Taneja, Mark Grechanik, Rayid Ghani and Tao Xie Testing Software In Age Of Data Privacy: A Balancing Act
	Mark Harman, Yue Jia and William Langdon Strong Higher Order Mutation-Based Test Data Generation
	Vilas Jagannath, Milos Gligoric, Dongyun Jin, Qingzhou Luo, Grigore Rosu and Darko Marinov Improved Multithreaded Unit Testing
11:00 - 12:30	Lecture hall
	New Ideas track 1
	Track and session chair: Martin Robillard
	Martin Robillard Introduction to the New Ideas Track
	Ohad Barzilay, Orit Hazzan, Amiram Yehudai Using Social Media to Study the Diversity of Example Usage among Professional Developers
	Raian Ali, Carlos Solis, Mazeiar Salehie, Inah Omoronyia, Bashar Nuseibeh, Walid Maalej Social Sensing: When Users Become Monitors
	Zheng Wujie, Qirun Zhang, Michael Lyu Cross-library API Recommendation using Web Search Engines
	Paul Clements, Maria Jose Escalona, Paola Inverardi, Ivano Malavolta, Eda Marchetti Exploiting Software Architecture to support Requirements satisfaction Testing
	Marco Autili, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli, Vittorio Cortellessa EAGLE: Engineering softwAre in the ubiquitous Globe by Leveraging uncErtainty
12:30 - 14:00	Lecture room 1-2
	Lunch
14:00 - 15:30	Congress hall
	Tool Demonstrations 1
	Track and session chairs: Michele Lanza and Anthony Cleve
	Gordon Fraser and Andrea Arcuri EvoSuite: Automatic Test Suite Generation for Object-Oriented Software
	Yunho Kim and Moonzoo Kim SCORE: a Scalable Concolic Testing Tool for Reliable Embedded Software
	Milos Gligoric, Sandro Badame and Ralph Johnson SMutant: A Tool for Type-Sensitive Mutation Testing
	Daiva Naudziuniene, Matko Botincan, Dino Distefano, Mike Dodds, Radu Grigore and Matthew J. Parkinson jStar-eclipse: an IDE for Automated Verification of Java Programs
	Cristina Cifuentes, Nathan Keynes, Lian Li, Nathan Hawes, Manuel Valdiviezo, Andrew Browne, Jacob Zimmermann, Andrew Craik, Douglas Teoh and Christian Hoermann Static Deep Error Checking in Large System Applications Using Parfait
	Salman Mirghasemi, John Barton and Claude Petitpierre Querypoint : Moving Backwards on Wrong Values in the Buggy Execution
	Na Meng, Miryung Kim and Kathryn Mckinley Sydit: Creating and Applying a General Program Transformation from an Example
14:00 - 15:30	Lecture hall
	New Ideas track 2
	Track and session chair: Martin Robillard
	Eric Bodden Stateful Breakpoints: A Practical Approach to Defining Parameterized Runtime Monitors
	Kivanc Muslu, Bilge Soran, Jochen Wuttke Finding Bugs by Isolating Unit Tests
	Bruno Cafeo, Joost Noppen, Fabiano Ferrari, Ruzanna Chitchyan, Awais Rashid Inferring Test Results for Dynamic Software Product Line
	Christoph Csallner, Leonidas Fegaras,  Chengkai Li Testing MapReduce-Style Programs
	Milton Inostroza, Éric Tanter, Eric Bodden Join Point Interfaces for Modular Reasoning in Aspect-Oriented Programs
	Arun R, Subhajit Roy, Srikant Y. N. Probabilistic dataflow analysis using path profiles on structure graphs
15:30 - 16:00	Foyer
	Coffee break
16:00 - 17:30	Congress hall
	Tool Demonstrations 2
	Track and session chairs: Michele Lanza and Anthony Cleve
	Yuriy Brun, Reid Holmes, Michael D. Ernst and David Notkin Crystal: Precise and Unobtrusive Conflict Warnings
	Ivan Beschastnikh, Jenny Abrahamson, Yuriy Brun and Michael D. Ernst Synoptic: Studying Logged Behavior with Inferred Models
	Andreas Demuth, Roberto E. Lopez-Herrejon and Alexander Egyed Cross-Layer Modeler - A Tool for Flexible Multilevel Modeling with Consistency Checking
	Lionel Montrieux, Michel Wermelinger and Yijun Yu Tool Support for UML-based Specification and Verification of Role-Based Access Control Properties
	Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Lionel Briand and Antonio Messina SafeSlice: A Model Slicing and Design Safety Inspection Tool for SysML
	Daniela Costache, Georg Kalus and Marco Kuhrmann Design and Validation of Feature-based Process Model Tailoring - A Sample Implementation of PDE
	Markus Lumpe, Indika Meedeniya and Lars Grunske PSPWizard: Machine-assisted Definition of Temporal Logical Properties with Specification Patterns
16:00 - 17:30	Lecture hall
	Research track 8 - Configurations
	Session chair: Wilhelm Schäfer
	Naeem Esfahani, Ehsan Kouroshfar and Sam Malek Taming Uncertainty in Self-Adaptive Software
	Xiaoxing Ma, Luciano Baresi, Carlo Ghezzi, Valerio Panzica La Manna and Jian Lu Versionconsistent Dynamic Reconfiguration of Component-based Distributed Systems
	Jérôme Vouillon and Roberto Di Cosmo On Software Component Co-Installability
20:00-
	Gala dinner
	The ESEC/FSE 2011 Gala dinner will be hosted by the University.of Szeged Congress Centre.
	Thursday, September 8, 20:00
	6722 Szeged, Ady tér 10.

Friday, Sep 9

9:00 - 10:00	Congress hall
	Keynote - ACM SIGSOFT Outstanding Research Award
	Mary Shaw, David Garlan Software Architecture: Reflections on an Evolving Discipline
10:00 - 10:30	Congress hall
	Artifact paper presentations
10:30 - 11:00	Foyer
	Coffee break
11:00 - 12:30	Congress hall
	Research track 9 - Analysis II
	Session chair: Tevfik Bultan
	Ivan Beschastnikh, Yuriy Brun, Sigurd Schneider, Michael Sloan and Michael D. Ernst Leveraging Existing Instrumentation to Automatically Infer Invariant-Constrained Models
	Dawei Qi, Hoang D.T. Nguyen and Abhik Roychoudhury Path Exploration based on Symbolic Output
	Rishabh Singh and Armando Solar-Lezama Synthesizing Data-structure Manipulations from Storyboards
11:00 - 12:30	Lecture hall
	Research track 10 - Defects
	Session chair: Rudolf Ferenc
	Emad Shihab, Audris Mockus, Yasutaka Kamei, Bram Adams and Ahmed E. Hassan High-Impact Defects: A Study of Breakage and Surprise Defects
	Taek Lee, Jaechang Nam, Donggyun Han, Sunghun Kim and Hoh Peter In Micro Interaction Metrics for Defect Prediction
	Foyzur Rahman, Daryl Posnett, Abram Hindle, Earl Barr and Premkumar Devanbu BugCache for Inspections : Hit or Miss?
12:30 - 14:00	Lecture room 1-2
	Lunch
14:00 - 14:30	Congress hall
	PhD Working Groups - presentations
	Track and session chair: Arpad Beszedes
14:30 - 15:30	Exhibition area
	Informal Tool Demonstrations
	Track and session chairs: Michele Lanza and Anthony Cleve
	Posters
	Track and session chair: Martin Robillard
	PhD Working Groups – demonstrations
	Track and session chair: Arpad Beszedes
15:30 - 16:00	Foyer
	Coffee break
16:00 - 17:00	Congress hall
	Research track 11 - Analysis III
	Session chair: Mark Harman
	Brian Hackett and Alex Aiken Inferring Data Polymorphism in Systems Code
	Lian Li, Cristina Cifuentes and Nathan Keynes Boosting the Performance of Flow-sensitive Pointsto Analysis using Value Flow
16:00 - 17:00	Lecture hall
	Research track 12 - Mining
	Session chair: Prem Devanbu
	Fabian Beck and Stephan Diehl On the Congruence of Modularity and Code Coupling
	Ahmed Tamrawi, Tung Nguyen, Jafar Al-Kofahi and Tien Nguyen Fuzzy Set and Cache-based Approach for Bug Triaging
17:00 - 17:30	Congress hall
	Closing session

Workshops and Co-located events

SSBSE (September 10-12) program: http://www.ssbse.org/2011/program.html

IWPSE-Evol (September 5-6) program: http://pleiad.cl/iwpse-evol/program.html

PASTE (September 5) program: http://sites.google.com/site/paste2011/topics

WoSQ (September 4) program: https://sites.google.com/site/wosq2011/program

ASAS (September 4) program: http://asas.dei.uc.pt/?action=programme

SSE (September 5) program: http://www1.in.tum.de/static/sse11/index.php/agenda

WebQUeST (September 6) program: https://researcher.ibm.com/researcher/view_page.php?id=2547

ESEC/FSE - Doctoral Symposium, Technical Briefings

Monday, Sep 5 - Doctoral Symposium

Tuesday, Sep 6 - Technical Briefings

ESEC/FSE - PhD Working Groups