You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 4 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00
NL4SE Workshop INL4SE at Rock Lake
08:30
45m
Day opening
Welcome and introductions
NL4SE

09:15
45m
Talk
Learning from Code with Graphs (Keynote)
NL4SE
Marc Brockschmidt Microsoft Research
08:30 - 10:00
EnSEmble IEnSEmble at Spring Lake
10:00 - 10:30
Coffee Break MorningSocial at Lakes Foyer
10:30 - 12:00
NL4SE Workshop IINL4SE at Rock Lake
10:30
15m
Talk
Total Recall, Language Processing, and Software Engineering
NL4SE
10:45
15m
Talk
Is “Naturalness” a Result of Deliberate Choice?
NL4SE
Kevin Lee University of California at Davis, USA, Casey Casalnuovo University of California at Davis, USA
11:00
15m
Talk
A Fine-Grained Approach for Automated Conversion of JUnit Assertions to English
NL4SE
Danielle Gonzalez Rochester Institute of Technology, USA, Suzanne Prentice University of South Carolina, USA, Mehdi Mirakhorli Rochester Institute of Technology
11:15
15m
Talk
TestNMT: Function-to-Test Neural Machine Translation
NL4SE
Robert White University College London, UK, Jens Krinke University College London
11:30
15m
Talk
3CAP: Categorizing the Cognitive Capabilities of Alzheimer’s Patients in a Smart Home Environment
NL4SE
Kate M. Bowers , Reihaneh H. Hariri Oakland University, USA, Katey A. Price Albion College, USA
11:45
15m
Talk
Generating Comments from Source Code with CCGs
NL4SE
Sergey Matskevich Drexel University, USA, Colin Gordon Drexel University
10:30 - 12:00
EnSEmble IIEnSEmble at Spring Lake
12:00 - 13:30
13:30 - 15:00
NL4SE Workshop IIINL4SE at Rock Lake
13:30
15m
Talk
Towards Understanding Code Readability and Its Impact on Design Quality
NL4SE
Umme Ayda Mannan Oregon State University, USA, Iftekhar Ahmed University of California at Irvine, USA, Anita Sarma Oregon State University
13:45
15m
Talk
Cleaning StackOverflow for use in Machine Translation
NL4SE

14:00
15m
Talk
LinkSO: A Dataset for Learning to Retrieve Similar Question Answer Pairs on Software Development Forums
NL4SE
Xueqing Liu University of Illinois at Urbana-Champaign, USA, Chi Wang Microsoft, USA, Yue Leng University of Illinois at Urbana-Champaign, USA, ChengXiang Zhai University of Illinois at Urbana-Champaign, USA
14:15
15m
Talk
Natural Language Processing (NLP) Applied on Issue Trackers
NL4SE
Mathias Ellmann University of Hamburg and LegalTechTeam
14:30
15m
Talk
Mining Monitoring Concerns Implementation in Java-Based Software Systems
NL4SE
Grigoreta Sofia Cojocar Department of Computer Science, Babes-Bolyai University, Adriana-Mihaela Guran Department of Computer Science, Babes-Bolyai University
14:45
15m
Talk
Two Perspectives on Software Documentation Quality in Stack Overflow
NL4SE
Mathias Ellmann University of Hamburg and LegalTechTeam, Marko Schnecke n.n., n.n.
13:30 - 15:00
EnSEmble IIIEnSEmble at Spring Lake
15:00 - 15:30
Coffee Break AfternoonSocial at Lakes Foyer
15:30 - 17:00
NL4SE Workshop IVNL4SE at Rock Lake
15:30
45m
Day closing
Workshop wrapup
NL4SE

16:15
45m
Talk
Big Code at Facebook (Keynote II)
NL4SE
15:30 - 17:00
EnSEmble IVEnSEmble at Spring Lake

Mon 5 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00
SWAN ISWAN at Rock Lake
08:30 - 10:00
A-TEST IA-TEST at Sandy Lake
08:30 - 17:00
Doctoral Symposium (invitation only)Doctorial Symposium at Solar
08:30
30m
Other
Introductions, logistics
Doctorial Symposium
Hridesh Rajan Iowa State University
09:00
60m
Talk
Presenting Software Engineering Research
Doctorial Symposium
S: Margaret-Anne Storey University of Victoria
10:00
30m
Coffee break
Coffee break
Doctorial Symposium

10:30
22m
Talk
Practices And Tools For Better Software Testing
Doctorial Symposium
Davide Spadini Delft University of Technology, Netherlands
10:52
22m
Talk
Automated Support for Mobile Application Testing and Maintenance
Doctorial Symposium
Mattia Fazzini Georgia Institute of Technology
11:14
22m
Talk
Moving Towards Objective Measures of Program Comprehension
Doctorial Symposium
Sarah Fakhoury Washington State University
11:36
22m
Talk
Semantic Inference from Natural Language Privacy Policies and Android Code
Doctorial Symposium
Mitra Bokaei Hosseini University of Texas at San Antonio
12:00
90m
Lunch
Lunch break
Doctorial Symposium

13:30
22m
Talk
Intelligent Bug Fixing with Sofware Bug Knowledge Graph
Doctorial Symposium
Cheng Zhou Yangzhou University
13:52
22m
Talk
Quality Assurance Automation in Autonomous Systems
Doctorial Symposium
Afsoon Afzal Carnegie Mellon University
14:14
22m
Talk
How Do Developers Resolve Merge Conflicts? An Investigation Into the Processes, Tools, and Improvements
Doctorial Symposium
Caius Brindescu Oregon State University
14:36
24m
Other
Poster madness students with poster only, mingling/discussion of posters
Doctorial Symposium

15:00
30m
Coffee break
Coffee Break / Continuation of posters
Doctorial Symposium

15:30
75m
Talk
Discovering Your Own Definition of 'Impact' - A Key to Long Term Engagement
Doctorial Symposium
16:45
15m
Other
Wrap Up / Discussion
Doctorial Symposium

08:30 - 17:00
JPF WorkshopJPF at Spring Lake
09:00
10m
Day opening
Opening
JPF

09:10
50m
Talk
Keynote: Side-Channel Analysis via Symbolic Execution and Model Counting
JPF
Tevfik Bultan University of California, Santa Barbara
10:00
30m
Coffee break
Coffee break
JPF

10:30
30m
Research paper
Assessing the Adequacy of Synthetic Programs for Learning SPF's Configurations
JPF
Maria Paquin Boise State University, Elena Sherman Boise State University, Amit Jain Boise State University
11:00
30m
Research paper
Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP)
JPF
Lucas C. Cordeiro University of Manchester, UK, Daniel Kroening University of Oxford, Peter Schrammel University of Sussex
11:30
30m
Research paper
Attack Synthesis for Strings using Meta-Heuristics
JPF
Seemanta Saha University of California Santa Barbara, Ismet Burak Kadron University of California at Santa Barbara, USA, William Eiers University of California at Santa Barbara, USA, Lucas Bang , Tevfik Bultan University of California, Santa Barbara
12:00
90m
Lunch
Lunch @Lakeview Restaurant West
JPF

13:30
30m
Talk
Invited talk: Test input generation using separation logic
JPF
Quoc-Sang Phan Fujitsu Laboratories of America
14:00
30m
Research paper
Memory safety in C by abstract interpretation
JPF
joseph Jones Brigham Young University, James Wasson Brigham Young University, Sean Brown Brigham Young University, Seth Poulsen Brigham Young University, Peter Aldous Brigham Young University, Eric Mercer Brigham Young University
14:30
30m
Research paper
Automatic Data Structure Repair using Separation Logic
JPF
Guolong Zheng University of Nebraska Lincoln, Quang Loc Le School of Computing, Teesside University, UK, ThanhVu Nguyen University of Nebraska-Lincoln, Quoc-Sang Phan Fujitsu Laboratories of America
15:00
30m
Coffee break
Coffee break
JPF

15:30
30m
Research paper
A Progress Bar for the JPF Search Using Program Executions
JPF
Kaiyuan Wang , Hayes Converse The University of Texas at Austin, Milos Gligoric University of Texas at Austin, Sasa Misailovic University of Illinois at Urbana-Champaign, Sarfraz Khurshid University of Texas at Austin
16:00
50m
Meeting
JPF Open Discussion
JPF

16:50
10m
Day closing
Closing
JPF

10:00 - 10:30
Coffee Break MorningSocial at Lakes Foyer
10:30 - 11:15
Session 1: Continuous integrationSWAN at Rock Lake
10:30
22m
Talk
(No) Influence of Continuous Integration on the Commit Activity in GitHub Projects
SWAN
Sebastian Baltes University of Trier, Jascha Knack University of Trier, Germany, Daniel Anastasiou University of Trier, Germany, Ralf Tymann University of Trier, Germany, Stephan Diehl Computer Science, University Trier, Germany
Pre-print
10:52
22m
Talk
Characterizing the Influence of Continuous Integration: Empirical Results from 250+ Open Source and Proprietary Projects
SWAN
Akond Rahman North Carolina State University, Amritanshu Agrawal North Carolina State University, Rahul Krishna NC State University, Alexander Sobran
10:30 - 12:00
A-TEST IIA-TEST at Sandy Lake
10:30
18m
Talk
Reinforcement Learning for Android GUI Testing
A-TEST
David Adamo Ultimate Software, USA, Md Khorrom Khan University of North Texas, USA, Sreedevi Koppula University of North Texas, USA, Renée Bryce University of North Texas, USA
10:48
18m
Talk
Extending Equivalence Transformation Based Program Generator for Random Testing of C Compilers
A-TEST
Shogo Takakura Kwansei Gakuin University, Japan, Mitsuyoshi Iwatsuji Kwansei Gakuin University, Japan, Nagisa Ishiura Kwansei Gakuin University
11:06
18m
Talk
HDDr: A Recursive Variant of the Hierarchical Delta Debugging Algorithm
A-TEST
Ákos Kiss University of Szeged, Hungary, Renáta Hodován University of Szeged, Hungary, Tibor Gyimóthy University of Szeged, Hungary
11:24
18m
Talk
Goal-Oriented Mutation Testing with Focal Methods
A-TEST
Sten Vercammen University of Antwerp, Belgium, Mohammad Ghafari University of Bern, Serge Demeyer University of Antwerp, Belgium, Markus Borg RISE Research Institutes of Sweden AB
Pre-print
11:42
18m
Talk
A Reinforcement Learning Based Approach to Automated Testing of Android Applications
A-TEST
Thi Anh Tuyet Vuong Keio University, Japan, Shingo Takada Keio University, Japan
11:15 - 12:00
Session 2: Defect predictionSWAN at Rock Lake
11:15
22m
Talk
Facilitating Feasibility Analysis: The Pilot Defects Prediction Dataset Maker
SWAN
Davide Falessi California Polytechnic State University, Max Jason Moede California Polytechnic State University, USA
11:37
22m
Talk
Is One Hyperparameter Optimizer Enough?
SWAN
Huy Tu North Carolina State University, USA, Vivek Nair
12:00 - 13:30
13:30 - 15:00
SWAN IIISWAN at Rock Lake
13:30 - 15:00
A-TEST IIIA-TEST at Sandy Lake
13:30
45m
Talk
Random Testing of Compilers’ Performance Based on Mixed Static and Dynamic Code Comparison
A-TEST
Kota Kitaura Kwansei Gakuin University, Japan, Nagisa Ishiura Kwansei Gakuin University
14:15
45m
Talk
Test Patterns for IoT
A-TEST
Pedro Martins Pontes Faculty of Engineering, University of Porto and INESC TEC, Bruno Lima Faculty of Engineering, University of Porto and INESC TEC, João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC
15:00 - 15:30
Coffee Break AfternoonSocial at Lakes Foyer
15:30 - 17:00
SWAN IVSWAN at Rock Lake
15:30 - 17:00
A-TEST IVA-TEST at Sandy Lake

Tue 6 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:00 - 10:30
10:00
30m
Poster
How Dance(Sport) Can Help to Produce Better Software
Student Research Competition
10:00
30m
Poster
Towards Learning-Augmented Languages
Student Research Competition
Xinyuan Sun University of California, Davis
10:00
30m
Poster
Feature-Interaction Aware Configuration Prioritization
Student Research Competition
Son Nguyen The University of Texas at Dallas
10:00
30m
Poster
Diversity and Decorum in Open Source Communities
Student Research Competition
Neill Robson NC State University
10:00
30m
Poster
Type Migration in Large-Scale Code Bases
Student Research Competition
Ameya Ketkar Oregon State University, USA
10:00
30m
Poster
Bugs in the Wild: Examining the Effectiveness of Static Analyzers at Finding Real-World Bugs
Student Research Competition
David A Tomassi University of California, Davis
10:00
30m
Poster
Mining Error-Handling Specifications for Systems Software
Student Research Competition
Daniel DeFreez University of California, Davis
10:00
30m
Poster
Automated Scenario-based Integration Testing of Distributed Systems
Student Research Competition
Bruno Lima Faculty of Engineering, University of Porto and INESC TEC
10:00
30m
Poster
Reshaping Distributed Agile and Adaptive Development Environment
Student Research Competition
Francesco Nocera Polytechnic University of Bari
10:00
30m
Poster
On the Adoption of Neural Networks in Modeling Software Reliability
Student Research Competition
10:00
30m
Poster
Dara - Hybrid Model Checking of Distributed Systems
Student Research Competition
Vaastav Anand University of British Columbia
10:00 - 10:30
Doctoral Symposium Posters IDoctorial Symposium at Horizons 1-4F
10:00
30m
Poster
Poster: Feedback in Scrum Processes: Data-Driven Retrospectives
Doctorial Symposium
Christoph Matthies Hasso Plattner Institute, University of Potsdam
10:00
30m
Poster
Poster: What is the Programmer Experience?
Doctorial Symposium
10:00
30m
Poster
Poster: Blueprints Programming Model for Smart Contracts
Doctorial Symposium
10:00
30m
Poster
Poster: Leveraging Traceability and Obstacle Analysis to Ensure Requirements Fulfilment in Systems Engineering
Doctorial Symposium
10:00
30m
Poster
Poster: Test Coverage for Semi-Structured Data
Doctorial Symposium
10:00
30m
Poster
Poster: Practices And Tools For Better Software Testing
Doctorial Symposium
Davide Spadini Delft University of Technology, Netherlands
10:00
30m
Poster
Poster: Automated Support for Mobile Application Testing and Maintenance
Doctorial Symposium
Mattia Fazzini Georgia Institute of Technology
10:00
30m
Poster
Poster: Moving Towards Objective Measures of Program Comprehension
Doctorial Symposium
Sarah Fakhoury Washington State University
10:00
30m
Poster
Poster: Semantic Inference from Natural Language Privacy Policies and Android Code
Doctorial Symposium
Mitra Bokaei Hosseini University of Texas at San Antonio
10:00
30m
Poster
Poster: Intelligent Bug Fixing with Sofware Bug Knowledge Graph
Doctorial Symposium
Cheng Zhou Yangzhou University
10:00
30m
Poster
Poster: Quality Assurance Automation in Autonomous Systems
Doctorial Symposium
Afsoon Afzal Carnegie Mellon University
10:00
30m
Poster
Poster: How Do Developers Resolve Merge Conflicts? An Investigation Into the Processes, Tools, and Improvements
Doctorial Symposium
Caius Brindescu Oregon State University
10:00 - 10:30
Coffee Break MorningSocial at Horizons 1-4F
10:30 - 12:00
Concurrency and RacesResearch Papers at Horizons 10-11
Chair(s): Willem Visser Stellenbosch University
10:30
22m
Talk
CloudRaid: Hunting Concurrency Bugs in the Cloud via Log-Mining
Research Papers
Jie Lu , Feng Li Institute of Computing Technology at Chinese Academy of Sciences, China, Lian Li Institute of Computing Technology at Chinese Academy of Sciences, China, Xiaobing Feng ICT CAS
10:52
22m
Talk
Testing Multithreaded Programs via Thread Speed Control
Research Papers
Dongjie Chen , Yanyan Jiang Nanjing University, Chang Xu Nanjing University, Xiaoxing Ma Nanjing University, Jian Lu Nanjing University
11:15
22m
Talk
Data Race Detection on Compressed Traces
Research Papers
Dileep Kini University of Illinois at Urbana-Champaign, Umang Mathur University of Illinois at Urbana-Champaign, Mahesh Viswanathan University of Illinois at Urbana-Champaign
11:37
22m
Talk
Practical AJAX Race Detection for JavaScript Web Applications
Research Papers
Christoffer Quist Adamsen Aarhus University, Anders Møller Aarhus University, Saba Alimadadi Northeastern University, Frank Tip Northeastern University
10:30 - 12:00
Log MiningJournal-First / Research Papers at Horizons 6-9F
Chair(s): Dongyoon Lee Virginia Tech, USA
10:30
22m
Talk
Studying and Detecting Log-Related Issues
Journal-First
Mehran Hassani , Weiyi Shang Concordia University, Canada, Emad Shihab Concordia University, Nikolaos Tsantalis Concordia University, Canada
DOI
10:52
22m
Talk
VT-Revolution: Interactive Programming Video Tutorial Authoring and Watching System
Journal-First
Lingfeng Bao Zhejiang University City College, Zhenchang Xing Australia National University, Xin Xia Monash University, David Lo Singapore Management University
DOI
11:15
22m
Talk
Using Finite-State Models for Log Differencing
Research Papers
Hen Amar Tel Aviv University, Israel, Lingfeng Bao Zhejiang University City College, Nimrod Busany Tel Aviv University, Israel, David Lo Singapore Management University, Shahar Maoz Tel Aviv University
11:37
22m
Talk
Identifying Impactful Service System Problems via Log Analysis
Research Papers
Shilin He Chinese University of Hong Kong, Qingwei Lin Microsoft, China, Jian-Guang Lou Microsoft Research, Hongyu Zhang The University of Newcastle, Michael Lyu , Dongmei Zhang Microsoft Research, China
10:30 - 12:00
TestingDemonstrations at Solar
Chair(s): Lingming Zhang
10:30
22m
Talk
BigSift: Automated Debugging of Big Data Analytics in Data-Intensive Scalable Computing
Demonstrations
Muhammad Ali Gulzar University of California, Los Angeles, Siman Wang Hunan University, Miryung Kim University of California, Los Angeles
10:52
22m
Talk
FOT: A Versatile, Configurable, Extensible Fuzzing Framework
Demonstrations
Hongxu Chen Nanyang Technological University, Yuekang Li Nanyang Technological University, Bihuan Chen Fudan University, Yinxing Xue , Yang Liu Nanyang Technological University, Singapore
11:15
22m
Talk
Themis: Automatically Testing Software for Discrimination
Demonstrations
Rico Angell University of Massachusetts, Amherst, Brittany Johnson University of Massachusetts Amherst, Yuriy Brun University of Massachusetts Amherst, Alexandra Meliou University of Massachusetts Amherst
Link to publication DOI Pre-print
11:37
22m
Demonstration
Vista: Web Test Repair Using Computer Vision
Demonstrations
Andrea Stocco University of British Columbia, Rahulkrishna Yandrapally University of British Columbia, Canada, Ali Mesbah University of British Columbia
Pre-print
12:00 - 13:30
12:00 - 13:30
12:00
90m
Lunch
Mentoring Lunch I
Faculty Mentorship Roundtables

13:30 - 15:00
PerformanceResearch Papers / Journal-First at Horizons 10-11
Chair(s): Zhendong Su ETH Zurich
13:30
22m
Talk
CHiP: A Configurable Hybrid Parallel Covering Array Constructor
Journal-First
Hanefi Mercan , Cemal Yilmaz Sabancı University, Kamer Kaya
DOI
13:52
22m
Talk
Learning to Sample: Exploiting Similarities Across Environments to Learn Performance Models for Configurable Systems
Research Papers
Pooyan Jamshidi University of South Carolina, Miguel Velez Carnegie Mellon University, USA, Christian Kästner Carnegie Mellon University, Norbert Siegmund Bauhaus-University Weimar
14:15
22m
Talk
Performance Comprehension at WiredTiger
Research Papers
Alexandra (Sasha) Fedorova University of British Columbia, Craig Mustard University of British Columbia, Canada, Ivan Beschastnikh Computer Science, University of British Columbia, Julia Rubin University of British Columbia, Augustine Wong University of British Columbia, Canada, Svetozar Miucin University of British Columbia, Canada, Louis Ye University of British Columbia, Canada
14:37
22m
Talk
MemFix: Static Analysis-Based Repair of Memory Deallocation Errors for C
Research Papers
Junhee Lee Korea University, South Korea, Seongjoon Hong Korea University, Hakjoo Oh Korea University
13:30 - 15:00
Software Analysis IJournal-First / Research Papers at Horizons 5
Chair(s): Sebastian Elbaum University of Nebraska-Lincoln, USA
13:30
22m
Talk
On Accelerating Source Code Analysis At Massive Scale
Journal-First
Ganesha Upadhyaya Futurewei Technologies, Hridesh Rajan Iowa State University
DOI
13:52
22m
Talk
RefiNym: Using Names to Refine Types
Research Papers
Santanu Dash University College London, UK, Miltiadis Allamanis Microsoft Research, Cambridge, Earl T. Barr
14:15
22m
Talk
Darwinian Data Structure Selection
Research Papers
Michail Basios University College London, Lingbo Li University College London, UK, Fan Wu University College London, UK, Leslie Kanthan University College London, UK, Earl T. Barr
DOI Pre-print
14:37
22m
Talk
Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity
Research Papers
Yue Li Aarhus University, Denmark, Tian Tan Aarhus University, Denmark, Anders Møller Aarhus University, Yannis Smaragdakis University of Athens
13:30 - 15:00
Deep LearningResearch Papers at Horizons 6-9F
Chair(s): David Rosenblum National University of Singapore
13:30
22m
Talk
Deep Learning Type Inference
Research Papers
Vincent J. Hellendoorn University of California at Davis, USA, Christian Bird Microsoft Research, Earl T. Barr , Miltiadis Allamanis Microsoft Research, Cambridge
13:52
22m
Talk
DeepSim: Deep Learning Code Functional Similarity
Research Papers
Gang Zhao , Jeff Huang Texas A&M University
14:15
22m
Talk
Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces
Research Papers
Jordan Henkel University of Wisconsin–Madison, Shuvendu K. Lahiri Microsoft Research, Ben Liblit University of Wisconsin–Madison, Thomas Reps University of Wisconsin - Madison and GrammaTech, Inc.
14:37
22m
Talk
MODE: Automated Neural Network Model Debugging via State Differential Analysis and Input Selection
Research Papers
Shiqing Ma Purdue University, USA, Yingqi Liu Purdue University, USA, Wen-Chuan Lee Purdue University, Xiangyu Zhang Purdue University, Ananth Grama Purdue University, USA
13:30 - 15:00
SecurityIndustry at Solar
Chair(s): Myra Cohen Iowa State University
13:30
22m
Talk
Are Mobile Banking Apps Secure? What Can be Improved?
Industry
Sen Chen Nanyang Technological University, Singapore, Ting Su Nanyang Technological University, Singapore, Lingling Fan East China Normal University, China/Nanyang Technological University, Singapore, Guozhu Meng , Minhui Xue , Yang Liu Nanyang Technological University, Singapore, Lihua Xu
13:52
22m
Talk
VulSeeker-Pro: Enhanced Semantic Learning Based Binary Vulnerability Seeker With Emulation
Industry
Jian Gao School of Software, Tsinghua University, Xin Yang Unionbigdata.com, Ying Fu , Yu Jiang , Heyuan Shi , Jiaguang Sun
14:15
22m
Talk
PAFL: Extend Fuzzing Optimizations of Single Mode to Industrial Parallel Mode
Industry
14:37
22m
Talk
Software Development Challenges with Air-Gap Isolation
Industry
15:00 - 15:30
15:00
30m
Poster
Reshaping Distributed Agile and Adaptive Development Environment
Student Research Competition
Francesco Nocera Polytechnic University of Bari
15:00
30m
Poster
Diversity and Decorum in Open Source Communities
Student Research Competition
Neill Robson NC State University
15:00
30m
Poster
On the Adoption of Neural Networks in Modeling Software Reliability
Student Research Competition
15:00
30m
Poster
Towards Learning-Augmented Languages
Student Research Competition
Xinyuan Sun University of California, Davis
15:00
30m
Poster
Mining Error-Handling Specifications for Systems Software
Student Research Competition
Daniel DeFreez University of California, Davis
15:00
30m
Poster
How Dance(Sport) Can Help to Produce Better Software
Student Research Competition
15:00
30m
Poster
Feature-Interaction Aware Configuration Prioritization
Student Research Competition
Son Nguyen The University of Texas at Dallas
15:00
30m
Poster
Bugs in the Wild: Examining the Effectiveness of Static Analyzers at Finding Real-World Bugs
Student Research Competition
David A Tomassi University of California, Davis
15:00
30m
Poster
Type Migration in Large-Scale Code Bases
Student Research Competition
Ameya Ketkar Oregon State University, USA
15:00
30m
Poster
Dara - Hybrid Model Checking of Distributed Systems
Student Research Competition
Vaastav Anand University of British Columbia
15:00
30m
Poster
Automated Scenario-based Integration Testing of Distributed Systems
Student Research Competition
Bruno Lima Faculty of Engineering, University of Porto and INESC TEC
15:00 - 15:30
Doctoral Symposium Posters IIDoctorial Symposium at Horizons 1-4F
15:00
30m
Poster
Poster: Semantic Inference from Natural Language Privacy Policies and Android Code
Doctorial Symposium
Mitra Bokaei Hosseini University of Texas at San Antonio
15:00
30m
Poster
Poster: Practices And Tools For Better Software Testing
Doctorial Symposium
Davide Spadini Delft University of Technology, Netherlands
15:00
30m
Poster
Poster: Leveraging Traceability and Obstacle Analysis to Ensure Requirements Fulfilment in Systems Engineering
Doctorial Symposium
15:00
30m
Poster
Poster: Quality Assurance Automation in Autonomous Systems
Doctorial Symposium
Afsoon Afzal Carnegie Mellon University
15:00
30m
Poster
Poster: Intelligent Bug Fixing with Sofware Bug Knowledge Graph
Doctorial Symposium
Cheng Zhou Yangzhou University
15:00
30m
Poster
Poster: Automated Support for Mobile Application Testing and Maintenance
Doctorial Symposium
Mattia Fazzini Georgia Institute of Technology
15:00
30m
Poster
Poster: Feedback in Scrum Processes: Data-Driven Retrospectives
Doctorial Symposium
Christoph Matthies Hasso Plattner Institute, University of Potsdam
15:00
30m
Poster
Poster: What is the Programmer Experience?
Doctorial Symposium
15:00
30m
Poster
Poster: How Do Developers Resolve Merge Conflicts? An Investigation Into the Processes, Tools, and Improvements
Doctorial Symposium
Caius Brindescu Oregon State University
15:00
30m
Poster
Poster: Test Coverage for Semi-Structured Data
Doctorial Symposium
15:00
30m
Poster
Poster: Blueprints Programming Model for Smart Contracts
Doctorial Symposium
15:00
30m
Poster
Poster: Moving Towards Objective Measures of Program Comprehension
Doctorial Symposium
Sarah Fakhoury Washington State University
15:00 - 15:30
Coffee Break AfternoonSocial at Horizons 1-4F
15:30 - 17:00
Developer StudiesResearch Papers / Journal-First at Horizons 10-11
Chair(s): Thomas LaToza George Mason University
15:30
22m
Talk
Programmers do not Favor Lambda Expressions for Concurrent Object-Oriented Code
Journal-First
DOI
15:52
22m
Talk
How Do Developers Utilize Source Code from Stack Overflow?
Journal-First
Yuhao Wu , Shaowei Wang Queen's University, Cor-Paul Bezemer University of Alberta, Canada, Katsuro Inoue Osaka University
DOI
16:15
22m
Talk
Towards a Theory of Software Development Expertise
Research Papers
Sebastian Baltes University of Trier, Stephan Diehl Computer Science, University Trier, Germany
Pre-print
16:37
22m
Full-paper
What Makes a Code Change Easier to Review? An Empirical Investigation on Code Change Reviewability
Research Papers
Achyudh Ram University of Waterloo, Anand Ashok Sawant Delft University of Technology, Marco Castelluccio Mozilla Foundation, UK, Alberto Bacchelli University of Zurich
Link to publication DOI Pre-print Media Attached
15:30 - 17:00
Testing IJournal-First / Research Papers at Horizons 5
Chair(s): David Lo Singapore Management University
15:30
22m
Talk
Identifying failure-causing schemas in the presence of multiple faults
Journal-First
Xintao Niu , Changhai Nie , Yu Lei , Hareton Leung , Xiaoyin Wang University of Texas at San Antonio, USA
DOI
15:52
22m
Talk
Singularity: Pattern Fuzzing for Worst Case Complexity
Research Papers
Jiayi Wei University of Texas at Austin, Jia Chen University of Texas at Austin, Yu Feng University of California, Santa Barbara, USA, Kostas Ferles UT Austin, Işıl Dillig UT Austin
DOI Pre-print
16:15
22m
Talk
Bug Synthesis: Challenging Bug-Finding Tools with Deep Faults
Research Papers
Subhajit Roy IIT Kanpur, India, Awanish Pandey IIT Kanpur, India, Brendan Dolan-Gavitt New York University, Yu Hu New York University, USA
16:37
22m
Talk
Modify, Enhance, Select: Co-Evolution of Combinatorial Models and Test Plans
Research Papers
Rachel Tzoref-Brill IBM Research, Shahar Maoz Tel Aviv University
15:30 - 17:00
15:30
22m
Talk
Text Filtering and Ranking for Security Bug Report Prediction
Journal-First
Fayola Peters Lero - The Irish Software Research Centre and University of Limerick, Thein Than Tun , Yijun Yu The Open University, UK, Bashar Nuseibeh The Open University (UK) & Lero (Ireland)
DOI
15:52
22m
Talk
STADS: Software Testing as Species Discovery
Journal-First
Marcel Böhme Monash University
DOI
16:15
22m
Talk
The Impact of Regular Expression Denial of Service (ReDoS) in Practice: An Empirical Study at the Ecosystem Scale
Research Papers
James C. Davis Virginia Tech, USA, Christy A. Coghlan Virginia Tech, USA, Francisco Servant Virginia Tech, Dongyoon Lee Virginia Tech, USA
16:37
22m
Talk
FraudDroid: Automated Ad Fraud Detection for Android Apps
Research Papers
Feng Dong Beijing University of Posts and Telecommunications, China, Haoyu Wang , Li Li Monash University, Australia, Yao Guo Peking University, Tegawendé F. Bissyandé University of Luxembourg, Luxembourg, Tianming Liu Beijing University of Posts and Telecommunications, China, Guoai Xu , Jacques Klein University of Luxembourg, SnT
15:30 - 17:00
BugsDemonstrations at Solar
Chair(s): Hoan Nguyen Iowa State University
15:30
22m
Talk
Augmenting Stack Overflow with API Usage Patterns Mined from GitHub
Demonstrations
Anastasia Reinhardt , Tianyi Zhang University of California, Los Angeles, Mihir Mathur University of California, Los Angeles, Miryung Kim University of California, Los Angeles
Pre-print
15:52
22m
Talk
PowerStation: Automatically detecting and fixing inefficienciesof database-backed web applications in IDE
Demonstrations
Junwen Yang , Cong Yan , Pranav Subramaniam , Shan Lu University of Chicago, Alvin Cheung University of Washington
16:15
22m
Talk
SketchFix: A Tool for Automated Program Repair Approach Using Lazy Candidate Generation
Demonstrations
Jinru Hua , Mengshi Zhang University of Texas at Austin, USA, Kaiyuan Wang , Sarfraz Khurshid University of Texas at Austin
16:37
22m
Talk
WarningsGuru: Integrating statistical bug models with static analysis to provide timely and specific bug warnings
Demonstrations
Louis-Philippe Querel Concordia University, Peter Rigby Concordia University, Montreal, Canada
17:15 - 18:45
SIGSOFT Town Hall MeetingSocial at Horizons 10-11
17:15
90m
Meeting
SIGSOFT Town Hall Meeting
Social
Thomas Zimmermann Microsoft Research
18:45 - 20:00
Post Town Hall ReceptionSocial at Horizons 1-4F
18:45
75m
Social Event
Post Town Hall Reception
Social
Gary T. Leavens University of Central Florida

Wed 7 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00
Keynote IIKeynotes at Horizons 6-9F
Chair(s): Satish Chandra Facebook
08:30
90m
Talk
In the age of Software 2.0, what role for software engineers?
Keynotes
Tim Menzies North Carolina State University
10:00 - 10:30
Coffee Break MorningSocial at Horizons 1-4F
10:30 - 12:00
Mobile AppsResearch Papers / Journal-First at Horizons 10-11
Chair(s): Shane McIntosh McGill University
10:30
22m
Talk
Getting the Most from Map Data Structures in Android
Journal-First
Rubén Saborido Infantes Department of Computer Science and Software Engineering, Concordia University, Montreal, Rodrigo Morales Concordia University, Foutse Khomh Polytechnique Montréal, Yann-Gaël Guéhéneuc Concordia University and Polytechnique Montréal, Giuliano Antoniol Polytechnique Montréal
DOI
10:52
22m
Talk
Successes, Challenges, and Rethinking – An Industrial Investigation on Crowdsourced Mobile Application Testing
Journal-First
Ruizhi Gao , Yabin Wang , Yang Feng University of California, Irvine, Zhenyu Chen Nanjing University, W. Eric Wong
DOI
11:15
22m
Talk
AppFlow: Using Machine Learning to Synthesize Robust, Reusable UI Tests
Research Papers
Gang Hu Columbia University, USA, Linjie Zhu , Junfeng Yang Columbia University
11:37
22m
Talk
Winning the App Production Rally
Research Papers
Ehsan Noei University of Toronto, Daniel Alencar Da Costa Queen's University, Kingston, Ontario, Ying Zou Queen's University, Kingston, Ontario
10:30 - 12:00
End User Programming and Financial ApplicationsIndustry at Horizons 5
Chair(s): Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and Technology
10:30
22m
Talk
Design and Validation of Precooked Developer Dashboards
Industry
Vladimir Ivanov , Vladislav Pischulin , Alan Rogers , Giancarlo Succi , Jooyong Yi Innopolis University, Vasiliy Zorin Innopolis University
10:52
22m
Talk
Testing and Validating End User Programmed Calculated Fields
Industry
Víctor Braberman , Diego Garbervetsky University of Buenos Aires, Argentina, Javier Godoy , Sebastian Uchitel Universidad de Buenos Aires / Imperial College, Guido de Caso , Ignacio Perez , Santiago Perez De Rosso MIT CSAIL
11:15
22m
Talk
Automated Refactoring of Nested-IF Formulae in Spreadsheets
Industry
Jie Zhang , Shi Han , Dan Hao Peking University, Lu Zhang , Dongmei Zhang Microsoft Research, China
11:37
22m
Talk
FACTS: Automated Black-box Testing of FinTech Systems
Industry
Qingshun Wang , Lintao Gu , Minhui Xue , Lihua Xu , Wenyu Niu , Liang Dou East China Normal University, Liang He , Tao Xie
10:30 - 12:00
NIER INew Ideas and Emerging Results at Horizons 6-9F
Chair(s): Gail Kaiser Columbia University, New York
10:30
12m
Talk
Gamifying Static Analysis
New Ideas and Emerging Results
Lisa Nguyen Quang Do Paderborn University, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
10:42
12m
Talk
The Case for Experiment-Oriented Computing
New Ideas and Emerging Results
Paulo Salem Dell EMC
10:55
12m
Talk
On the Naturalness of Proofs
New Ideas and Emerging Results
Vincent J. Hellendoorn University of California at Davis, USA, Amin Alipour University of Houston, Prem Devanbu University of California
11:08
12m
Talk
Does ACM's Code of Ethics Change Ethical Decision Making in Software Development?
New Ideas and Emerging Results
Andrew McNamara North Carolina State University, Justin Smith North Carolina State University, Emerson Murphy-Hill North Carolina State University
Pre-print
11:21
12m
Talk
How Are Spreadsheet Templates Used in Practice: A Case Study on Enron
New Ideas and Emerging Results
Liang Xu Institute of Software Chinese Academy of Sciences, Wensheng Dou Institute of Software, Chinese Academy of Sciences, Jiaxin Zhu Institute of Software at Chinese Academy of Sciences, China, Chushu Gao Institute of Software, Chinese Academy of Sciences, Jun Wei State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, Tao Huang Institute of Software Chinese Academy of Sciences
11:34
12m
Talk
DLFuzz: Differential Fuzzing Testing of Deep Learning Systems
New Ideas and Emerging Results
11:47
12m
Talk
Towards Data-Driven Vulnerability Prediction for Requirements
New Ideas and Emerging Results
Sayem Mohammad Imtiaz Mississippi State University, Tanmay Bhowmik Mississippi State University
10:30 - 12:00
MiningDemonstrations at Spring Lake
Chair(s): Peter Rigby Concordia University, Montreal, Canada
10:30
22m
Talk
DSM: A Specification Mining Tool using Recurrent Neural Network Based Language Model
Demonstrations
Tien-Duy B. Le School of Information Systems, Singapore Management University, Lingfeng Bao Zhejiang University City College, David Lo Singapore Management University
10:52
22m
Talk
EClone: Detect Semantic Clones in Ethereum via Symbolic Transaction Sketch
Demonstrations
Han Liu , Zhiqiang Yang Tsinghua University, Chao Liu , Yu Jiang , Wenqi Zhao Ant Financial, Jiaguang Sun
11:15
22m
Talk
INFAR: Insight Extraction from App Reviews
Demonstrations
Cuiyun Gao Computer Science and Engineering, The Chinese University of Hong Kong, Jichuan Zeng , David Lo Singapore Management University, Chin-Yew Lin Microsoft, Michael Lyu , Irwin King
Pre-print
11:37
22m
Talk
PyDriller: Python Framework for Mining Software Repositories
Demonstrations
Davide Spadini Delft University of Technology, Netherlands, Maurício Aniche Delft University of Technology, Netherlands, Alberto Bacchelli University of Zurich
Pre-print
12:00 - 13:30
12:00 - 13:30
12:00
90m
Lunch
Mentoring Lunch II
Faculty Mentorship Roundtables

13:30 - 15:00
Software Maintenance IResearch Papers / Journal-First at Horizons 10-11
Chair(s): Christian Bird Microsoft Research
13:30
22m
Talk
Use and Misuse of Continuous Integration Features: An Empirical Study of Projects that (mis)use Travis CI
Journal-First
Keheliya Gallaba McGill University, Shane McIntosh McGill University
DOI
13:52
22m
Research paper
One Size Does Not Fit All: An Empirical Study of Containerized Continuous Deployment Workflows
Research Papers
Yang Zhang National University of Defense Technology, China, Bogdan Vasilescu Carnegie Mellon University, Huaimin Wang , Vladimir Filkov University of California at Davis, USA
Pre-print
14:15
22m
Talk
Be Careful of When: An Empirical Study on Time-Related Misuse of Issue Tracking Data
Research Papers
Feifei Tu Peking University, China, Jiaxin Zhu Institute of Software at Chinese Academy of Sciences, China, Qimu Zheng Peking University, China, Minghui Zhou Peking University
14:37
22m
Talk
Do the Dependency Conflicts in My Project Matter?
Research Papers
Ying Wang Northeastern University, China, Ming Wen The Hong Kong University of Science and Technology, Zhenwei Liu Northeastern University, China, Rongxin Wu Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Rui Wang Northeastern University, China, Bo Yang Northeastern University, China, Hai Yu Northeastern University, China, Zhiliang Zhu Northeastern University, China, Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and Technology
13:30 - 15:00
Software Analysis IIResearch Papers / Journal-First at Horizons 5
Chair(s): Myra Cohen Iowa State University
13:30
22m
Talk
A Systematic Evaluation of Static API-Misuse Detectors
Journal-First
Sven Amann Technische Universität Darmstadt, Hoan Nguyen Iowa State University, Sarah Nadi University of Alberta, Tien N. Nguyen University of Texas at Dallas, Mira Mezini TU Darmstadt
DOI
13:52
22m
Talk
Do Android Taint Analysis Tools Keep Their Promises?
Research Papers
Felix Pauck Paderborn University, Germany, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Heike Wehrheim Paderborn University
14:15
22m
Talk
Neural-Augmented Static Analysis of Android Communication
Research Papers
Jinman Zhao University of Wisconsin-Madison, USA, Aws Albarghouthi University of Wisconsin-Madison, Vaibhav Rastogi University of Wisconsin-Madison, USA, Somesh Jha University of Wisconsin, Madison, Damien Octeau University of Wisconsin and Pennsylvania State University
14:37
22m
Talk
Oreo: Detection of Clones in the Twilight Zone
Research Papers
Vaibhav Saini University of California at Irvine, USA, Farima Farmahinifarahani University of California at Irvine, USA, Yadong Lu University of California at Irvine, USA, Pierre Baldi University of California at Irvine, USA, Crista Lopes
13:30 - 15:00
NIER IINew Ideas and Emerging Results at Horizons 6-9F
Chair(s): Gail Kaiser Columbia University, New York
13:30
12m
Talk
Beyond Testing Configurable Systems: Applying Variational Execution to Automatic Program Repair and Higher Order Mutation Testing
New Ideas and Emerging Results
Chu-Pan Wong Carnegie Mellon University, Jens Meinicke Magdeburg University, Christian Kästner Carnegie Mellon University
13:42
12m
Talk
Software Fairness
New Ideas and Emerging Results
Yuriy Brun University of Massachusetts Amherst, Alexandra Meliou University of Massachusetts Amherst
Link to publication DOI Pre-print
13:55
12m
Talk
Software Engineering Collaboratories (SEClabs) and Collaboratories as a Service (CaaS)
New Ideas and Emerging Results
Elena Sherman Boise State University, Robert Dyer Bowling Green State University
14:08
12m
Talk
Towards Counterexample-guided k-Induction for Fast Bug Detection
New Ideas and Emerging Results
Mikhail R. Gadelha University of Southampton, Felipe R. Monteiro Federal University of Amazonas, Lucas C. Cordeiro University of Manchester, UK, Denis A. Nicole University of Southampton
14:21
12m
Talk
Salient-Class Location: Help Developers Understand Code Change in Code Review
New Ideas and Emerging Results
Yuan Huang School of Data and Computer Science, Sun Yat-sen University, Guangzhou, China, Nan Jia School of Management Science and Engineering, Hebei GEO University, Shijiazhuang, China, Xiangping Chen , Kai Hong School of Data and Computer Science, Sun Yat-sen University, Guangzhou, China, Zibin Zheng
14:34
12m
Talk
Towards Quantifying the Development Value of Code
New Ideas and Emerging Results
Jinglei Ren Persper Foundation, Hezheng Yin University of California, Berkeley, Qingda Hu Tsinghua University, Armando Fox UC Berkeley, Wojciech Koszek The FreeBSD Project
14:47
12m
Talk
Engineering Human Values in Software: A Research Roadmap
New Ideas and Emerging Results
Davoud Mougouei Monash University, Harsha Perera Monash University, Waqar Hussain Monash University, Rifat Ara Shams Monash University, Jon Whittle Monash University
15:00 - 15:30
Coffee Break AfternoonSocial at Horizons 1-4F
15:30 - 17:00
Symbolic Execution and Constraint SolvingResearch Papers at Horizons 10-11
Chair(s): Satish Chandra Facebook
15:30
22m
Talk
Concurrency Verification with Maximal Path Causality
Research Papers
Qiuping Yi Texas A&M University, Jeff Huang Texas A&M University
15:52
22m
Talk
Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks
Research Papers
Shengjian (Daniel) Guo Virginia Tech, Meng Wu Virginia Tech, Chao Wang USC
16:15
22m
Talk
Symbolic Execution with Existential Second-Order Constraints
Research Papers
Sergey Mechtaev National University of Singapore, Alberto Griggio Fondazione Bruno Kessler, Alessandro Cimatti Fondazione Bruno Kessler, Abhik Roychoudhury National University of Singapore
DOI Pre-print
16:37
22m
Talk
Parameterized Model Counting for String and Numeric Constraints
Research Papers
Abdulbaki Aydin Microsoft, USA, William Eiers University of California at Santa Barbara, USA, Lucas Bang , Tegan Brennan , Miroslav Gavrilov University of California at Santa Barbara, USA, Tevfik Bultan University of California, Santa Barbara, Fang Yu National Chengchi University
15:30 - 17:00
ROSE FestivalROSE Festival at Horizons 5
15:30
90m
Other
ROSE Festival
ROSE Festival

15:30 - 17:00
MiningJournal-First / Research Papers at Horizons 6-9F
Chair(s): Hridesh Rajan Iowa State University
15:30
22m
Talk
Finding Better Active Learners for Faster Literature Reviews
Journal-First
Zhe Yu , Nicholas A. Kraft ABB Corporate Research, Tim Menzies North Carolina State University
DOI
15:52
22m
Talk
Mining Semantic Loop Idioms
Journal-First
Miltiadis Allamanis Microsoft Research, Cambridge, Earl T. Barr University College London, Christian Bird Microsoft Research, Prem Devanbu University of California, Mark Marron Microsoft Research, Charles Sutton University of Edinburgh
DOI
16:15
22m
Talk
NAR-Miner: Discovering Negative Association Rules from Code for Bug Detection
Research Papers
Pan Bian Renmin University of China, China, Bin Liang Renmin University of China, China, Wenchang Shi Renmin University of China, China, Jianjun Huang Renmin University of China, China, Yan Cai Institute of Software, Chinese Academy of Sciences
16:37
22m
Talk
Path-Based Function Embedding and Its Application to Error-Handling Specification Mining
Research Papers
Daniel DeFreez University of California, Davis, Aditya V. Thakur University of California, Davis, Cindy Rubio-González University of California, Davis
15:30 - 17:00
ModelsDemonstrations at Spring Lake
Chair(s): Hamid Bagheri University of Nebraska-Lincoln, USA
15:30
22m
Talk
A Formal Verification Tool for Ethereum VM Bytecode
Demonstrations
Daejun Park University of Illinois at Urbana-Champaign, Yi Zhang University of Illinois at Urbana-Champaign, Manasvi Saxena Runtime Verification, Inc., Philip Daian , Grigore Roşu University of Illinois at Urbana-Champaign
15:52
22m
Talk
ASketch: A Sketching Framework for Alloy
Demonstrations
Kaiyuan Wang , Allison Sullivan , Darko Marinov University of Illinois at Urbana-Champaign, Sarfraz Khurshid University of Texas at Austin
16:15
22m
Talk
VT-Revolution: Interactive Programming Tutorials Made Possible
Demonstrations
Lingfeng Bao Zhejiang University City College, Zhenchang Xing Australia National University, Xin Xia Monash University, David Lo Singapore Management University, Shanping Li
16:37
22m
Talk
AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
Demonstrations
Ferhat Erata UNIT Information Technologies R&D Ltd., Arda Goknil University of Luxembourg, Ivan Kurtev Altran Netherlands, Bedir Tekinerdogan Wageningen University, The Netherlands
18:45 - 19:45
ReceptionSocial at Horizons 6-9F
18:45
60m
Social Event
Reception
Social

19:45 - 22:00
19:45
2h15m
Social Event
Banquet
Social

Thu 8 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00
Keynote IIIKeynotes at Horizons 6-9F
Chair(s): Alessandro Garcia PUC-Rio
08:30
90m
Talk
Ten Years of Hunting for Similar Code for Fun and Profit
Keynotes
Lingxiao Jiang Singapore Management University, Stéphane Glondu Inria Nancy, Zhendong Su ETH Zurich
10:00 - 10:30
Coffee Break MorningSocial at Horizons 1-4F
10:30 - 12:00
ModelsResearch Papers / Journal-First at Horizons 10-11
Chair(s): Maurício Aniche Delft University of Technology, Netherlands
10:30
22m
Talk
The modular and feature toggle architectures of Google Chrome
Journal-First
DOI
10:52
22m
Talk
Applications of Psychological Science for Actionable Analytics
Research Papers
Di Chen North Carolina State University, USA, Wei Fu , Rahul Krishna NC State University, Tim Menzies North Carolina State University
11:15
22m
Talk
Putback-Based Bidirectional Model Transformations
Research Papers
Xiao He University of Science and Technology Beijing, China, Zhenjiang Hu National Institute of Informatics
11:37
22m
Talk
Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT
Research Papers
Regina Hebig Chalmers University of Technology & University of Gothenburg, Christoph Seidl Technische Universität Braunschweig, Thorsten Berger Chalmers University of Technology, Sweden / University of Gothenburg, Sweden, John Kook Pedersen IT University of Copenhagen, Denmark, Andrzej Wąsowski IT University of Copenhagen, Denmark
10:30 - 12:00
Estimation and PredictionResearch Papers / Journal-First at Horizons 5
Chair(s): Jim Herbsleb Carnegie Mellon University
10:30
22m
Talk
Early prediction of merged code changes to prioritize reviewing tasks
Journal-First
Yuanrui Fan , Xin Xia Monash University, David Lo Singapore Management University, Shanping Li
DOI
10:52
22m
Talk
How far we have progressed in the journey? An examination of cross-project defect prediction
Journal-First
Yuming Zhou , Yibiao Yang Nanjing University, China, Hongmin Lu , Lin Chen Nanjing University, Yanhui Li , Yangyang Zhao , Junyan Qian , Baowen Xu
Link to publication DOI
11:15
22m
Talk
A Novel Automated Approach for Software Effort Estimation Based on Data Augmentation
Research Papers
11:37
22m
Talk
Predicting Node Failure in Cloud Service Systems
Research Papers
Qingwei Lin Microsoft, China, Ken Hsieh , Yingnong Dang Microsoft, USA, Hongyu Zhang The University of Newcastle, Kaixin Sui Microsoft, China, Yong Xu Microsoft, China, Jian-Guang Lou Microsoft Research, Chenggang Li Northeastern University, China, Youjiang Wu Microsoft, USA, Randolph Yao Microsoft, USA, Murali Chintalapati Microsoft, USA, Dongmei Zhang Microsoft Research, China
10:30 - 12:00
Repair and SynthesisJournal-First / Research Papers at Horizons 6-9F
Chair(s): Shahar Maoz Tel Aviv University
10:30
22m
Talk
Machine Learning-Based Prototyping of Graphical User Interfaces for Mobile Apps
Journal-First
Kevin Moran College of William & Mary, Carlos Bernal-Cárdenas William and Mary, Michael Curcio , Richard Bonett , Denys Poshyvanyk William and Mary
DOI Pre-print Media Attached
10:52
22m
Talk
Detecting Speech Act Types in Developer Question/Answer Conversations during Bug Repair
Research Papers
11:15
22m
Research paper
Visual Web Test Repair
Research Papers
Andrea Stocco University of British Columbia, Rahulkrishna Yandrapally University of British Columbia, Canada, Ali Mesbah University of British Columbia
Pre-print Media Attached
11:37
22m
Talk
Syntax-Guided Synthesis of Datalog Programs
Research Papers
Xujie Si University of Pennsylvania, Woosuk Lee University of Pennsylvania, USA, Richard Zhang University of Pennsylvania, Aws Albarghouthi University of Wisconsin-Madison, Paraschos Koutris University of Wisconsin-Madison, USA, Mayur Naik University of Pennsylvania
12:00 - 13:30
12:00 - 13:30
12:00
90m
Lunch
Mentoring Lunch III
Faculty Mentorship Roundtables

13:30 - 15:00
Software Maintenance IIResearch Papers / Journal-First at Horizons 10-11
Chair(s): Emerson Murphy-Hill North Carolina State University
13:30
22m
Talk
Automating Change-level Self-admitted Technical Debt Determination
Journal-First
Meng Yan , Xin Xia Monash University, Emad Shihab Concordia University, David Lo Singapore Management University, Jianwei Yin , Xiaohu Yang
DOI
13:52
22m
Talk
Large-Scale Study of Substitutability in the Presence of Effects
Research Papers
Jackson Maddox Iowa State University, USA, Yuheng Long Iowa State University, Hridesh Rajan Iowa State University
14:15
22m
Talk
An Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Systems
Research Papers
Yu Gao Institute of Software, Chinese Academy of Sciences, Wensheng Dou Institute of Software, Chinese Academy of Sciences, Feng Qin Ohio State University, USA, Chushu Gao Institute of Software, Chinese Academy of Sciences, Dong Wang Institute of Software at Chinese Academy of Sciences, China, Jun Wei State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, Ruirui Huang Alibaba Group, China, Li Zhou Alibaba Group, China, Yongming Wu Alibaba Group, China
14:37
22m
Talk
Complementing Global and Local Contexts in Representing API Descriptions to Improve API Retrieval Tasks
Research Papers
Thanh Nguyen Iowa State University, Ngoc Tran , Hung Phan , Trong Nguyen Iowa State University, USA, Linh Truong , Trong Nguyen Iowa State University, USA, Hoan Anh Nguyen Iowa State University, USA, Tien N. Nguyen University of Texas at Dallas
13:30 - 15:00
Probabilistic ReasoningResearch Papers at Horizons 5
Chair(s): Antonio Filieri Imperial College London
13:30
22m
Talk
Phys: Probabilistic Physical Unit Assignment and Inconsistency Detection
Research Papers
Sayali Kate Purdue University, USA, John-Paul Ore University of Nebraska-Lincoln, USA, Xiangyu Zhang Purdue University, Sebastian Elbaum University of Nebraska-Lincoln, USA, Zhaogui Xu Nanjing University, China
Pre-print
13:52
22m
Talk
Testing Probabilistic Programming Systems
Research Papers
Saikat Dutta University of Illinois at Urbana-Champaign, USA, Owolabi Legunsen University of Illinois at Urbana-Champaign, Zixin Huang University of Illinois at Urbana-Champaign, USA, Sasa Misailovic University of Illinois at Urbana-Champaign
14:14
22m
Talk
Verifying the Long-Run Behavior of Probabilistic System Models in the Presence of Uncertainty
Research Papers
Yamilet R. Serrano Llerena National University of Singapore, Singapore, Marcel Böhme Monash University, Marc Brünink nil, Singapore, Guoxin Su University of Wollongong, Australia, David Rosenblum National University of Singapore
13:30 - 15:00
Debugging and Bug LocalizationResearch Papers at Horizons 6-9F
Chair(s): Earlence Fernandes University of Michigan
13:30
22m
Talk
Automated Patch Extraction via Syntax- and Semantics-Aware Delta Debugging on Source Code Changes
Research Papers
Masatomo Hashimoto Chiba Institute of Technology, Japan, Akira Mori National Institute of Advanced Industrial Science and Technology, Japan, Tomonori Izumida IIJ Innovation Institute, Japan
Link to publication DOI Authorizer link
13:52
22m
Talk
Feedback-Directed Differential Testing of Interactive Debuggers
Research Papers
Daniel Lehmann TU Darmstadt, Michael Pradel TU Darmstadt
14:15
22m
Talk
Improving IR-Based Bug Localization with Context-Aware Query Reformulation
Research Papers
Masud Rahman University of Saskatchewan , Chanchal K. Roy University of Saskatchewan
Pre-print
14:37
22m
Talk
How Should Compilers Explain Problems to Developers?
Research Papers
Titus Barik Microsoft, Denae Ford North Carolina State University, Emerson Murphy-Hill North Carolina State University, Chris Parnin NCSU
Pre-print
15:00 - 15:30
Coffee Break AfternoonSocial at Horizons 1-4F
15:30 - 17:00
Ecosystems and CrowdsourcingJournal-First / Research Papers at Horizons 10-11
Chair(s): Peter Rigby Concordia University, Montreal, Canada
15:30
22m
Talk
Comparison of release engineering practices in a large mature company and a startup
Journal-First
Eero Laukkanen , Maria Paasivaara IT University of Copenhagen, Denmark & Aalto University, Finland, Juha Itkonen , Casper Lassenius Aalto University, Finland and Simula Metropolitan Center for Digital Engineering, Norway
DOI
15:52
22m
Talk
Microtask Programming
Journal-First
Thomas LaToza George Mason University, Arturo Di Lecce , Fabio Ricci , W. Ben Towne , Andre van der Hoek University of California, Irvine
DOI
16:14
22m
Talk
Ecosystem-Level Determinants of Sustained Activity in Open-Source Projects: A Case Study of the PyPI Ecosystem
Research Papers
Marat Valiev Carnegie Mellon University, USA, Bogdan Vasilescu Carnegie Mellon University, Jim Herbsleb Carnegie Mellon University
15:30 - 17:00
Testing IIResearch Papers / Journal-First at Horizons 5
Chair(s): Tevfik Bultan University of California, Santa Barbara
15:30
22m
Talk
On the correctness of electronic documents: studying, finding, and localizing inconsistency bugs in PDF readers and files
Journal-First
Tomasz Kuchta , Thibaud Lutellier , Edmund Wong , Lin Tan University of Waterloo , Cristian Cadar Imperial College London
DOI
15:52
22m
Talk
Optimizing Test Prioritization via Test Distribution Analysis
Research Papers
Junjie Chen Peking University, Yiling Lou Peking University, China, Lingming Zhang , Jianyi Zhou Peking University, China, Xiaoleng Wang Baidu, China, Dan Hao Peking University, Lu Zhang Peking University
16:15
22m
Talk
How Well Are Regular Expressions Tested in the Wild?
Research Papers
Peipei Wang North Carolina State University, USA, Kathryn Stolee North Carolina State University
16:37
22m
Talk
Which Generated Test Failures Are Fault Revealing? Prioritizing Failures Based on Inferred Precondition Violations using PAF
Research Papers
Mijung Kim Hong Kong University of Science and Technology, China, Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Sunghun Kim Hong Kong University of Science and Technology
15:30 - 17:00
EnergyResearch Papers / Journal-First at Horizons 6-9F
Chair(s): Diego Garbervetsky University of Buenos Aires, Argentina
15:30
30m
Talk
Approximate Oracles and Synergy in Software Energy Search Spaces
Journal-First
Bobby R. Bruce , Justyna Petke University College London, Mark Harman Facebook and University College London, Earl T. Barr
DOI
16:00
30m
Talk
Detection of Energy Inefficiencies in Android Wear Watch Faces
Research Papers
Hailong Zhang Ohio State University, Haowei Wu , Atanas Rountev Ohio State University
16:30
30m
Talk
Stochastic Energy Optimization for Mobile GPS Applications
Research Papers
Anthony Canino SUNY Binghamton, Yu David Liu State University of New York (SUNY) Binghamton, Hidehiko Masuhara Tokyo Institute of Technology
17:15 - 17:45
Closing Plenary (closing ceremony)Social at Horizons 6-9F
17:15
30m
Social Event
Closing Plenary (closing ceremony)
Social
Gary T. Leavens University of Central Florida

Fri 9 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00
WASPI workshopWASPI at Spring Lake
Chair(s): Robert Dyer Bowling Green State University, Gary T. Leavens University of Central Florida, Hoan Anh Nguyen Iowa State University, USA, Tien N. Nguyen University of Texas at Dallas, Hridesh Rajan Iowa State University
09:00
15m
Day opening
Welcome and introductions
WASPI

09:15
45m
Talk
New frontier of mining software repositories at scale---Usability and information delivery (invited talk)
WASPI
Miryung Kim University of California, Los Angeles
10:00 - 10:30
Coffee Break MorningSocial at Spring Lake
10:30 - 12:00
Morning TalksWASPI at Spring Lake
Chair(s): Gary T. Leavens University of Central Florida
10:30
30m
Talk
Towards Combining Usage Mining and Implementation Analysis to Infer API Preconditions
WASPI
Hoan Anh Nguyen Iowa State University, USA, Tien N. Nguyen University of Texas at Dallas, Hridesh Rajan Iowa State University, Robert Dyer Bowling Green State University
11:00
30m
Talk
Contract Discovery from Black-Box Components
WASPI
Vaibhav Sharma University of Minnesota, Taejoon Byun University of Minnesota, Stephen McCamant University of Minnesota, Sanjai Rayadurgam University of Minnesota, Mats P. E. Heimdahl University of Minnesota, USA
11:30
30m
Talk
Automated Generation of Creative Software Requirements: A Data-Driven Approach
WASPI
Quoc Anh Do Mississippi State University, Tanmay Bhowmik Mississippi State University
12:00 - 13:30
13:30 - 14:30
Afternoon talksWASPI at Spring Lake
Chair(s): Robert Dyer Bowling Green State University
13:30
30m
Talk
On the Significance of Contract-Based Typestate Specification
WASPI
Samantha Syeda Khairunnesa Iowa State University, Hoan Anh Nguyen Iowa State University, USA, Hridesh Rajan Iowa State University
14:00
30m
Talk
Towards Static Recovery of Micro State Transitions from Legacy Embedded Code
WASPI
Ryota Yamamoto Nagoya University, Norihiro Yoshida Nagoya University, Hiroaki Takada Nagoya University
DOI Pre-print
14:30 - 15:00
Future of Specification Inference PanelWASPI at Spring Lake
Chair(s): Hoan Nguyen Iowa State University
14:30
30m
Other
Panel Discussion on Future of Specification Inference
WASPI

15:00 - 15:30
Coffee Break AfternoonSocial at Spring Lake
15:30 - 17:00
Open Discussion: Benchmarks for Program SpecificationWASPI at Spring Lake
Chair(s): Hridesh Rajan Iowa State University
15:30
90m
Other
Open Discussion - Benchmarks for Program Specification
WASPI