Conference Dates
Conference Dates are in time zone (GMT-05:00) Guadalajara, Mexico City, Monterrey, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Conference Day
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 BrockschmidtMicrosoft 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 LeeUniversity of California at Davis, USA, Casey CasalnuovoUniversity of California at Davis, USA
11:00
15m
Talk
A Fine-Grained Approach for Automated Conversion of JUnit Assertions to English
NL4SE
Danielle GonzalezRochester Institute of Technology, USA, Suzanne PrenticeUniversity of South Carolina, USA, Mehdi MirakhorliRochester Institute of Technology
11:15
15m
Talk
TestNMT: Function-to-Test Neural Machine Translation
NL4SE
Robert WhiteUniversity College London, UK, Jens KrinkeUniversity 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. HaririOakland University, USA, Katey A. PriceAlbion College, USA
11:45
15m
Talk
Generating Comments from Source Code with CCGs
NL4SE
Sergey MatskevichDrexel University, USA, Colin GordonDrexel 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 MannanOregon State University, USA, Iftekhar AhmedUniversity of California at Irvine, USA, Anita SarmaOregon 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 LiuUniversity of Illinois at Urbana-Champaign, USA, Chi WangMicrosoft, USA, Yue LengUniversity of Illinois at Urbana-Champaign, USA, ChengXiang ZhaiUniversity of Illinois at Urbana-Champaign, USA
14:15
15m
Talk
Natural Language Processing (NLP) Applied on Issue Trackers
NL4SE
Mathias EllmannUniversity of Hamburg and LegalTechTeam
14:30
15m
Talk
Mining Monitoring Concerns Implementation in Java-Based Software Systems
NL4SE
Grigoreta Sofia CojocarDepartment of Computer Science, Babes-Bolyai University, Adriana-Mihaela GuranDepartment of Computer Science, Babes-Bolyai University
14:45
15m
Talk
Two Perspectives on Software Documentation Quality in Stack Overflow
NL4SE
Mathias EllmannUniversity of Hamburg and LegalTechTeam, Marko Schnecken.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

Conference Day
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 RajanIowa State University
09:00
60m
Talk
Presenting Software Engineering Research
Doctorial Symposium
S: Margaret-Anne StoreyUniversity 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 SpadiniDelft University of Technology, Netherlands
10:52
22m
Talk
Automated Support for Mobile Application Testing and Maintenance
Doctorial Symposium
Mattia FazziniGeorgia Institute of Technology
11:14
22m
Talk
Moving Towards Objective Measures of Program Comprehension
Doctorial Symposium
Sarah FakhouryWashington State University
11:36
22m
Talk
Semantic Inference from Natural Language Privacy Policies and Android Code
Doctorial Symposium
Mitra Bokaei HosseiniUniversity 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 ZhouYangzhou University
13:52
22m
Talk
Quality Assurance Automation in Autonomous Systems
Doctorial Symposium
Afsoon AfzalCarnegie Mellon University
14:14
22m
Talk
How Do Developers Resolve Merge Conflicts? An Investigation Into the Processes, Tools, and Improvements
Doctorial Symposium
Caius BrindescuOregon 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 BultanUniversity 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 PaquinBoise State University, Elena ShermanBoise State University, Amit JainBoise State University
11:00
30m
Research paper
Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP)
JPF
Lucas C. CordeiroUniversity of Manchester, UK, Daniel KroeningUniversity of Oxford, Peter SchrammelUniversity of Sussex
11:30
30m
Research paper
Attack Synthesis for Strings using Meta-Heuristics
JPF
Seemanta SahaUniversity of California Santa Barbara, Ismet Burak KadronUniversity of California at Santa Barbara, USA, William EiersUniversity of California at Santa Barbara, USA, Lucas Bang, Tevfik BultanUniversity 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 PhanFujitsu Laboratories of America
14:00
30m
Research paper
Memory safety in C by abstract interpretation
JPF
joseph JonesBrigham Young University, James WassonBrigham Young University, Sean BrownBrigham Young University, Seth PoulsenBrigham Young University, Peter AldousBrigham Young University, Eric MercerBrigham Young University
14:30
30m
Research paper
Automatic Data Structure Repair using Separation Logic
JPF
Guolong ZhengUniversity of Nebraska Lincoln, Quang Loc LeSchool of Computing, Teesside University, UK, ThanhVu NguyenUniversity of Nebraska-Lincoln, Quoc-Sang PhanFujitsu 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 ConverseThe University of Texas at Austin, Milos GligoricUniversity of Texas at Austin, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, Sarfraz KhurshidUniversity 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 BaltesUniversity of Trier, Jascha KnackUniversity of Trier, Germany, Daniel AnastasiouUniversity of Trier, Germany, Ralf TymannUniversity of Trier, Germany, Stephan DiehlComputer 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 RahmanNorth Carolina State University, Amritanshu AgrawalNorth Carolina State University, Rahul KrishnaNC 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 AdamoUltimate Software, USA, Md Khorrom KhanUniversity of North Texas, USA, Sreedevi KoppulaUniversity of North Texas, USA, Renée BryceUniversity of North Texas, USA
10:48
18m
Talk
Extending Equivalence Transformation Based Program Generator for Random Testing of C Compilers
A-TEST
Shogo TakakuraKwansei Gakuin University, Japan, Mitsuyoshi IwatsujiKwansei Gakuin University, Japan, Nagisa IshiuraKwansei Gakuin University
11:06
18m
Talk
HDDr: A Recursive Variant of the Hierarchical Delta Debugging Algorithm
A-TEST
Ákos KissUniversity of Szeged, Hungary, Renáta HodovánUniversity of Szeged, Hungary, Tibor GyimóthyUniversity of Szeged, Hungary
11:24
18m
Talk
Goal-Oriented Mutation Testing with Focal Methods
A-TEST
Sten VercammenUniversity of Antwerp, Belgium, Mohammad GhafariUniversity of Bern, Serge DemeyerUniversity of Antwerp, Belgium, Markus BorgRISE 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 VuongKeio University, Japan, Shingo TakadaKeio 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 FalessiCalifornia Polytechnic State University, Max Jason MoedeCalifornia Polytechnic State University, USA
11:37
22m
Talk
Is One Hyperparameter Optimizer Enough?
SWAN
Huy TuNorth 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 KitauraKwansei Gakuin University, Japan, Nagisa IshiuraKwansei Gakuin University
14:15
45m
Talk
Test Patterns for IoT
A-TEST
Pedro Martins PontesFaculty of Engineering, University of Porto and INESC TEC, Bruno LimaFaculty of Engineering, University of Porto and INESC TEC, João Pascoal FariaFaculty 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

Conference Day
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 SunUniversity of California, Davis
10:00
30m
Poster
Feature-Interaction Aware Configuration Prioritization
Student Research Competition
Son NguyenThe University of Texas at Dallas
10:00
30m
Poster
Diversity and Decorum in Open Source Communities
Student Research Competition
Neill RobsonNC State University
10:00
30m
Poster
Type Migration in Large-Scale Code Bases
Student Research Competition
Ameya KetkarOregon 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 TomassiUniversity of California, Davis
10:00
30m
Poster
Mining Error-Handling Specifications for Systems Software
Student Research Competition
Daniel DeFreezUniversity of California, Davis
10:00
30m
Poster
Automated Scenario-based Integration Testing of Distributed Systems
Student Research Competition
Bruno LimaFaculty of Engineering, University of Porto and INESC TEC
10:00
30m
Poster
Reshaping Distributed Agile and Adaptive Development Environment
Student Research Competition
Francesco NoceraPolytechnic 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 AnandUniversity 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 MatthiesHasso 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 SpadiniDelft University of Technology, Netherlands
10:00
30m
Poster
Poster: Automated Support for Mobile Application Testing and Maintenance
Doctorial Symposium
Mattia FazziniGeorgia Institute of Technology
10:00
30m
Poster
Poster: Moving Towards Objective Measures of Program Comprehension
Doctorial Symposium
Sarah FakhouryWashington State University
10:00
30m
Poster
Poster: Semantic Inference from Natural Language Privacy Policies and Android Code
Doctorial Symposium
Mitra Bokaei HosseiniUniversity of Texas at San Antonio
10:00
30m
Poster
Poster: Intelligent Bug Fixing with Sofware Bug Knowledge Graph
Doctorial Symposium
Cheng ZhouYangzhou University
10:00
30m
Poster
Poster: Quality Assurance Automation in Autonomous Systems
Doctorial Symposium
Afsoon AfzalCarnegie Mellon University
10:00
30m
Poster
Poster: How Do Developers Resolve Merge Conflicts? An Investigation Into the Processes, Tools, and Improvements
Doctorial Symposium
Caius BrindescuOregon 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 VisserStellenbosch University
10:30
22m
Talk
CloudRaid: Hunting Concurrency Bugs in the Cloud via Log-Mining
Research Papers
JieLu , Feng LiInstitute of Computing Technology at Chinese Academy of Sciences, China, Lian LiInstitute of Computing Technology at Chinese Academy of Sciences, China, Xiaobing FengICT CAS
10:52
22m
Talk
Testing Multithreaded Programs via Thread Speed Control
Research Papers
Dongjie Chen, Yanyan JiangNanjing University, Chang XuNanjing University, Xiaoxing MaNanjing University, Jian LuNanjing University
11:15
22m
Talk
Data Race Detection on Compressed Traces
Research Papers
Dileep KiniUniversity of Illinois at Urbana-Champaign, Umang MathurUniversity of Illinois at Urbana-Champaign, Mahesh ViswanathanUniversity of Illinois at Urbana-Champaign
11:37
22m
Talk
Practical AJAX Race Detection for JavaScript Web Applications
Research Papers
Christoffer Quist AdamsenAarhus University, Anders MøllerAarhus University, Saba AlimadadiNortheastern University, Frank TipNortheastern University
10:30 - 12:00
Log MiningJournal-First / Research Papers at Horizons 6-9F
Chair(s): Dongyoon LeeVirginia Tech, USA
10:30
22m
Talk
Studying and Detecting Log-Related Issues
Journal-First
Mehran Hassani, Weiyi ShangConcordia University, Canada, Emad ShihabConcordia University, Nikolaos TsantalisConcordia 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 XingAustralia National University, Xin XiaMonash University, David LoSingapore Management University
DOI
11:15
22m
Talk
Using Finite-State Models for Log Differencing
Research Papers
Hen AmarTel Aviv University, Israel, Lingfeng Bao Zhejiang University City College, Nimrod BusanyTel Aviv University, Israel, David LoSingapore Management University, Shahar MaozTel Aviv University
11:37
22m
Talk
Identifying Impactful Service System Problems via Log Analysis
Research Papers
Shilin HeChinese University of Hong Kong, Qingwei LinMicrosoft, China, Jian-Guang LouMicrosoft Research, Hongyu ZhangThe University of Newcastle, Michael Lyu, Dongmei ZhangMicrosoft 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 GulzarUniversity of California, Los Angeles, Siman WangHunan University, Miryung KimUniversity of California, Los Angeles
10:52
22m
Talk
FOT: A Versatile, Configurable, Extensible Fuzzing Framework
Demonstrations
Hongxu ChenNanyang Technological University, Yuekang LiNanyang Technological University, Bihuan ChenFudan University, Yinxing Xue, Yang LiuNanyang Technological University, Singapore
11:15
22m
Talk
Themis: Automatically Testing Software for Discrimination
Demonstrations
Rico AngellUniversity of Massachusetts, Amherst, Brittany JohnsonUniversity of Massachusetts Amherst, Yuriy BrunUniversity of Massachusetts Amherst, Alexandra MeliouUniversity of Massachusetts Amherst
Link to publication DOI Pre-print
11:37
22m
Demonstration
Vista: Web Test Repair Using Computer Vision
Demonstrations
Andrea StoccoUniversity of British Columbia, Rahulkrishna YandrapallyUniversity of British Columbia, Canada, Ali MesbahUniversity 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 SuETH Zurich
13:30
22m
Talk
CHiP: A Configurable Hybrid Parallel Covering Array Constructor
Journal-First
DOI
13:52
22m
Talk
Learning to Sample: Exploiting Similarities Across Environments to Learn Performance Models for Configurable Systems
Research Papers
Pooyan JamshidiUniversity of South Carolina, Miguel VelezCarnegie Mellon University, USA, Christian KaestnerCarnegie Mellon University, Norbert SiegmundBauhaus-University Weimar
14:15
22m
Talk
Performance Comprehension at WiredTiger
Research Papers
Alexandra (Sasha) FedorovaUniversity of British Columbia, Craig MustardUniversity of British Columbia, Canada, Ivan BeschastnikhComputer Science, University of British Columbia, Julia RubinUniversity of British Columbia, Augustine WongUniversity of British Columbia, Canada, Svetozar MiucinUniversity of British Columbia, Canada, Louis YeUniversity of British Columbia, Canada
14:37
22m
Talk
MemFix: Static Analysis-Based Repair of Memory Deallocation Errors for C
Research Papers
Junhee LeeKorea University, South Korea, Seongjoon HongKorea University, Hakjoo OhKorea University
13:30 - 15:00
Software Analysis IJournal-First / Research Papers at Horizons 5
Chair(s): Sebastian ElbaumUniversity of Nebraska-Lincoln, USA
13:30
22m
Talk
On Accelerating Source Code Analysis At Massive Scale
Journal-First
Ganesha UpadhyayaFuturewei Technologies, Hridesh RajanIowa State University
DOI
13:52
22m
Talk
RefiNym: Using Names to Refine Types
Research Papers
Santanu Kumar DashUniversity College London, UK, Miltiadis AllamanisMicrosoft Research, Cambridge, Earl T. Barr
14:15
22m
Talk
Darwinian Data Structure Selection
Research Papers
Michail BasiosUniversity College London, Lingbo LiUniversity College London, UK, Fan WuUniversity College London, UK, Leslie KanthanUniversity 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 LiAarhus University, Denmark, Tian TanAarhus University, Denmark, Anders MøllerAarhus University, Yannis SmaragdakisUniversity of Athens
13:30 - 15:00
Deep LearningResearch Papers at Horizons 6-9F
Chair(s): David RosenblumNational University of Singapore
13:30
22m
Talk
Deep Learning Type Inference
Research Papers
Vincent HellendoornUniversity of California at Davis, USA, Christian BirdMicrosoft Research, Earl T. Barr, Miltiadis AllamanisMicrosoft Research, Cambridge
13:52
22m
Talk
DeepSim: Deep Learning Code Functional Similarity
Research Papers
Gang Zhao, Jeff HuangTexas A&M University
14:15
22m
Talk
Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces
Research Papers
Jordan HenkelUniversity of Wisconsin–Madison, Shuvendu LahiriMicrosoft Research, Ben LiblitUniversity of Wisconsin–Madison, Thomas RepsUniversity 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 MaPurdue University, USA, Yingqi LiuPurdue University, USA, Wen-Chuan LeePurdue University, Xiangyu ZhangPurdue University, Ananth GramaPurdue University, USA
13:30 - 15:00
SecurityIndustry at Solar
Chair(s): Myra CohenIowa State University
13:30
22m
Talk
Are Mobile Banking Apps Secure? What Can be Improved?
Industry
Sen ChenNanyang Technological University, Singapore, Ting SuNanyang Technological University, Singapore, Lingling FanEast China Normal University, China/Nanyang Technological University, Singapore, Guozhu Meng, Minhui Xue, Yang LiuNanyang Technological University, Singapore, Lihua Xu
13:52
22m
Talk
VulSeeker-Pro: Enhanced Semantic Learning Based Binary Vulnerability Seeker With Emulation
Industry
Jian GaoSchool of Software, Tsinghua University, Xin YangUnionbigdata.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 NoceraPolytechnic University of Bari
15:00
30m
Poster
Diversity and Decorum in Open Source Communities
Student Research Competition
Neill RobsonNC 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 SunUniversity of California, Davis
15:00
30m
Poster
Mining Error-Handling Specifications for Systems Software
Student Research Competition
Daniel DeFreezUniversity 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 NguyenThe 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 TomassiUniversity of California, Davis
15:00
30m
Poster
Type Migration in Large-Scale Code Bases
Student Research Competition
Ameya KetkarOregon State University, USA
15:00
30m
Poster
Dara - Hybrid Model Checking of Distributed Systems
Student Research Competition
Vaastav AnandUniversity of British Columbia
15:00
30m
Poster
Automated Scenario-based Integration Testing of Distributed Systems
Student Research Competition
Bruno LimaFaculty 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 HosseiniUniversity of Texas at San Antonio
15:00
30m
Poster
Poster: Practices And Tools For Better Software Testing
Doctorial Symposium
Davide SpadiniDelft 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 AfzalCarnegie Mellon University
15:00
30m
Poster
Poster: Intelligent Bug Fixing with Sofware Bug Knowledge Graph
Doctorial Symposium
Cheng ZhouYangzhou University
15:00
30m
Poster
Poster: Automated Support for Mobile Application Testing and Maintenance
Doctorial Symposium
Mattia FazziniGeorgia Institute of Technology
15:00
30m
Poster
Poster: Feedback in Scrum Processes: Data-Driven Retrospectives
Doctorial Symposium
Christoph MatthiesHasso 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 BrindescuOregon 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 FakhouryWashington 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 LaTozaGeorge 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 WangQueen's University, Cor-Paul BezemerUniversity of Alberta, Canada, Katsuro InoueOsaka University
DOI
16:15
22m
Talk
Towards a Theory of Software Development Expertise
Research Papers
Sebastian BaltesUniversity of Trier, Stephan DiehlComputer 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 RamUniversity of Waterloo, Anand Ashok SawantDelft University of Technology, Marco CastelluccioMozilla Foundation, UK, Alberto BacchelliUniversity 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 LoSingapore 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 WangUniversity of Texas at San Antonio, USA
DOI
15:52
22m
Talk
Singularity: Pattern Fuzzing for Worst Case Complexity
Research Papers
Jiayi WeiUniversity of Texas at Austin, Jia ChenUniversity of Texas at Austin, Yu FengUniversity of California, Santa Barbara, USA, Kostas FerlesUT Austin, Isil DilligUT Austin
DOI Pre-print
16:15
22m
Talk
Bug Synthesis: Challenging Bug-Finding Tools with Deep Faults
Research Papers
Subhajit RoyIIT Kanpur, India, Awanish PandeyIIT Kanpur, India, Brendan Dolan-GavittNew York University, Yu HuNew York University, USA
16:37
22m
Talk
Modify, Enhance, Select: Co-Evolution of Combinatorial Models and Test Plans
Research Papers
Rachel Tzoref-BrillIBM Research, Shahar MaozTel Aviv University
15:30 - 17:00
15:30
22m
Talk
Text Filtering and Ranking for Security Bug Report Prediction
Journal-First
Fayola PetersLero - The Irish Software Research Centre and University of Limerick, Thein Than Tun, Yijun YuThe Open University, UK, Bashar NuseibehThe Open University (UK) & Lero (Ireland)
DOI
15:52
22m
Talk
STADS: Software Testing as Species Discovery
Journal-First
Marcel BöhmeMonash 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. DavisVirginia Tech, USA, Christy A. CoghlanVirginia Tech, USA, Francisco ServantVirginia Tech, Dongyoon LeeVirginia Tech, USA
16:37
22m
Talk
FraudDroid: Automated Ad Fraud Detection for Android Apps
Research Papers
Feng DongBeijing University of Posts and Telecommunications, China, Haoyu Wang, Li LiMonash University, Australia, Yao GuoPeking University, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Tianming LiuBeijing University of Posts and Telecommunications, China, Guoai Xu , Jacques KleinUniversity of Luxembourg, SnT
15:30 - 17:00
BugsDemonstrations at Solar
Chair(s): Hoan NguyenIowa State University
15:30
22m
Talk
Augmenting Stack Overflow with API Usage Patterns Mined from GitHub
Demonstrations
Anastasia Reinhardt, Tianyi ZhangUniversity of California, Los Angeles, Mihir MathurUniversity of California, Los Angeles, Miryung KimUniversity 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 LuUniversity of Chicago, Alvin CheungUniversity of Washington
16:15
22m
Talk
SketchFix: A Tool for Automated Program Repair Approach Using Lazy Candidate Generation
Demonstrations
Jinru Hua, Mengshi ZhangUniversity of Texas at Austin, USA, Kaiyuan Wang, Sarfraz KhurshidUniversity 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 QuerelConcordia University, Peter RigbyConcordia 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 ZimmermannMicrosoft Research
18:45 - 20:00
Post Town Hall ReceptionSocial at Horizons 1-4F
18:45
75m
Social Event
Post Town Hall Reception
Social
Gary LeavensUniversity of Central Florida

Conference Day
Wed 7 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00
Keynote IIKeynotes at Horizons 6-9F
Chair(s): Satish ChandraFacebook
08:30
90m
Talk
In the age of Software 2.0, what role for software engineers?
Keynotes
Tim MenziesNorth 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 McIntoshMcGill University
10:30
22m
Talk
Getting the Most from Map Data Structures in Android
Journal-First
Rubén Saborido InfantesDepartment of Computer Science and Software Engineering, Concordia University, Montreal, Rodrigo MoralesConcordia University, Foutse KhomhPolytechnique Montréal, Yann-Gaël GuéhéneucConcordia University and Polytechnique Montréal, Giuliano AntoniolPolytechnique 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 FengUniversity of California, Irvine, Zhenyu ChenNanjing University, W. Eric Wong
DOI
11:15
22m
Talk
AppFlow: Using Machine Learning to Synthesize Robust, Reusable UI Tests
Research Papers
Gang HuColumbia University, USA, Linjie Zhu, Junfeng YangColumbia University
11:37
22m
Talk
Winning the App Production Rally
Research Papers
Ehsan NoeiUniversity of Toronto, Daniel Alencar Da Costa Queen's University, Kingston, Ontario, Ying ZouQueen's University, Kingston, Ontario
10:30 - 12:00
End User Programming and Financial ApplicationsIndustry at Horizons 5
Chair(s): Shing-Chi CheungDepartment 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
10:52
22m
Talk
Testing and Validating End User Programmed Calculated Fields
Industry
Víctor Braberman, Diego GarbervetskyUniversity of Buenos Aires, Argentina, Javier Godoy, Sebastian UchitelUniversidad de Buenos Aires / Imperial College, Guido de Caso, Ignacio Perez, Santiago Perez De RossoMIT CSAIL
11:15
22m
Talk
Automated Refactoring of Nested-IF Formulae in Spreadsheets
Industry
Jie Zhang, Shi Han, Dan HaoPeking University, Lu Zhang, Dongmei ZhangMicrosoft Research, China
11:37
22m
Talk
FACTS: Automated Black-box Testing of FinTech Systems
Industry
10:30 - 12:00
NIER INew Ideas and Emerging Results at Horizons 6-9F
Chair(s): Gail KaiserColumbia University, New York
10:30
12m
Talk
Gamifying Static Analysis
New Ideas and Emerging Results
Lisa Nguyen Quang DoPaderborn University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
10:42
12m
Talk
The Case for Experiment-Oriented Computing
New Ideas and Emerging Results
Paulo SalemDell EMC
10:55
12m
Talk
On the Naturalness of Proofs
New Ideas and Emerging Results
Vincent HellendoornUniversity of California at Davis, USA, Amin AlipourUniversity of Houston, Prem DevanbuUniversity 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 McNamaraNorth Carolina State University, Justin SmithNorth Carolina State University, Emerson Murphy-HillNorth 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 XuInstitute of Software Chinese Academy of Sciences, Wensheng DouInstitute of Software, Chinese Academy of Sciences, Jiaxin ZhuInstitute of Software at Chinese Academy of Sciences, China, Chushu GaoInstitute of Software, Chinese Academy of Sciences, Jun WeiState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, Tao HuangInstitute 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 ImtiazMississippi State University, Tanmay BhowmikMississippi State University
10:30 - 12:00
MiningDemonstrations at Spring Lake
Chair(s): Peter RigbyConcordia University, Montreal, Canada
10:30
22m
Talk
DSM: A Specification Mining Tool using Recurrent Neural Network Based Language Model
Demonstrations
Tien-Duy B. LeSchool of Information Systems, Singapore Management University, Lingfeng Bao Zhejiang University City College, David LoSingapore Management University
10:52
22m
Talk
EClone: Detect Semantic Clones in Ethereum via Symbolic Transaction Sketch
Demonstrations
Han Liu, Zhiqiang YangTsinghua University, Chao Liu, Yu Jiang, Wenqi ZhaoAnt Financial, Jiaguang Sun
11:15
22m
Talk
INFAR: Insight Extraction from App Reviews
Demonstrations
Cuiyun GaoComputer Science and Engineering, The Chinese University of Hong Kong, Jichuan Zeng, David LoSingapore Management University, Chin-Yew LinMicrosoft, Michael Lyu, Irwin King
Pre-print
11:37
22m
Talk
PyDriller: Python Framework for Mining Software Repositories
Demonstrations
Davide SpadiniDelft University of Technology, Netherlands, Maurício AnicheDelft University of Technology, Netherlands, Alberto BacchelliUniversity 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 BirdMicrosoft 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 GallabaMcGill University, Shane McIntoshMcGill University
DOI
13:52
22m
Research paper
One Size Does Not Fit All: An Empirical Study of Containerized Continuous Deployment Workflows
Research Papers
Yang ZhangNational University of Defense Technology, China, Bogdan VasilescuCarnegie Mellon University, Huaimin Wang, Vladimir FilkovUniversity 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 TuPeking University, China, Jiaxin ZhuInstitute of Software at Chinese Academy of Sciences, China, Qimu ZhengPeking University, China, Minghui ZhouPeking University
14:37
22m
Talk
Do the Dependency Conflicts in My Project Matter?
Research Papers
Ying WangNortheastern University, China, Ming WenThe Hong Kong University of Science and Technology, Zhenwei LiuNortheastern University, China, Rongxin WuDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Rui WangNortheastern University, China, Bo YangNortheastern University, China, Hai YuNortheastern University, China, Zhiliang ZhuNortheastern University, China, Shing-Chi CheungDepartment 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 CohenIowa State University
13:30
22m
Talk
A Systematic Evaluation of Static API-Misuse Detectors
Journal-First
Sven AmannTechnische Universität Darmstadt, Hoan NguyenIowa State University, Sarah NadiUniversity of Alberta, Tien N. NguyenUniversity of Texas at Dallas, Mira MeziniTU Darmstadt
DOI
13:52
22m
Talk
Do Android Taint Analysis Tools Keep Their Promises?
Research Papers
Felix PauckPaderborn University, Germany, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Heike WehrheimPaderborn University
14:15
22m
Talk
Neural-Augmented Static Analysis of Android Communication
Research Papers
Jinman ZhaoUniversity of Wisconsin-Madison, USA, Aws AlbarghouthiUniversity of Wisconsin-Madison, Vaibhav RastogiUniversity of Wisconsin-Madison, USA, Somesh JhaUniversity of Wisconsin, Madison, Damien OcteauUniversity of Wisconsin and Pennsylvania State University
14:37
22m
Talk
Oreo: Detection of Clones in the Twilight Zone
Research Papers
Vaibhav SainiUniversity of California at Irvine, USA, Farima FarmahinifarahaniUniversity of California at Irvine, USA, Yadong LuUniversity of California at Irvine, USA, Pierre BaldiUniversity of California at Irvine, USA, Crista Lopes
13:30 - 15:00
NIER IINew Ideas and Emerging Results at Horizons 6-9F
Chair(s): Gail KaiserColumbia 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 WongCarnegie Mellon University, Jens MeinickeMagdeburg University, Christian KaestnerCarnegie Mellon University
13:42
12m
Talk
Software Fairness
New Ideas and Emerging Results
Yuriy BrunUniversity of Massachusetts Amherst, Alexandra MeliouUniversity 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 ShermanBoise State University, Robert DyerBowling Green State University
14:08
12m
Talk
Towards Counterexample-guided k-Induction for Fast Bug Detection
New Ideas and Emerging Results
Mikhail R. GadelhaUniversity of Southampton, Felipe R. MonteiroFederal University of Amazonas, Lucas C. CordeiroUniversity of Manchester, UK, Denis A. NicoleUniversity of Southampton
14:21
12m
Talk
Salient-Class Location: Help Developers Understand Code Change in Code Review
New Ideas and Emerging Results
Yuan HuangSchool of Data and Computer Science, Sun Yat-sen University, Guangzhou, China, Nan JiaSchool of Management Science and Engineering, Hebei GEO University, Shijiazhuang, China, Xiangping Chen, Kai HongSchool 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 RenPersper Foundation, Hezheng YinUniversity of California, Berkeley, Qingda HuTsinghua University, Armando FoxUC Berkeley, Wojciech KoszekThe FreeBSD Project
14:47
12m
Talk
Engineering Human Values in Software: A Research Roadmap
New Ideas and Emerging Results
Davoud MougoueiMonash University, Harsha PereraMonash University, Waqar HussainMonash University, Rifat Ara ShamsMonash University, Jon WhittleMonash 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 ChandraFacebook
15:30
22m
Talk
Concurrency Verification with Maximal Path Causality
Research Papers
Qiuping YiTexas A&M University, Jeff HuangTexas A&M University
15:52
22m
Talk
Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks
Research Papers
Shengjian (Daniel) GuoVirginia Tech, Meng WuVirginia Tech, Chao WangUSC
16:15
22m
Talk
Symbolic Execution with Existential Second-Order Constraints
Research Papers
Sergey MechtaevNational University of Singapore, Alberto GriggioFondazione Bruno Kessler, Alessandro CimattiFondazione Bruno Kessler, Abhik RoychoudhuryNational University of Singapore
DOI Pre-print
16:37
22m
Talk
Parameterized Model Counting for String and Numeric Constraints
Research Papers
Abdulbaki AydinMicrosoft, USA, William EiersUniversity of California at Santa Barbara, USA, Lucas Bang, Tegan Brennan, Miroslav GavrilovUniversity of California at Santa Barbara, USA, Tevfik BultanUniversity of California, Santa Barbara, Fang YuNational 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 RajanIowa State University
15:30
22m
Talk
Finding Better Active Learners for Faster Literature Reviews
Journal-First
Zhe Yu, Nicholas A. KraftABB Corporate Research, Tim MenziesNorth Carolina State University
DOI
15:52
22m
Talk
Mining Semantic Loop Idioms
Journal-First
Miltiadis AllamanisMicrosoft Research, Cambridge, Earl T. BarrUniversity College London, Christian BirdMicrosoft Research, Prem DevanbuUniversity of California, Mark MarronMicrosoft Research, Charles SuttonUniversity of Edinburgh
DOI
16:15
22m
Talk
NAR-Miner: Discovering Negative Association Rules from Code for Bug Detection
Research Papers
Pan BianRenmin University of China, China, Bin LiangRenmin University of China, China, Wenchang ShiRenmin University of China, China, Jianjun HuangRenmin University of China, China, Yan CaiInstitute 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 DeFreezUniversity of California, Davis, Aditya V. ThakurUniversity of California, Davis, Cindy Rubio-GonzálezUniversity of California, Davis
15:30 - 17:00
ModelsDemonstrations at Spring Lake
Chair(s): Hamid BagheriUniversity of Nebraska-Lincoln, USA
15:30
22m
Talk
A Formal Verification Tool for Ethereum VM Bytecode
Demonstrations
Daejun ParkUniversity of Illinois at Urbana-Champaign, Yi ZhangUniversity of Illinois at Urbana-Champaign, Manasvi SaxenaRuntime Verification, Inc., Philip Daian, Grigore RoşuUniversity of Illinois at Urbana-Champaign
15:52
22m
Talk
ASketch: A Sketching Framework for Alloy
Demonstrations
Kaiyuan Wang, Allison Sullivan, Darko MarinovUniversity of Illinois at Urbana-Champaign, Sarfraz KhurshidUniversity of Texas at Austin
16:15
22m
Talk
VT-Revolution: Interactive Programming Tutorials Made Possible
Demonstrations
Lingfeng Bao Zhejiang University City College, Zhenchang XingAustralia National University, Xin XiaMonash University, David LoSingapore 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 ErataUNIT Information Technologies R&D Ltd., Arda GoknilUniversity of Luxembourg, Ivan KurtevAltran Netherlands, Bedir TekinerdoganWageningen 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

Conference Day
Thu 8 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00
Keynote IIIKeynotes at Horizons 6-9F
Chair(s): Alessandro GarciaPUC-Rio
08:30
90m
Talk
Ten Years of Hunting for Similar Code for Fun and Profit
Keynotes
Lingxiao JiangSingapore Management University, Stéphane GlonduInria Nancy, Zhendong SuETH 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 AnicheDelft 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 ChenNorth Carolina State University, USA, Wei Fu, Rahul KrishnaNC State University, Tim MenziesNorth Carolina State University
11:15
22m
Talk
Putback-Based Bidirectional Model Transformations
Research Papers
Xiao HeUniversity of Science and Technology Beijing, China, Zhenjiang HuNational 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 HebigChalmers University of Technology & University of Gothenburg, Christoph SeidlTechnische Universität Braunschweig, Thorsten BergerChalmers University of Technology, Sweden / University of Gothenburg, Sweden, John Kook PedersenIT University of Copenhagen, Denmark, Andrzej WąsowskiIT University of Copenhagen, Denmark
10:30 - 12:00
Estimation and PredictionResearch Papers / Journal-First at Horizons 5
Chair(s): Jim HerbslebCarnegie Mellon University
10:30
22m
Talk
Early prediction of merged code changes to prioritize reviewing tasks
Journal-First
Yuanrui Fan, Xin XiaMonash University, David LoSingapore 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 YangNanjing University, China, Hongmin Lu, Lin ChenNanjing 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 LinMicrosoft, China, Ken Hsieh, Yingnong DangMicrosoft, USA, Hongyu ZhangThe University of Newcastle, Kaixin SuiMicrosoft, China, Yong XuMicrosoft, China, Jian-Guang LouMicrosoft Research, Chenggang LiNortheastern University, China, Youjiang WuMicrosoft, USA, Randolph YaoMicrosoft, USA, Murali ChintalapatiMicrosoft, USA, Dongmei ZhangMicrosoft Research, China
10:30 - 12:00
Repair and SynthesisJournal-First / Research Papers at Horizons 6-9F
Chair(s): Shahar MaozTel Aviv University
10:30
22m
Talk
Machine Learning-Based Prototyping of Graphical User Interfaces for Mobile Apps
Journal-First
Kevin MoranCollege of William & Mary, Carlos Bernal-CárdenasWilliam and Mary, Michael Curcio, Richard Bonett, Denys PoshyvanykWilliam 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 StoccoUniversity of British Columbia, Rahulkrishna YandrapallyUniversity of British Columbia, Canada, Ali MesbahUniversity of British Columbia
Pre-print Media Attached
11:37
22m
Talk
Syntax-Guided Synthesis of Datalog Programs
Research Papers
Xujie SiUniversity of Pennsylvania, Woosuk LeeUniversity of Pennsylvania, USA, Richard ZhangUniversity of Pennsylvania, Aws AlbarghouthiUniversity of Wisconsin-Madison, Paraschos KoutrisUniversity of Wisconsin-Madison, USA, Mayur NaikUniversity 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-HillNorth Carolina State University
13:30
22m
Talk
Automating Change-level Self-admitted Technical Debt Determination
Journal-First
Meng Yan, Xin XiaMonash University, Emad ShihabConcordia University, David LoSingapore Management University, Jianwei Yin, Xiaohu Yang
DOI
13:52
22m
Talk
Large-Scale Study of Substitutability in the Presence of Effects
Research Papers
Jackson MaddoxIowa State University, USA, Yuheng LongIowa State University, Hridesh RajanIowa State University
14:15
22m
Talk
An Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Systems
Research Papers
Yu GaoInstitute of Software, Chinese Academy of Sciences, Wensheng DouInstitute of Software, Chinese Academy of Sciences, Feng QinOhio State University, USA, Chushu GaoInstitute of Software, Chinese Academy of Sciences, Dong WangInstitute of Software at Chinese Academy of Sciences, China, Jun WeiState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, Ruirui HuangAlibaba Group, China, Li ZhouAlibaba Group, China, Yongming WuAlibaba Group, China
14:37
22m
Talk
Complementing Global and Local Contexts in Representing API Descriptions to Improve API Retrieval Tasks
Research Papers
Thanh NguyenIowa State University, Ngoc Tran, Hung Phan, Trong NguyenIowa State University, USA, Linh Truong, Trong NguyenIowa State University, USA, Hoan Anh NguyenIowa State University, USA, Tien N. NguyenUniversity of Texas at Dallas
13:30 - 15:00
Probabilistic ReasoningResearch Papers at Horizons 5
Chair(s): Antonio FilieriImperial College London
13:30
22m
Talk
Phys: Probabilistic Physical Unit Assignment and Inconsistency Detection
Research Papers
Sayali KatePurdue University, USA, John-Paul OreUniversity of Nebraska-Lincoln, USA, Xiangyu ZhangPurdue University, Sebastian ElbaumUniversity of Nebraska-Lincoln, USA, Zhaogui XuNanjing University, China
Pre-print
13:52
22m
Talk
Testing Probabilistic Programming Systems
Research Papers
Saikat DuttaUniversity of Illinois at Urbana-Champaign, USA, Owolabi LegunsenUniversity of Illinois at Urbana-Champaign, Zixin HuangUniversity of Illinois at Urbana-Champaign, USA, Sasa MisailovicUniversity 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 LlerenaNational University of Singapore, Singapore, Marcel BöhmeMonash University, Marc Brüninknil, Singapore, Guoxin SuUniversity of Wollongong, Australia, David S. Rosenblum
13:30 - 15:00
Debugging and Bug LocalizationResearch Papers at Horizons 6-9F
Chair(s): Earlence FernandesUniversity of Michigan
13:30
22m
Talk
Automated Patch Extraction via Syntax- and Semantics-Aware Delta Debugging on Source Code Changes
Research Papers
Masatomo HashimotoChiba Institute of Technology, Japan, Akira MoriNational Institute of Advanced Industrial Science and Technology, Japan, Tomonori IzumidaIIJ Innovation Institute, Japan
Link to publication DOI Authorizer link
13:52
22m
Talk
Feedback-Directed Differential Testing of Interactive Debuggers
Research Papers
Daniel LehmannTU Darmstadt, Michael PradelTU Darmstadt
14:15
22m
Talk
Improving IR-Based Bug Localization with Context-Aware Query Reformulation
Research Papers
Masud RahmanUniversity of Saskatchewan , Chanchal K. RoyUniversity of Saskatchewan
Pre-print
14:37
22m
Talk
How Should Compilers Explain Problems to Developers?
Research Papers
Titus BarikMicrosoft, Denae FordNorth Carolina State University, Emerson Murphy-HillNorth Carolina State University, Chris ParninNCSU
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 RigbyConcordia 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 PaasivaaraIT University of Copenhagen, Denmark & Aalto University, Finland, Juha Itkonen, Casper LasseniusAalto University, Finland and Simula Metropolitan Center for Digital Engineering, Norway
DOI
15:52
22m
Talk
Microtask Programming
Journal-First
Thomas LaTozaGeorge 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 ValievCarnegie Mellon University, USA, Bogdan VasilescuCarnegie Mellon University, Jim HerbslebCarnegie Mellon University
15:30 - 17:00
Testing IIResearch Papers / Journal-First at Horizons 5
Chair(s): Tevfik BultanUniversity 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 TanUniversity of Waterloo , Cristian CadarImperial College London
DOI
15:52
22m
Talk
Optimizing Test Prioritization via Test Distribution Analysis
Research Papers
Junjie ChenPeking University, Yiling LouPeking University, China, Lingming Zhang, Jianyi ZhouPeking University, China, Xiaoleng WangBaidu, China, Dan HaoPeking University, Lu ZhangPeking University
16:15
22m
Talk
How Well Are Regular Expressions Tested in the Wild?
Research Papers
Peipei WangNorth Carolina State University, USA, Kathryn StoleeNorth 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 KimHong Kong University of Science and Technology, China, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Sunghun KimHong Kong University of Science and Technology
15:30 - 17:00
EnergyResearch Papers / Journal-First at Horizons 6-9F
Chair(s): Diego GarbervetskyUniversity of Buenos Aires, Argentina
15:30
30m
Talk
Approximate Oracles and Synergy in Software Energy Search Spaces
Journal-First
Bobby R. Bruce, Justyna PetkeUniversity College London, Mark HarmanFacebook and University College London, Earl T. Barr
DOI
16:00
30m
Talk
Detection of Energy Inefficiencies in Android Wear Watch Faces
Research Papers
Hailong ZhangOhio State University, Haowei Wu, Atanas RountevOhio State University
16:30
30m
Talk
Stochastic Energy Optimization for Mobile GPS Applications
Research Papers
Anthony CaninoSUNY Binghamton, Yu David LiuState University of New York (SUNY) Binghamton, Hidehiko MasuharaTokyo 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 LeavensUniversity of Central Florida

Conference Day
Fri 9 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00
WASPI workshopWASPI at Spring Lake
Chair(s): Hoan Anh NguyenIowa State University, USA, Hridesh RajanIowa State University, Tien N. NguyenUniversity of Texas at Dallas, Gary LeavensUniversity of Central Florida, Robert DyerBowling Green 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 KimUniversity 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 LeavensUniversity of Central Florida
10:30
30m
Talk
Towards Combining Usage Mining and Implementation Analysis to Infer API Preconditions
WASPI
Hoan Anh NguyenIowa State University, USA, Tien N. NguyenUniversity of Texas at Dallas, Hridesh RajanIowa State University, Robert DyerBowling Green State University
11:00
30m
Talk
Contract Discovery from Black-Box Components
WASPI
Vaibhav SharmaUniversity of Minnesota, Taejoon ByunUniversity of Minnesota, Stephen McCamantUniversity of Minnesota, Sanjai RayadurgamUniversity of Minnesota, Mats P. E. HeimdahlUniversity of Minnesota, USA
11:30
30m
Talk
Automated Generation of Creative Software Requirements: A Data-Driven Approach
WASPI
Quoc Anh DoMississippi State University, Tanmay BhowmikMississippi State University
12:00 - 13:30
13:30 - 14:30
Afternoon talksWASPI at Spring Lake
Chair(s): Robert DyerBowling Green State University
13:30
30m
Talk
On the Significance of Contract-Based Typestate Specification
WASPI
Samantha Syeda KhairunnesaIowa State University, Hoan Anh NguyenIowa State University, USA, Hridesh RajanIowa State University
14:00
30m
Talk
Towards Static Recovery of Micro State Transitions from Legacy Embedded Code
WASPI
Ryota YamamotoNagoya University, Norihiro YoshidaNagoya University, Hiroaki TakadaNagoya University
DOI Pre-print
14:30 - 15:00
Future of Specification Inference PanelWASPI at Spring Lake
Chair(s): Hoan NguyenIowa 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 RajanIowa State University
15:30
90m
Other
Open Discussion - Benchmarks for Program Specification
WASPI