Build Your Own Model Checker in One Month

Jin Song Dong, Jun Sun, and Yang Liu (National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore)

Data Science for Software Engineering

Tim Menzies, Ekrem Kocaguneli, Fayola Peters, Burak Turhan, and Leandro L. Minku (West Virginia University, USA; University of Oulu, Finland; University of Birmingham, UK)

Automated Testing of GUI Applications: Models, Tools, and Controlling Flakiness

Atif M. Memon and Myra B. Cohen (University of Maryland, USA; University of Nebraska-Lincoln, USA)

Developing Verified Programs with Dafny

K. Rustan M. Leino (Microsoft Research, USA)

Software Analytics: Achievements and Challenges

Dongmei Zhang and Tao Xie (Microsoft Research, China; North Carolina State University, USA)

A Study of Variability Spaces in Open Source Software

Sarah Nadi (University of Waterloo, Canada)

Implementing Database Access Control Policy from Unconstrained Natural Language Text

John Slankas (North Carolina State University, USA)

Increasing Anomaly Handling Efficiency in Large Organizations using Applied Machine Learning

Leif Jonsson (Ericsson, Sweden; Linköping University, Sweden)

Analyzing the Change-Proneness of Service-Oriented Systems from an Industrial Perspective

Daniele Romano (TU Delft, Netherlands)

Supporting Maintenance Tasks on Transformational Code Generation Environments

Victor Guana (University of Alberta, Canada)

An Approach to Documenting and Evolving Architectural Design Decisions

Meiru Che (University of Texas at Austin, USA)

An Observable and Controllable Testing Framework for Modern Systems

Tingting Yu (University of Nebraska-Lincoln, USA)

Toward a Software Product Line for Affective-Driven Self-Adaptive Systems

Javier Gonzalez-Sanchez (Arizona State University, USA)

Normalizing Source Code Vocabulary to Support Program Comprehension and Software Quality

Latifa Guerrouj (Polytechnique Montréal, Canada)

Integrating Systematic Exploration, Analysis, and Maintenance in Software Development

Kıvanç Muşlu (University of Washington, USA) Fostering Software Quality Assessment Martin Brandtner (University of Zurich, Switzerland)

A Framework for Self-Healing Software Systems

Nicolò Perino (University of Lugano, Switzerland)

Building High Assurance Secure Applications using Security Patterns for Capability-Based Platforms

Paul Rimba (NICTA, Australia; UNSW, Australia)

Systematically Selecting a Software Module during Opportunistic Reuse

Naveen Kulkarni (IIIT Hyderabad, India)

Informing Development Decisions: From Data to Information Olga Baysal (University of Waterloo, Canada) Understanding and Simulating Software Evolution

Zhongpeng Lin (UC Santa Cruz, USA)

An Ontology Toolkit for Problem Domain Concept Location in Program Comprehension

Nuno Ramos Carvalho (University of Minho, Portugal)

Measuring the Forensic-Ability of Audit Logs for Nonrepudiation

Jason King (North Carolina State University, USA)

SNIPR: Complementing Code Search with Code Retargeting Capabilities

Huascar Sanchez (UC Santa Cruz, USA)

A Hands-On Java PathFinder Tutorial

Peter Mehlitz, Neha Rungta, and Willem Visser (NASA Ames Research Center, USA; Stellenbosch University, South Africa)

Software Metrics: Pitfalls and Best Practices

Eric Bouwers, Arie van Deursen, and Joost Visser (Software Improvement Group, Netherlands; TU Delft, Netherlands; Radboud University Nijmegen, Netherlands)

Specifying Effective Non-functional Requirements

John Terzakis (Intel, USA)

Are Software Patents Bad? (Keynote)

Pamela Samuelson (UC Berkeley, USA)

Pamela Samuelson is recognized as a pioneer in digital copyright law, intellectual property, cyberlaw and information policy. She has written and spoken extensively about the challenges that new information technologies are posing for public policy and traditional legal regimes. Since 1996, she has held a joint appointment with the Berkeley Law School and the School of Information. She is the director of the Berkeley Center for Law and Technology, serves on the board of directors of the Electronic Frontier Foundation and the Electronic Privacy Information Center, and on advisory boards for the Public Knowledge, and the Berkeley Center for New Media. She is also an advisor for the Samuelson Law, Technology, and Public Policy Clinic. Since 2002, she has also been an honorary professor at the University of Amsterdam.

Automatic Synthesis of Modular Connectors via Composition of Protocol Mediation Patterns

Paola Inverardi and Massimo Tivoli (University of L’Aquila, Italy)

Observable Modified Condition/Decision Coverage

Michael Whalen, Gregory Gay, Dongjiang You, Mats P. E. Heimdahl, and Matt Staats (University of Minnesota, USA; KAIST, South Korea)

Robust Reconfigurations of Component Assemblies

Fabienne Boyer, Olivier Gruber, and Damien Pous (Université Joseph Fourier, France; CNRS, France)

Creating a Shared Understanding of Testing Culture on a Social Coding Site

Raphael Pham, Leif Singer, Olga Liskin, Fernando Figueira Filho, and Kurt Schneider (Leibniz Universität Hannover, Germany; UFRN, Brazil)

Drag-and-Drop Refactoring: Intuitive and Efficient Program Transformation

Yun Young Lee, Nicholas Chen, and Ralph E. Johnson (University of Illinois at Urbana-Champaign, USA)

Billions and Billions of Constraints: Whitebox Fuzz Testing in Production

Ella Bounimova, Patrice Godefroid, and David Molnar (Microsoft Research, USA)

Detecting Spurious Counterexamples Efficiently in Abstract Model Checking

Cong Tian and Zhenhua Duan (Xidian University, China)

Eliminative Induction: A Basis for Arguing System Confidence

John B. Goodenough, Charles B. Weinstock, and Ari Z. Klein (SEI, USA)

Segmented Symbolic Analysis

Wei Le (Rochester Institute of Technology, USA)

Exploring the Internal State of User Interfaces by Combining Computer Vision Techniques with Grammatical Inference

Paul Givens, Aleksandar Chakarov, Sriram Sankaranarayanan, and Tom Yeh (University of Colorado at Boulder, USA)

Explicating Symbolic Execution (xSymExe): An Evidence-Based Verification Framework

John Hatcliff, Robby, Patrice Chalin, and Jason Belt (Kansas State University, USA)

Semantic Smells and Errors in Access Control Models: A Case Study in PHP

François Gauthier and Ettore Merlo (Polytechnique Montréal, Canada)

Practical Semantic Test Simplification

Sai Zhang (University of Washington, USA)

Technical Debt: Past, Present, and Future (Panel)

Steven Fraser, Judith Bishop, Barry Boehm, Pradeep Kathail, Philippe Kruchten, Ipek Ozkaya, and Alexandra Szynkarski (Cisco Systems, USA; Microsoft Research, USA; University of Southern California, USA; University of British Columbia, Canada; SEI, USA; CAST, USA)

Understanding Regression Failures through Test- Passing and Test-Failing Code Changes

Roykrong Sukkerd, Ivan Beschastnikh, Jochen Wuttke, Sai Zhang, and Yuriy Brun (University of Washington, USA; University of Massachusetts, USA)

Managing Non-functional Uncertainty via Model-Driven Adaptivity

Carlo Ghezzi, Leandro Sales Pinto, Paola Spoletini, and Giordano Tamburrelli (Politecnico di Milano, Italy; Università dell’Insubria, Italy)

Aluminum: Principled Scenario Exploration through Minimality

Tim Nelson, Salman Saghafi, Daniel J. Dougherty, Kathi Fisler, and Shriram Krishnamurthi (Worcester Polytechnic Institute, USA; Brown University, USA)

GuideArch: Guiding the Exploration of Architectural Solution Space under Uncertainty

Naeem Esfahani, Sam Malek, and Kaveh Razavi (George Mason University, USA)

Counter Play-Out: Executing Unrealizable Scenario-Based Specifications

Shahar Maoz and Yaniv Sa’ar (Tel Aviv University, Israel; Weizmann Institute of Science, Israel)

Coupling Software Architecture and Human Architecture for Collaboration-Aware System Adaptation

Christoph Dorn and Richard N. Taylor UC Irvine, USA)

Unifying FSM-Inference Algorithms through Declarative Specification

Ivan Beschastnikh, Yuriy Brun, Jenny Abrahamson, Michael D. Ernst, and Arvind Krishnamurthy (University of Washington, USA; University of Massachusetts, USA)

Learning Revised Models for Planning in Adaptive Systems

Daniel Sykes, Domenico Corapi, Jeff Magee, Jeff Kramer, Alessandra Russo, and Katsumi Inoue (Imperial College London, UK; National Institute of Informatics, Japan)

What Good Are Strong Specifications?

Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, and Bertrand Meyer (ETH Zurich, Switzerland; ITMO National Research University, Russia)

Feedback-Directed Unit Test Generation for C/C++ using Concolic Execution

Pranav Garg, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, and Aarti Gupta (University of Illinois at Urbana- Champaign, USA; NEC Labs, USA; NEC, Japan)

Scaling Agile Methods to Regulated Environments: An Industry Case Study

Brian Fitzgerald, Klaas-Jan Stol, Ryan O’Sullivan, and Donal O’Brien (Lero, Ireland; University of Limerick, Ireland; QUMAS, Ireland)

A Learning-Based Method for Combining Testing Techniques

Domenico Cotroneo, Roberto Pietrantuono, and Stefano Russo (Università di Napoli Federico II, Italy; Lab CINI-ITEM Carlo Savy, Italy)

Agility at Scale: Economic Governance, Measured Improvement, and Disciplined Delivery

Alan W. Brown, Scott Ambler, and Walker Royce (University of Surrey, UK; Ambler and Associates, Canada; IBM, USA)

Human Performance Regression Testing

Amanda Swearngin, Myra B. Cohen, Bonnie E. John, and Rachel K. E. Bellamy (University of Nebraska-Lincoln, USA; IBM Research, USA)

Distributed Development Considered Harmful?

Ekrem Kocaguneli, Thomas Zimmermann, Christian Bird, Nachiappan Nagappan, and Tim Menzies University, USA; Microsoft Research, USA) (West Virginia

Guided Test Generation for Web Applications

Suresh Thummalapenta, K. Vasanta Lakshmi, Saurabh Sinha, Nishant Sinha, and Satish Chandra (IBM Research, India; Indian Institute of Science, India; IBM Research, USA)

Authentic Assessment in Software Engineering Education Based on PBL Principles: A Case Study in the Telecom Market

Simone C. dos Santos and Felipe S. F. Soares (UFPE, Brazil; Recife Center of Advanced Studies and Systems, Brazil)

Temporal Code Completion and Navigation

Yun Young Lee, Sam Harwell, Sarfraz Khurshid, and Darko Marinov (University of Illinois at Urbana-Champaign, USA; University of Texas at Austin, USA)

Studios in Software Engineering Education: Towards an Evaluable Model

Christopher N. Bull, Jon Whittle, and Leon Cruickshank (Lancaster University, UK)

Situational Awareness: Personalizing Issue Tracking Systems

Olga Baysal, Reid Holmes, and Michael W. Godfrey (University of Waterloo, Canada)

Enabling a Classroom Design Studio with a Collaborative Sketch Design Tool

Dastyni Loksa, Nicolas Mangano, Thomas D. LaToza, and André van der Hoek (UC Irvine, USA)

GROPG: A Graphical On-Phone Debugger

Tuan Anh Nguyen, Christoph Csallner, and Nikolai Tillmann (University of Texas at Arlington, USA; Microsoft Research, USA)

A Framework to Evaluate Software Engineering Student Contests: Evaluation and Integration with Academic Programs

Amir Zeid (American University of Kuwait, Kuwait)

Why Did This Code Change?

Sarah Rastkar and Gail C. Murphy (University of British Columbia, Canada)

Deciphering the Story of Software Development through Frequent Pattern Mining Nicolas Bettenburg and Andrew Begel

(Queen's University, Canada; Microsoft Research, USA)

Supporting Incremental Programming with Ghosts

Oscar Callaú (University of Chile, Chile)

Novice Understanding of Program Analysis Tool Notifications

Brittany Johnson (North Carolina State University, USA)

Energy Aware Self-Adaptation in Mobile Systems

Luca Ardito (Politecnico di Torino, Italy)

ConfDiagnoser: An Automated Configuration Error Diagnosis Tool for Java Software

Sai Zhang (University of Washington, USA)

Reproducing and Debugging Field Failures in House

Wei Jin (Georgia Tech, USA)

Fault Comprehension for Concurrent Programs

Sangmin Park (Georgia Tech, USA)

A Proposal for the Improvement of Project’s Cost Predictability using EVM and Historical Data of Cost

Adler Diniz de Souza (UFRJ, Brazil)

Studying the Effect of Co-change Dispersion on Software Quality

Ehsan Kouroshfar (George Mason University, USA)

A Roadmap for Software Maintainability Measurement

Juliana Saraiva (UFPE, Brazil)

Reasoning with Qualitative Preferences to Develop Optimal Component-Based Systems

Zachary J. Oster (Iowa State University, USA)

From Models to Code and Back: Correct-by-Construction Code from UML and ALF

Federico Ciccozzi (Mälardalen University, Sweden)

Mitigating the Obsolescence of Specification Models of Service-Based Systems

Romina Torres (Federico Santa María Technical University, Chile)

Decision Theoretic Requirements Prioritization: A Two-Step Approach for Sliding towards Value Realization

Nupul Kukreja (University of Southern California, USA)

Changeset Based Developer Communication to Detect Software Failures

Braden Simpson (University of Victoria, Canada)

Identifying Failure Inducing Developer Pairs within Developer Networks

Jordan Ell (University of Victoria, Canada)

On Identifying User Complaints of iOS Apps

Hammad Khalid (Queen’s University, Canada)

TySON - Truck Spot Occupancy Navigator

Marcel Hahn, Alexander Jahl, Tobias Röttger and Kassem Tohme (University of Kassel, Germany)

Travel n Study

Branimir Lochert, Alessandro Sisto, Milan Čop, Daniele Rogora, Katarina Sekula, Javier Hualpa (University of Zagreb, Croatia, and Politecnico di Milano, Italy)

pTrack: A Software System of Integrating Daily Footprints on Multiple Social Network Systems

Dan Han, Jiangwei Yu, Xingkai Li and Haiming Wang (University of Alberta, Canada)

RERAN: Timing- and Touch-Sensitive Record and Replay for Android

Lorenzo Gomez, Iulian Neamtiu, Tanzirul Azim, and Todd Millstein (UC Los Angeles, USA; UC Riverside, USA)

Comparing Multi-point Stride Coverage and Dataflow Coverage

Mohammad Mahdi Hassan and James H. Andrews (University of Western Ontario, Canada)

Inferring Likely Mappings between APIs

Amruta Gokhale, Vinod Ganapathy, and Yogesh Padmanaban (Rutgers University, USA)

ACM SIGSOFT Distinguished Paper

Interaction-Based Test-Suite Minimization

Dale Blue, Itai Segall, Rachel Tzoref-Brill, and Aviad Zlotnick (IBM, USA; IBM Research, Israel)

Estimating Mobile Application Energy Consumption using Program Analysis

Shuai Hao, Ding Li, William G. J. Halfond, and Ramesh Govindan (University of Southern California, USA)

Bridging the Gap between the Total and Additional Test-Case Prioritization Strategies

Lingming Zhang, Dan Hao, Lu Zhang, Gregg Rothermel, and Hong Mei (Peking University, China; University of Texas at Austin, USA; University of Nebraska-Lincoln, USA)

Comparative Causality: Explaining the Differences between Executions

William N. Sumner and Xiangyu Zhang (Purdue University, USA)

Evaluating Usefulness of Software Metrics: An Industrial Experience Report

Eric Bouwers, Arie van Deursen, and Joost Visser (Software Improvement Group, Netherlands; TU Delft, Netherlands; Radboud University Nijmegen, Netherlands)

Automatic Testing of Sequential and Concurrent Substitutability

Michael Pradel and Thomas R. Gross (ETH Zurich Switzerland)

Reducing Human Effort and Improving Quality in Peer Code Reviews using Automatic Static Analysis and Reviewer Recommendation

Vipin Balachandran (VMware, India)

ACM SIGSOFT Distinguished Paper

Data Clone Detection and Visualization in Spreadsheets

Felienne Hermans, Ben Sedee, Martin Pinzger, and Arie van Deursen (TU Delft, Netherlands)

Estimating Software-Intensive Projects in the Absence of Historical Data

Aldo Dagnino (ABB Research, USA)

Measuring Architecture Quality by Structure Plus History Analysis

Robert Schwanke, Lu Xiao, and Yuanfang Cai (Siemens, USA; Drexel University, USA)

An Evaluation of Interactive Test-Driven Labs with WebIDE in CS0

David S. Janzen, John Clements, and Michael Hilton (Cal Poly, USA)

Obtaining Ground-Truth Software Architectures

Joshua Garcia, Ivo Krka, Chris Mattmann, and Nenad Medvidovic (University of Southern California, USA; Jet Propulsion Laboratory, USA)

POPT: A Problem-Oriented Programming and Testing Approach for Novice Students

Vicente Lustosa Neto, Roberta Coelho, Larissa Leite, Dalton S. Guerrero, and Andrea P. Mendonça (UFRN, Brazil; UFCG, Brazil; IFAM, Brazil)

MIDAS: A Design Quality Assessment Method for Industrial Software

Ganesh Samarthyam, Girish Suryanarayana, Tushar Sharma, and Shrinath Gupta (Siemens, India)

Teaching Developer Skills in the First Software Engineering Course

Václav Rajlich (Wayne State University, USA)

Teaching and Learning Programming and Software Engineering via Interactive Gaming

Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Sumit Gulwani, and Judith Bishop (Microsoft Research, USA; North Carolina State University, USA)

On Extracting Unit Tests from Interactive Live Programming Sessions

Adrian Kuhn (University of British Columbia, Canada)

Towards Automated Testing and Fixing of Re-engineered Feature Models

Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, and Yves Le Traon Luxembourg; University of Namur, Belgium)

Computational Alignment of Goals and Scenarios for Complex Systems

Dalal Alrajeh, Alessandra Russo, James Lockerbie, Neil Maiden, Alistair Mavin, and Mark Novak London, UK; City University London, UK; Rolls Royce, UK; Aero Engine Controls, UK)

Service Networks for Development Communities

Damian A. Tamburri, Patricia Lago, and Hans van Vliet (VU University Amsterdam, Netherlands)

Formal Specifications Better Than Function Points for Code Sizing

(Imperial College Mark Staples, Rafal Kolanski, Gerwin Klein, Corey Lewis, June Andronick, Toby Murray, Ross Jeffery, and Len Bass (NICTA, Australia)

Using Mutation Analysis for a Model-Clone Detector Comparison Framework

Matthew Stephan, Manar H. Alalfi, Andrew Stevenson, and James R. Cordy (Queen’s University, Canada)

On the Relationships between Domain-Based Coupling and Code Clones: An Exploratory Study

Md Saidur Rahman, Amir Aryani, Chanchal K. Roy, and Fabrizio Perin (University of Saskatchewan, Canada; Australian National University, Australia; University of Bern, Switzerland)

Quantitative Program Slicing: Separating Statements by Relevance

Raul Santelices, Yiji Zhang, Siyuan Jiang, Haipeng Cai, and Ying-Jie Zhang (University of Notre Dame, USA; Tsinghua University, China)

Example-Driven Modeling: Model = Abstractions + Examples

Kacper Bąk, Dina Zayan, Krzysztof Czarnecki, Michał Antkiewicz, Zinovy Diskin, Andrzej Wąsowski, and Derek Rayside (University of Waterloo, Canada; IT University of Copenhagen, Denmark)

Towards Recognizing and Rewarding Efficient Developer Work Patterns

Will Snipes, Vinay Augustine, Anil R. Nair, and Emerson Murphy-Hill (ABB Research, USA; ABB Research, India; North Carolina State University, USA)

Selecting Checkpoints along the Time Line: A Novel Temporal Checkpoint Selection Strategy for Monitoring a Batch of Parallel Business Processes

Xiao Liu, Yun Yang, Dahai Cao, and Dong Yuan (East China Normal University, China; Swinburne University of Technology, Australia)

• Distinguished Service Award
• Influential Educator Award
• Outstanding Research Award
• Impact Paper Award
• ACM Fellows
• Distinguished Members
• Senior Members

The Connection between Movie Making and Software Development (Keynote)

Tony DeRose (Pixar Research Group, USA)

Tony DeRose is currently a Senior Scientist and lead of the Research Group at Pixar Animation Studios. He received a BS in Physics in from the University of California, Davis, and a Ph.D. in Computer Science from the University of California, Berkeley. From 1986 to 1995 Dr. DeRose was a Professor of Computer Science and Engineering at the University of Washington. In 1998, he was a major contributor to the Oscar (c) winning short film "Geri’s game", in 1999 he received the ACM SIGGRAPH Computer Graphics Achievement Award, and in 2006 he received a Scientific and Technical Academy Award (c) for his work on surface representations. In addition to his research interests, Tony is also involved in a number of initiatives to help make math, science, and engineering education more inspiring and relevant for middle and high school students. One such initiative is the Young Makers Program (youngmakers.org) that supports youth in building ambitious hands-on projects of their own choosing.

Partition-Based Regression Verification

Marcel Böhme, Bruno C. d. S. Oliveira, and Abhik Roychoudhury (National University of Singapore, Singapore)

ACM SIGSOFT Distinguished Paper

Assisting Developers of Big Data Analytics Applications When Deploying on Hadoop Clouds

Weiyi Shang, Zhen Ming Jiang, Hadi Hemmati, Bram Adams, Ahmed E. Hassan, and Patrick Martin (Queen’s University, Canada; Polytechnique Montréal, Canada)

Automated Diagnosis of Software Configuration Errors

Sai Zhang and Michael D. Ernst (University of Washington, USA)

Broken Sets in Software Repository Evolution

Jérôme Vouillon and Roberto Di Cosmo (University of Paris Diderot, France; CNRS, France; INRIA, France)

Detecting Deadlock in Programs with Data- Centric Synchronization

Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, and Jan Vitek (Symantec Research Labs, USA; Saarland University, Germany; IBM Research, USA; University of Waterloo, Canada; Purdue University, USA)

Boa: A Language and Infrastructure for Analyzing Ultra-Large-Scale Software Repositories

Robert Dyer, Hoan Anh Nguyen, Hridesh Rajan, and Tien N. Nguyen (Iowa State University, USA)

LASE: Locating and Applying Systematic Edits by Learning from Examples

Na Meng, Miryung Kim, and Kathryn S. McKinley (University of Texas at Austin, USA; Microsoft Research, USA)

Liberating Pair Programming Research from the Oppressive Driver/Observer Regime

Stephan Salinger, Franz Zieris, and Lutz Prechelt (Freie Universität Berlin, Germany)

Search-Based Genetic Optimization for Deployment and Reconfiguration of Software in the Cloud

Sören Frey, Florian Fittkau, and Wilhelm Hasselbring (Kiel University, Germany)

Pricing Crowdsourcing-Based Software Development Tasks

Ke Mao, Ye Yang, Mingshu Li, and Mark Harman (ISCAS, China; UCAS, Cina; University College London, UK)

How to Effectively Use Topic Models for Software Engineering Tasks? An Approach Based on Genetic Algorithms

Annibale Panichella, Bogdan Dit, Rocco Oliveto, Massimiliano Di Penta, Denys Poshyvanyk, and Andrea De Lucia (University of Salerno, Italy; College of William and Mary, USA; University of Molise, Italy; University of Sannio, Italy)

Building Test Suites in Social Coding Sites by Leveraging Drive-By Commits

Raphael Pham, Leif Singer, and Kurt Schneider (Leibniz Universität Hannover, Germany)

Supporting Application Development with Structured Queries in the Cloud

Michael Smit, Bradley Simmons, Mark Shtern, and Marin Litoiu (York University, Canada)

Pathways to Technology Transfer and Adoption: Achievements and Challenges (Mini-Tutorial)

Dongmei Zhang and Tao Xie (Microsoft Research, China; North Carolina State University, USA)

Hunting for Smells in Natural Language Tests

Benedikt Hauptmann, Maximilian Junker, Sebastian Eder, Lars Heinemann, Rudolf Vaas, and Peter Braun (TU Munich, Germany; CQSE, Germany; Munich Re, Germany; Validas, Germany)

All student registrations to the main ICSE 2013 conference are invited to the Student-Industry Lunch on Thursday May 24. Students, look for signs to the location of this lunch! Your student registration to the main conference is your ticket to entry. This lunch provides students with an opportunity to interact with multiple industrial participants from the conference sponsors. Students, come with your questions about what working in industry is really like and what opportunities exist. Come and get industrial perspectives on your research. Come. Connect. Participate!

The Design of Bug Fixes

Emerson Murphy-Hill, Thomas Zimmermann, Christian Bird, and Nachiappan Nagappan (North Carolina State University, USA; Microsoft Research, USA)

Green Streams for Data-Intensive Software

Thomas W. Bartenstein and Yu David Liu (SUNY Binghamton, USA)

PorchLight: A Tag-Based Approach to Bug Triaging

Gerald Bortis and André van der Hoek (UC Irvine, USA)

Dynamic Synthesis of Local Time Requirement for Service Composition

Tian Huat Tan, Étienne André, Jun Sun, Yang Liu, Jin Song Dong, and Manman Chen (National University of Singapore, Singapore; Université Paris 13, France; CNRS, France; Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore)

Expositor: Scriptable Time-Travel Debugging with First-Class Traces

Yit Phang Khoo, Jeffrey S. Foster, and Michael Hicks (University of Maryland, USA)

Supporting Swift Reaction: Automatically Uncovering Performance Problems by Systematic Experiments

Alexander Wert, Jens Happe, and Lucia Happe (KIT, Germany; SAP Research, Germany)

Chronicler: Lightweight Recording to Reproduce Field Failures

Jonathan Bell, Nikhil Sarda, and Gail Kaiser (Columbia University, USA)

Toddler: Detecting Performance Problems via Similar Memory-Access Patterns

Adrian Nistor, Linhai Song, Darko Marinov, and Shan Lu (University of Illinois at Urbana-Champaign, USA; University of Wisconsin-Madison, USA)

How, and Why, Process Metrics Are Better

Foyzur Rahman and Premkumar Devanbu (UC Davis, USA)

User Involvement in Software Evolution Practice: A Case Study

Dennis Pagano and Bernd Brügge (TU Munich, Germany)

The Role of Domain Knowledge and Cross- Functional Communication in Socio-Technical Coordination

Daniela Damian, Remko Helms, Irwin Kwan, Sabrina Marczak, and Benjamin Koelewijn (University of Victoria, Canada; Utrecht University, Netherlands; Oregon State University, USA; PUCRS, Brazil)

SEIP Best Paper

A Characteristic Study on Failures of Production Distributed Data-Parallel Programs

Sihan Li, Hucheng Zhou, Haoxiang Lin, Tian Xiao, Haibo Lin, Wei Lin, and Tao Xie (North Carolina State University, USA; Microsoft Research, China; Tsinghua University, China; Microsoft Bing, China; Microsoft Bing, USA)

ACM SIGSOFT Distinguished Paper

Dual Ecological Measures of Focus in Software Development

Daryl Posnett, Raissa D’Souza, Premkumar Devanbu, and Vladimir Filkov (UC Davis, USA)

Is Time-Zone Proximity an Advantage for Software Development? The Case of the Brazilian IT Industry

Rafael Prikladnicki and Erran Carmel (PUCRS Brazil; American University, USA)

Not Going to Take This Anymore: Multi-objective Overtime Planning for Software Engineering Projects

Filomena Ferrucci, Mark Harman, Jian Ren, and Federica Sarro (University of Salerno, Italy; University College London, UK)

A Study of Enabling Factors for Rapid Fielding: Combined Practices to Balance Speed and Stability

Stephany Bellomo, Robert L. Nord, and Ipek Ozkaya (SEI, USA)

Town Hall Discussion of SE 2004 Revisions (Panel)

Mark Ardis, David Budgen, Gregory W. Hislop, Jeff Offutt, Mark Sebern, and Willem Visser (Stevens Institute of Technology, USA; Durham University, UK; Drexel University, USA; George Mason University, USA; Milwaukee School of Engineering, USA; Stellenbosch University, South Africa)

LAMBDAFICATOR: From Imperative to Functional Programming through Automated Refactoring

Lyle Franklin, Alex Gyori, Jan Lahoda, and Danny Dig (Ball State University, USA; Politehnica University of Timisoara, Romania; Oracle, Czech Republic; University of Illinois at Urbana-Champaign, USA)

JITTAC: A Just-in-Time Tool for Architectural Consistency

Jim Buckley, Sean Mooney, Jacek Rosik, and Nour Ali (University of Limerick, Ireland; Lero, Ireland; University of Brighton, UK)

Seahawk: Stack Overflow in the IDE

Luca Ponzanelli, Alberto Bacchelli, and Michele Lanza (University of Lugano, Switzerland)

DRC: A Detection Tool for Dangling References in PHP-Based Web Applications

Hung Viet Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, and Tien N. Nguyen (Iowa State University, USA)

TestEvol: A Tool for Analyzing Test-Suite Evolution

Leandro Sales Pinto, Saurabh Sinha, and Alessandro Orso (Politecnico di Milano, Italy; IBM Research, India; Georgia Tech, USA)

Query Quality Prediction and Reformulation for Source Code Search: The Refoqus Tool

Sonia Haiduc, Giuseppe De Rosa, Gabriele Bavota, Rocco Oliveto, Andrea De Lucia, and Andrian Marcus (Wayne State University, USA; University of Salerno, Italy; University of Molise, Italy)

A Large Scale Linux-Kernel Based Benchmark for Feature Location Research

Zhenchang Xing, Yinxing Xue, and Stan Jarzabek (Nanyang Technological University, Singapore; National University of Singapore, Singapore)

NavClus: A Graphical Recommender for Assisting Code Exploration

Seonah Lee, Sungwon Kang, and Matt Staats (KAIST, South Korea)

Bottom-Up Model-Driven Development

Hamid Bagheri and Kevin Sullivan (University of Virginia, USA)

An Approach for Restructuring Text Content

Lerina Aversano, Gerardo Canfora, Giuseppe De Ruvo, and Maria Tortorella (University of Sannio, Italy)

A Case for Human-Driven Software Development

Emilie Balland, Charles Consel, Bernard N’Kaoua, and Hélène Sauzéon (University of Bordeaux, France; INRIA, France)

A Framework for Managing Cloned Product Variants

Julia Rubin and Marsha Chechik

Sketching Software in the Wild

(IBM Research, Israel; University of Toronto, Canada) David Socha and Josh Tenenberg (University of Washington, USA)

Does Bug Prediction Support Human Developers? Findings from a Google Case Study

Chris Lewis, Zhongpeng Lin, Caitlin Sadowski, Xiaoyan Zhu, Rong Ou, and E. James Whitehead Jr. (UC Santa Cruz, USA; Google, USA; Xi’an Jiaotong University, China)

Departures from Optimality: Understanding Human Analyst’s Information Foraging in Assisted Requirements Tracing

Nan Niu, Anas Mahmoud, Zhangji Chen, and Gary Bradshaw (Mississippi State University, USA)

Transfer Defect Learning

Jaechang Nam, SinnoJialin Pan, and Sunghun Kim (Hong Kong University of Science and Technology, China; Institute for Infocomm Research, Singapore)

Analysis of User Comments: An Approach for Software Requirements Evolution

Laura V. Galvis Carreño and Kristina Winbladh (University of Delaware, USA)

It’s Not a Bug, It’s a Feature: How Misclassification Impacts Bug Prediction

Kim Herzig, Sascha Just, and Andreas Zeller (Saarland University, Germany)

Requirements Modelling by Synthesis of Deontic Input-Output Automata

Emmanuel Letier and William Heaven (University College London, UK)

Beyond Boolean Product-Line Model Checking: Dealing with Feature Attributes and Multi- features

Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, and Axel Legay (University of Namur, Belgium; IRISA, France; INRIA, France; University of Liège, Belgium)

JST: An Automatic Test Generation Tool for Industrial Java Applications with Strings

Indradeep Ghosh, Nastaran Shafiei, Guodong Li, and Wei-Fan Chiang (Fujitsu Labs, USA; York University, Canada; University of Utah, USA)

Strategies for Product-Line Verification: Case Studies and Experiments

Sven Apel, Alexander von Rhein, Philipp Wendler, Armin Größlinger, and Dirk Beyer (University of Passau, Germany)

Efficient and Change-Resilient Test Automation: An Industrial Case Study

Suresh Thummalapenta, Pranavadatta Devaki, Saurabh Sinha, Satish Chandra, Sivagami Gnanasundaram, Deepa D. Nagaraj, and Sampathkumar Sathishkumar (IBM Research, India; IBM Research, USA; IBM, India)

On the Value of User Preferences in Search-Based Software Engineering: A Case Study in Software Product Lines

Abdel Salam Sayyad, Tim Menzies, and Hany Ammar (West Virginia University, USA)

Automatic Detection of Performance Deviations in the Load Testing of Large Scale Systems

Haroon Malik, Hadi Hemmati, and Ahmed E. Hassan (Queen’s University, Canada; University of Waterloo, Canada)

Teaching Students Global Software Engineering Skills using Distributed Scrum

Maria Paasivaara, Casper Lassenius, Daniela Damian, PetteriRäty, and Adrian Schröter (AaltoUniversity,Finland; University of Victoria, Canada)

Presentations by the finalists from the Wednesday SRC poster session.

Teaching Software Process Modeling

Marco Kuhrmann, Daniel Méndez Fernández, and Jürgen Münch (TU Munich, Germany; University of Helsinki, Finland)

Industry Involvement in ICT Curriculum: A Comparative Survey

Chris J. Pilgrim (Swinburne University of Technology, Australia)

Vulnerability of the Day: Concrete Demonstrations for Software Engineering Undergraduates

Andrew Meneely and Samuel Lucidi (Rochester Institute of Technology, USA)

Our banquet will be on a cruise of beautiful San Francisco Bay (http://www.hornblower.com/home/sf). We need to complete boarding by 19:00, so please be there at 18:45. There will be a champagne reception, followed at 20:00 by a two-hour cruise toward the Golden Gate Bridge. The banquet features a buffet with a carving station, Thai dishes, pasta and desserts. After dinner, enjoy DJ music, dancing and drinks, with return around 22:00. (As Mark Twain supposedly said, “The coldest winter I ever spent was a summer in San Francisco.” Please plan for chilly air on the cruise.)

Awards to be presented:

• 2013 IEEE TCSE Distinguished Educator Award
• 2013 IEEE TCSE Distinguished Service Award
• 2013 IEEE Software Best Software Engineering in Practice Paper Award

Does Scale Really Matter? Ultra-Large-Scale Systems Seven Years after the Study (Keynote)

Linda Northrop (SEI, USA)

In 2006, Ultra-Large-Scale Systems: The Software Challenge of the Future (ISBN 0-9786956-0-7) documented the results of a year-long study on ultra-large, complex, distributed systems. Ultra-large-scale (ULS) systems are socio-technical ecosystems of ultra-large size on one or many dimensions number of lines of code; number of people employing the system for different purposes; amount of data stored, accessed, manipulated, and refined; number of connections and interdependencies among software components; number of hardware elements to which they interface. The characteristics of such systems require changes in traditional software development and management practices, which in turn require a new multi-disciplinary perspective and research. A carefully prescribed research agenda was suggested. What has happened since the study results were published? This talk shares a perspective on the post study reality — a perspective based on research motivated by the study and direct experiences with ULS systems. Linda Northrop is director of the Research, Technology, and Systems Solution Program at the Software Engineering Institute (SEI) where she leads the work in architecture-centric engineering, software product lines, cyber-physical systems, advanced mobile systems, and ultra-large-scale systems. Linda is coauthor of the book Software Product Lines: Practices and Patterns and led the research group on ultra-large-scale systems that resulted in the book, Ultra-Large-Scale Systems: The Software Challenge of the Future. Before joining the SEI, she was associated with both the United States Air Force Academy and the State University of New York as professor of computer science, and with both Eastman Kodak and IBM as a software engineer. She is an SEI Fellow and an ACM Distinguished Member.

Automated Reliability Estimation over Partial Systematic Explorations

Esteban Pavese, Víctor Braberman, and Sebastian Uchitel (Universidad de Buenos Aires, Argentina; Imperial College London, UK)

Are Your Incoming Aliases Really Necessary? Counting the Cost of Object Ownership

Alex Potanin, Monique Damitio, and James Noble (Victoria University of Wellington, New Zealand)

Safe Software Updates via Multi-version Execution

Petr Hosek and Cristian Cadar (Imperial College London, UK)

Efficient Construction of Approximate Call Graphs for JavaScript IDE Services

Asger Feldthaus, Max Schäfer, Manu Sridharan, Julian Dolby, and Frank Tip (Aarhus University, Denmark; Nanyang Technological University, Singapore; IBM Research, USA; University of Waterloo, Canada)

Reliability Analysis in Symbolic Pathfinder

Antonio Filieri, Corina S. Păsăreanu, and Willem Visser (University of Stuttgart, Germany; Carnegie Mellon Silicon Valley, USA; NASA Ames Research Center, USA; Stellenbosch University, South Africa)

Improving Feature Location Practice with Multi- faceted Interactive Exploration

Jinshui Wang, Xin Peng, Zhenchang Xing, and Wenyun Zhao (Fudan University, China; Nanyang Technological University, Singapore)

Why Don’t Software Developers Use Static Analysis Tools to Find Bugs?

Brittany Johnson, Yoonki Song, Emerson Murphy-Hill, and Robert Bowdidge (North Carolina State University, USA; Google, USA)

Detecting Inconsistencies in Wrappers: A Case Study

Henning Femmer, Dharmalingam Ganesan, Mikael Lindvall, and David McComas (TU Munich, Germany; Fraunhofer CESE, USA; NASA Goddard Space Flight Center, USA)

Exploring the Impact of Inter-smell Relations on Software Maintainability: An Empirical Study

Aiko Yamashita and Leon Moonen (Simula Research Laboratory, Norway)

Categorizing Bugs with Social Networks: A Case Study on Four Open Source Software Communities

Marcelo Serrano Zanetti, Ingo Scholtes, Claudio Juan Tessone, and Frank Schweitzer (ETH Zurich, Switzerland)

An Empirical Study on the Developers’ Perception of Software Coupling

Gabriele Bavota, Bogdan Dit, Rocco Oliveto, Massimiliano Di Penta, Denys Poshyvanyk, and Andrea De Lucia (University of Salerno, Italy; College of William and Mary, USA; University of Molise, Italy; University of Sannio, Italy)

Predicting Bug-Fixing Time: An Empirical Study of Commercial Software Projects

Hongyu Zhang, Liang Gong, and Steve Versteeg (Tsinghua University, China; CA Technologies, Australia)

The Lean Mindset (SEIP Keynote)

Mary Poppendieck (Poppendieck.LLC)

Mary Poppendieck has been in the Information Technology industry for over forty years. She has managed software development, supply chain management, manufacturing operations, and new product development. She spearheaded the implementation of a Just-in-Time system in a 3M video tape manufacturing plant and led new product development teams, commercializing products ranging from digital controllers to 3M Light Fiber(TM). Mary is a popular writer and speaker, and coauthor of the book Lean Software Development: an Agile Toolkit, which was awarded the Software Development Productivity Award in 2004. A sequel, Implementing Lean Software Development: from Concept to Cash was published in 2006. A third book, Leading Lean Software Development: Results are Not the Point was published in November 2009.

Engineering Adaptive Privacy: On the Role of Privacy Awareness Requirements

Inah Omoronyia, Luca Cavallaro, Mazeiar Salehie, Liliana Pasquale, and Bashar Nuseibeh (University of Glasgow, UK; Lero, Ireland; University of Limerick, Ireland; Open University, UK)

X-PERT: Accurate Identification of Cross- Browser Issues in Web Applications

Shauvik Roy Choudhary, Mukul R. Prasad, and Alessandro Orso (Georgia Tech, USA; Fujitsu Labs, USA)

Mining SQL Injection and Cross Site Scripting Vulnerabilities using Hybrid Program Analysis

Lwin Khin Shar, Hee Beng Kuan Tan, and Lionel C. Briand (Nanyang Technological University, Singapore; University of Luxembourg, Luxembourg)

Expectations, Outcomes, and Challenges of Modern Code Review

Alberto Bacchelli and Christian Bird (University of Lugano, Switzerland; Microsoft Research, USA)

Path Sensitive Static Analysis of Web Applications for Remote Code Execution Vulnerability Detection

Yunhui Zheng and Xiangyu Zhang (Purdue University,USA)

ACM SIGSOFT Distinguished Paper

UML in Practice

Marian Petre (Open University, UK)

Automated Software Architecture Security Risk Analysis using Formalized Signatures

Mohamed Almorsy, John Grundy, and Amani S. Ibrahim (Swinburne University of Technology, Australia)

Cassandra: Proactive Conflict Minimization through Optimized Task Scheduling

Bakhtiar Khan Kasi and Anita Sarma (University of Nebraska-Lincoln, USA)

SemFix: Program Repair via Semantic Analysis

Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, and Satish Chandra (National University of Singapore, Singapore; IBM Research, USA)

LASE: An Example-Based Program Transformation Tool for Locating and Applying Systematic Edits

John Jacobellis, Na Meng, and Miryung Kim of Texas at Austin, USA)

CEL: Modeling Everywhere

Remo Lemma, Michele Lanza, and Fernando Olivero (University of Lugano, Switzerland)

V:ISSUE:LIZER: Exploring Requirements Clarification in Online Communication over Time

Eric Knauss and Daniela Damian (University of Victoria, Canada)

YODA: Young and newcOmer Developer Assistant

Gerardo Canfora, Massimiliano Di Penta, Stefano Giannantonio, Rocco Oliveto, and Sebastiano Panichella (University of Sannio, Italy; University of Molise, Italy; University of Salerno, Italy)

RADAR: A Tool for Debugging Regression Problems in C/C++ Software

Fabrizio Pastore, Leonardo Mariani, and Alberto Goffi (University of Milano-Bicocca, Italy; University of Lugano, Switzerland)

MCT: A Tool for Commenting Programs by Multimedia Comments

Yiyang Hao, Ge Li, Lili Mou, Lu Zhang, and Zhi Jin (Peking University, China; Chinese Academy of Sciences- AMSS, China)

Memoise: A Tool for Memoized Symbolic Execution

Guowei Yang, Sarfraz Khurshid, and Corina S. Păsăreanu (University of Texas at Austin, USA; Carnegie Mellon Silicon Valley, USA; NASA Ames Research Center, USA)

Controller Synthesis: From Modelling to Enactment

Víctor Braberman, Nicolas D’Ippolito, Nir Piterman, Daniel Sykes, and Sebastian Uchitel (Universidad de Buenos Aires, Argentina; Imperial College London, UK; University of Leicester, UK)

Automatic Recovery from Runtime Failures

Antonio Carzaniga, Alessandra Gorla, Andrea Mattavelli, Nicolò Perino, and Mauro Pezzè (University of Lugano, Switzerland; Saarland University, Germany)

Program Transformations to Fix C Integers

Zack Coker and Munawar Hafiz (Auburn University, USA)

ACM SIGSOFT Distinguished Paper

Automatic Patch Generation Learned from Human-Written Patches

Dongsun Kim, Jaechang Nam, Jaewoo Song, and Sunghun Kim (Hong Kong University of Science and Technology, China)

Reverb: Recommending Code-Related Web Pages

Nicholas Sawadsky, Gail C. Murphy, and Rahul Jiresal (University of British Columbia, Canada)

Dynamic Injection of Sketching Features into GEF Based Diagram Editors

Andreas Scharf and Till Amma (University of Kassel, Germany)

Discovering Essential Code Elements in Informal Documentation

Peter C. Rigby and Martin P. Robillard (Concordia University, Canada; McGill University, Canada)

Automatic Query Reformulations for Text Retrieval in Software Engineering

Sonia Haiduc, Gabriele Bavota, Andrian Marcus, Rocco Oliveto, Andrea De Lucia, and Tim Menzies (Wayne State University, USA; University of Salerno, Italy; University of Molise, Italy; University of West Virginia, USA)

Awards to be presented:

• ACM Student Research Competition (SRC)
• Student Contest on Software Engineering (SCORE)
• ACM SIGSOFT Distinguished Papers
• Most Influential Paper (MIP)

Efficient Quality Assurance of Variability- Intensive Systems

Patrick Heymans, Axel Legay, and Maxime Cordy (University of Namur, Belgium; IRISA, France; INRIA, France)

Software Requirement Patterns

Xavier Franch (Universitat Politècnica de Catalunya, Spain)