SIGSOFT EC (Lunch)

SCORE/SRC Poster Session
3:30-4:00

Tribute to David Notkin
6:00-6:15

ACM SIGSOFT/IEEE TCSE Town Hall
6:30-8:00

NIER Poster Session and Reception
7:00-8:30

AST’13

2013 8th International Workshop on Automation of Software Test (AST)
Sat, May 18, 08:30 – 18:00, Bayview B

MiSE’13

2013 5th International Workshop on Modeling in Software Engineering (MiSE)
Sat, May 18, 08:30 – 18:00, Seacliff B

GAS’13

2013 3rd International Workshop on Games and Software Engineering: Engineering Computer Games to Enable Positive, Progressive Change
(GAS) Sat, May 18, 08:30 – 18:00, Bayview A

SE-CSE’13

2013 5th International Workshop on Software Engineering for Computational Science and Engineering (SE-CSE)
Sat, May 18, 08:30 – 18:00, Garden B

SE4SG’13

2013 2nd International Workshop on Software Engineering Challenges for the Smart Grid (SE4SG)
Sat, May 18, 08:30 – 18:00, Boardroom A

ICSSP’13

2013 International Conference on Software and Systems Process (ICSSP)
Sat, May 18, 09:00 – 17:30, Regency A/B

MSR’13

2013 10th Working Conference on Mining Software Repositories (MSR)
Sat, May 18, 08:30 – 18:00, Grand Ballroom B

Workshop on Text Retrieval and/or Natural Language Analysis

Sat, May 18, 08:30 – 18:00, Garden

Morning Break

Sat, May 18, 10:30 – 11:00, Grand Ballroom and Seacliff Foyer

ICSE Lunch

Sat, May 18, 12:30 – 14:00, Atrium

ICSSP Lunch

Sat, May 18, 12:30 – 14:00, Grand Ballroom C

Afternoon Break

Sat, May 18, 15:30 – 16:30, Grand Ballroom and Seacliff Foyers

ASSURE’13

2013 1st International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE)
Sun, May 19, 08:30 – 18:00, Seacliff A

LIVE’13

2013 1st International Workshop on Live Programming (LIVE)
Sun, May 19, 08:30 – 18:00, Seacliff C

AST’13

2013 8th International Workshop on Automation of Software Test (AST)
Sun, May 19, 08:30 – 18:00, Bayview B

MiSE’13

2013 5th International Workshop on Modeling in Software Engineering (MiSE)
Sun, May 19, 08:30 – 18:00, Seacliff B

IWSC’13

2013 7th International Workshop on Software Clones (IWSC)
Sun, May 19, 08:30 – 18:00, Seacliff D

TEFSE’13

2013 7th International Workshop on Traceability in Emerging Forms of Software Engineering (TEFSE)
Sun, May 19, 09:00 – 17:30, Bayview A

MSR’13

2013 10th Working Conference on Mining Software Repositories (MSR)
Sun, May 19, 08:30 – 18:00, Grand Ballroom B

ICSSP’13

2013 International Conference on Software and Systems Process (ICSSP)
Sun, May 19, 09:00 – 17:30, Regency A/B

CSEE&T’13

2013 26th International Conference on Software Engineering Education and Training (CSEE&T)
Sun, May 19, 09:45 – 17:30, Garden A/B and Hospitality Room

Morning Break

Sun, May 19, 10:30 – 11:00, Grand Ballroom and Seacliff Foyer

ICSE Lunch

Sun, May 19, 12:30 – 14:00, Atrium

CSEE&T Lunch

Sun, May 19, 12:30 – 14:00, Grand B

ICSSP Lunch

Sun, May 19, 12:30 – 14:00, Pacific Concourse

TEFSE Lunch

Sun, May 19, 12:30 – 14:00, Pacific Concourse

Afternoon Break

Sun, May 19, 15:30 – 16:30, Grand Ballroom and Seacliff Foyers

CSEE&T Steering Committee Meeting

Sun, May 19, 20:30 – 22:30, Boardroom C

CESI’13

2013 1st International Workshop on Conducting Empirical Studies in Industry (CESI)
Mon, May 20, 08:30 – 18:00, Seacliff B

MTD’13

2013 4th International Workshop on Managing Technical Debt (MTD)
Mon, May 20, 08:30 – 18:00, Regency B

CMSBSE’13

2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE)
Mon, May 20, 08:30 – 18:00, Regency A

PLEASE’13

2013 4th International Workshop on Product LinE Approaches in Software Engineering (PLEASE)
Mon, May 20, 08:30 – 18:00, Pacific Concourse L

GREENS’13

2013 2nd International Workshop on Green and Sustainable Software (GREENS)
Mon, May 20, 08:30 – 18:00, Pacific Concourse M

RELENG’13

2013 1st International Workshop on Release Engineering (RELENG)
Mon, May 20, 08:30 – 18:00, Seacliff C

SEHC’13

2013 5th International Workshop on Software Engineering in Health Care (SEHC)
Mon, May 20, 08:30 – 18:00, Marina Room

ICSE Tutorial

Mon, May 20, 08:30 – 12:30, Pacific Concourse I

ICSE Tutorial

Mon, May 20, 08:30 – 12:30, Pacific Concourse J

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)

ICSE Tutorial

Mon, May 20, 08:30 – 12:30, Pacific Concourse H

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)

CSEE&T’13

2013 26th International Conference on Software Engineering Education and Training (CSEE&T)
Mon, May 20, 09:00 – 17:30, Garden A/B and Hospitality Room

SEAMS’13

2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)
Mon, May 20, 09:00 – 17:30, Seacliff D

ICPC’13

2013 21st International Conference on Program Comprehension (ICPC)
Mon, May 20, 08:45 – 18:00, Bayview A/B

Morning Break

Mon, May 20, 10:30 – 11:00, Market St., Seacliff, Garden, and Bayview A Foyers

ICSE Lunch

Mon, May 20, 12:30 – 14:00, Atrium

ICPC Lunch

Mon, May 20, 12:30 – 14:00, Grand Ballroom B

CSEE&T Lunch

Mon, May 20, 12:30 – 14:00, Grand Ballroom C

ICSE Tutorial

Mon, May 20, 14:00–18:00, Pacific Concourse H

ICSE Tutorial

Mon, May 20, 14:00–18:00, Pacific Concourse J

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)

Afternoon Break

Mon, May 20, 15:30 – 16:30, Market St., Seacliff, Garden, and Bayview A Foyers

Doctoral Symposium

Tue, May 21, 08:30 – 18:00, Seacliff B
Chairs: Gregor Engels and Paola Inverardi

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)

New Faculty Symposium

Tue, May 21, 08:30 – 18:00, Seacliff A
Chairs: Joanne Atlee and André van der Hoek

DAPSE’13

2013 1st International Workshop on Data Analysis Patterns in Software Engineering (DAPSE)
Tue, May 21, 08:30 – 18:00, Regency B

TOPI’13

2013 3rd International Workshop on Developing Tools as Plug-Ins (TOPI)
Tue, May 21, 08:30 – 18:00, Pacific Concourse K

SEHC’13

2013 5th International Workshop on Software Engineering in Health Care (SEHC)
Tue, May 21, 08:30 – 18:00, Marina Room

TwinPeaks’13

2013 2nd International Workshop on the Twin Peaks of Requirements and Architecture (TwinPeaks)
Tue, May 21, 08:30 – 18:00, Pacific Concourse L/M

SESENA’13

2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA)
Tue, May 21, 08:30 – 18:00, Pacific Concourse J

WETSoM’13

2013 4th International Workshop on Emerging Trends in Software Metrics (WETSoM)
Tue, May 21, 08:30 – 18:00, Regency A

ICSE Tutorial

Tue, May 21, 08:30 – 12:30, Pacific Concourse H

ICSE Tutorial

Tue, May 21, 08:30 – 12:30, Pacific Concourse I

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)

CSEE&T’13

2013 26th International Conference on Software Engineering Education and Training (CSEE&T)
Tue, May 21, 09:00 – 17:30, Garden A/B and Hospitality

SEAMS’13

2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)
Tue, May 21, 09:00 – 17:40, Seacliff D

ICPC’13

2013 21st International Conference on Program Comprehension (ICPC)
Tue, May 21, 09:00 – 18:15, Bayview A/B

Morning Break

Tue, May 21, 10:30 – 11:00, Market St., Garden, and Bayview A Foyers

ICSE Lunch

Tue, May 21, 12:30 – 14:00, Atrium

ICPC Lunch

Tue, May 21, 12:30 – 14:00, Grand Ballroom B

CSEE&T Lunch

Tue, May 21, 12:30 – 14:00, Grand Ballroom C

DS/NFS Lunch

Tue, May 21, 12:30 – 14:00, Seacliff C

SEAMS Steering Committee Meeting

Tue, May 21, 12:30 – 14:00, Boardroom A

ICSE Tutorial

Tue, May 21, 14:00 – 18:00, Pacific Concourse H

Specifying Effective Non-functional Requirements

John Terzakis (Intel, USA)

Afternoon Break

Tue, May 21, 15:30 – 16:30, Market St., Garden, and Bayview A Foyers

ICSE Steering Committee Meeting

Tue, May 21, 18:30 – 22:30, Seacliff B

Welcome Message

Wed, May 22, 08:15 – 08:30, Grand Ballroom
Chairs: Betty H. C. Cheng and Klaus Pohl

Keynote

Wed, May 22, 08:30 – 10:00, Grand Ballroom
Chair: Betty H. C. Cheng

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.

Morning Break, Sponsored by Google

Wed, May 22, 10:00 – 10:30, Grand Ballroom, Market St., Seacliff, and Bayview A Foyers

Technical Research

Composition

Wed, May 22, 10:30 – 12:00, Grand Ballroom A
Chair: Sebastian Uchitel

Technical Research

Testing

Wed, May 22, 10:30 – 12:00, Grand Ballroom B
Chair: Willem Visser

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 (Un