Detailed Technical Program
(subject to change)Technical sessions are in Tanglewood / Pinehurst / Blowing Rock. Research tool demonstrations are in Smith / Cameron.
A printable PDF version of the program is available for posting, reference and sharing with colleagues.
| Tuesday, 13 November | |||
| 8:30-10:00 | Welcome/Keynote, Chair: Will Tracz | ||
| Program Overview: Martin Robillard and Tevfik Bultan | |||
| Keynote, Adam Lally. IBM Watson: Beyond Jeopardy! | |||
| 10:00-10:30 | Break | ||
| 10:30-11:45 | Program Analysis, Chair: Alessandro Orso | ||
| Program Analysis | Mark Gabel and Zhendong Su. Testing Mined Specifications | ||
| Program Analysis | Taeho Kwon and Zhendong Su. Detecting and Analyzing Insecure Component Usage | ||
| Program Analysis | Damien Octeau, Somesh Jha and Patrick McDaniel. Retargeting Android Applications to Java Bytecode Best Artifact Award | ||
| 10:30-11:45 | Research Tool Demonstrations Session 1, Chair: Brian Robinson | ||
| Tool Demo 1 | Gianpaolo Cugola, Carlo Ghezzi, Leandro Sales Pinto and Giordano Tamburrelli. SelfMotion: A Declarative Language for Adaptive Service-Oriented Mobile Apps | ||
| Tool Demo 1 | Baishakhi Ray, Christopher Wiley and Miryung Kim. REPERTOIRE: A Cross-System Porting Analysis Tool for Forked Software Projects | ||
| Tool Demo 1 | Vinay Augustine. Automating Adaptive Maintenance Changes with SrcML and LINQ | ||
| 11:45-13:00 | Lunch | ||
| 13:00-14:15 | Text Analysis, Chair: Jane Cleland-Huang | ||
| Text Analysis | Wing-Kwan Chan, Hong Cheng and David Lo. Searching Connected API Subgraph via Text Phrases | ||
| Text Analysis | Senthil Mani, Rose Catherine, Vibha Singhal Sinha and Avinava Dubey. AUSUM: Approach for Unsupervised bug report SUMmarization | ||
| Text Analysis | Xusheng Xiao, Amit Paradkar, Suresh Thummalapenta and Tao Xie. Automated Extraction of Security Policies from Natural-Language Software Documents | ||
| 13:00-14:15 | Research Tool Demonstrations Session 2, Chair: William G.J. Halfond | ||
| Tool Demo 2 | Mithun Acharya and Brian Robinson. Practical Change Impact Analysis Based on Static Program Slicing for Industrial Software Systems | ||
| Tool Demo 2 | Elvira Albert, Antonio Flores-Montoya and Samir Genaim. MayPar: A May-Happen-in-Parallel Analyzer for Concurrent Objects | ||
| Tool Demo 2 | David Shepherd, Kostadin Damevski, Bartosz Ropski and Thomas Fritz. Sando: An Extensible Local Code Search Framework | ||
| 14:15-14:45 | Break | ||
| 14:45-16:00 | Dynamic Analysis, Chair: Luciano Baresi | ||
| Dynamic Analysis | Xiaoyin Wang, Lu Zhang, Tao Xie, Yingfei Xiong and Hong Mei. Automating Presentation Changes in Dynamic Web Applications via Collaborative Hybrid Analysis | ||
| Dynamic Analysis | Kyle Canavera, Naeem Esfahani and Sam Malek. Mining the Execution History of a Software System to Infer the Best Time for its Adaptation | ||
| 14:45-16:00 | Research Tool Demonstrations Session 3, Chair: Denys Poshyvanyk | ||
| Tool Demo 3 | Liliana Pasquale, Claudio Menghi, Mazeiar Salehie, Luca Cavallaro, Inah Omoronyia and Bashar Nuseibeh. SecuriTAS: a Tool for Engineering Adaptive Security | ||
| Tool Demo 3 | Bora Caglayan, Ayse Tosun Misirli, Gul Calikli, Ayse Bener, Turgay Aytac and Burak Turhan. Dione: An Integrated Measurement and Defect Prediction | ||
| 16:00-16:15 | Break | ||
| 16:15-17:15 | New Ideas (NIER) Papers, Chair: Licia Capra | ||
| New Ideas | Naeem Esfahani, Kaveh Razavi and Sam Malek. Dealing with Uncertainty in Early Software Architecture | ||
| New Ideas | Dawei Qi, Jooyong Yi and Abhik Roychoudhury. Software Change Contracts | ||
| New Ideas | Nicholas Digiuseppe and James A. Jones. Semantic Fault Diagnosis: Automatic Natural-Language Fault Descriptions | ||
| New Ideas | Janet Siegmund, André Brechmann, Sven Apel, Christian Kaestner, Jörg Liebig, Thomas Leich and Gunter Saake. Toward Measuring Program Comprehension with Functional Magnetic Resonance Imaging | ||
| New Ideas | Kathryn Stolee and Sebastian Elbaum. Toward Semantic Search via SMT Solver | ||
| New Ideas | Ana Milanova and Wei Huang. Inference and Checking of Pluggable Types | ||
| New Ideas | Mahinthan Chandramohan, Hee Beng Kuan Tan and Shar Lwin Khin. Scalable Malware Clustering through Coarse-Grained Behavior Modeling | ||
| New Ideas | Kaiping Liu, Hee Beng Kuan Tan and Mahinthan Chandramohan. Has This Bug Been Reported? | ||
| New Ideas | Nicholas Digiuseppe and James A. Jones. Concept-Based Failure Clustering | ||
| New Ideas | Matthias Book, Simon Grapenthin and Volker Gruhn. Seeing the Forest and the Trees: Focusing Team Interaction on Value and Effort Drivers | ||
| New Ideas | Han Xu, Oliver Creighton, Naoufel Boulila and Bernd Bruegge. From Pixels to Bytes: Evolutionary Scenario Based Design With Video | ||
| New Ideas | Dionysis Athanasopoulos, Apostolos Zarras and Panos Vassiliadis. Service Selection for Happy Users: Making User-Intuitive Quality Abstractions | ||
| Wednesday, 14 November | |||
| 8:30-10:10 | Test Suites, Chair: Willem Visser | ||
| Test Suites | Leandro Sales Pinto, Saurabh Sinha and Alessandro Orso. Understanding Myths and Realities of Test-Suite Evolution | ||
| Test Suites | Razieh Nokhbeh Zaeem and Sarfraz Khurshid. Test Input Generation Using Dynamic Programming | ||
| Test Suites | Sangmin Park, Ishtiaque Hussain, Christoph Csallner, Kunal Taneja, B.M. Mainul Hossain, Mark Grechanik, Chen Fu and Qing Xie. CarFast: Achieving Higher Statement Coverage Faster | ||
| Test Suites | Emina Torlak. Scalable Test Data Generation from Multidimensional Models Distinguished Paper Award | ||
| 8:30-9:45 | Research Tool Demonstrations Session 4, Chair: Miryung Kim | ||
| Tool Demo 4 | Wei Huang and Ana Milanova. ReImInfer: Method Purity Inference for Java | ||
| Tool Demo 4 | Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fahndrich and Sebastian Burckhardt. TouchDevelop - App Development on Mobile Devices | ||
| Tool Demo 4 | Asadullah Shaikh and Uffe Wiil. UMLtoCSP (UOST): A Tool for Efficient Verification of UML/OCL Class Diagrams Through Model Slicing | ||
| 10:10-10:40 | Break | ||
| 10:40-12:20 | Decision Support, Chair: Paul Grünbacher | ||
| Decision Support | Emerson Murphy-Hill, Rahul Jiresal and Gail Murphy. Improving Software Developers' Fluency by Recommending Development Environment Commands | ||
| Decision Support | Francisco Servant and James A. Jones. History Slicing: Assisting Code-Evolution Tasks | ||
| Decision Support | Gerardo Canfora, Massimiliano Di Penta, Rocco Oliveto and Sebastiano Panichella. Who is going to Mentor Newcomers in Open Source Projects? | ||
| Decision Support | Christian Bird and Thomas Zimmermann. Assessing the Value of Branches with What-if Analysis Distinguished Paper Award | ||
| 10:40-11:30 | Research Tool Demonstrations Session 5, Chair: Miryung Kim | ||
| Tool Demo 5 | Lingming Zhang, Miryung Kim and Sarfraz Khurshid. FaultTracer: A Change Impact and Regression Fault Analysis Tool for Evolving Java Programs | ||
| Tool Demo 5 | Suresh Thummalapenta, Nimit Singhania, Pranavadatta Devaki, Saurabh Sinha, Satish Chandra, Achin Das and Srinivas Mangipudi. Efficiently Scripting Change-Resilient Tests | ||
| 12:20-13:30 | Lunch | ||
| 13:30-14:45 | Concurrency, Chair: Chao Wang | ||
| Concurrency | Malay Ganai, Dongyoon Lee and Aarti Gupta. DTAM: Dynamic Taint Analysis of Multi-threaded Programs for Relevancy | ||
| Concurrency | Azadeh Farzan, Madhusudan Parthasarathy, Niloofar Razavi and Francesco Sorrentino. Predicting Null-Pointer Dereferences in Concurrent Programs | ||
| Concurrency | Michael Emmi, Akash Lal and Shaz Qadeer. Asynchronous Programs with Prioritized Task-Buffers | ||
| 14:45-15:15 | Break | ||
| 15:15-16:55 | Modularity, Chair: Danny Dig | ||
| Modularity | Robert Walker, Shreya Rawal and Jonathan Sillito. Do Crosscutting Concerns Cause Modularity Problems? | ||
| Modularity | Miryung Kim, Thomas Zimmermann and Nachiappan Nagappan. A Field Study of Refactoring Challenges and Benefits | ||
| Modularity | Yida Tao, Yingnong Dang, Tao Xie, Dongmei Zhang and Sunghun Kim. How Do Software Engineers Understand Code Changes? An Exploratory Study in Industry | ||
| Modularity | Mehdi Mirakhorli, Patrick Maeder and Jane Cleland-Huang. Variability Points and Design Pattern Usage in Architectural Tactics | ||
| Thursday, 15 November | |||
| 8:30-10:10 | Empirical Studies, Chair: Massimiliano Di Penta | ||
| Empirical Studies | Baishakhi Ray and Miryung Kim. A Case Study of Cross-System Porting in Forked Projects | ||
| Empirical Studies | Semih Okur and Danny Dig. How do developers use parallel libraries? | ||
| Empirical Studies | Bradley Cossette and Robert Walker. Seeking the Ground Truth: A Retroactive Study on the Evolution and Migration of Software Libraries Distinguished Paper Award | ||
| Empirical Studies | Romain Robbes, Mircea Lungu and David Röthlisberger. How Do Developers React to API Deprecation? The Case of a Smalltalk Ecosystem | ||
| 10:10-10:40 | Break | ||
| 10:40-12:20 | Verification, Chair: Sarfraz Khurshid | ||
| Verification | Dirk Beyer, Thomas A. Henzinger, M. Erkan Keremoglu and Philipp Wendler. Conditional Model Checking: A Technique to Pass Information between Verifiers | ||
| Verification | Willem Visser, Jaco Geldenhuys and Matt Dwyer. Green : Reducing, Reusing and Recycling Constraints in Program Analysis | ||
| Verification | Saswat Anand, Mayur Naik, Hongseok Yang and Mary Jean Harrold. Automated Concolic Testing of Smartphone Apps | ||
| Verification | Joseph Near and Daniel Jackson. Rubicon: Bounded Verification of Web Applications | ||
| 12:20-13:30 | Lunch | ||
| 13:30-14:45 | Bug Prediction, Chair: Christian Bird | ||
| Bug Prediction | Foyzur Rahman, Daryl Posnett and Premkumar Devanbu. Recalling the "Imprecision" of Cross-Project Defect Prediction | ||
| Bug Prediction | Emad Shihab, Ahmed E. Hassan, Bram Adams and Zhen Ming Jiang. An Industrial Study on the Risk of Software Changes | ||
| Bug Prediction | Anh Nguyen, Tung Nguyen, Hoan Nguyen and Tien Nguyen. Multi-layered Approach for Recovering Links between Bug Reports and Fixes | ||
| 14:45-15:15 | Break | ||
| 15:15-17:15 | Keynotes/Awards/Closing, Chair: Will Tracz | ||
| Doctoral Dissertation Award, Mark Gabel. Inferring Programmer Intent and Related Errors from Software | |||
| Research Award Presentation, Lori A. Clarke. Program Analysis: Then and Now | |||
| Impact Award Presentation, Chandrasekhar Boyapati, Sarfraz Khurshid, and Darko Marinov. The Korat Approach to Systematic Testing | |||
