Program - ESEC/FSE 2018

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect other time zone

Apply

Filter

Badges

Your Program

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

Sun 4 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

08:30 - 10:00: EnSEmble - EnSEmble I at Spring Lake

08:30 - 10:00: NL4SE - NL4SE Workshop I at Rock Lake

08:30 - 09:15
Day opening

Welcome and introductions

09:15 - 10:00
Talk

Learning from Code with Graphs (Keynote)

Marc BrockschmidtMicrosoft Research

10:00 - 10:30: Social - Coffee Break Morning at Lakes Foyer

10:30 - 12:00: EnSEmble - EnSEmble II at Spring Lake

10:30 - 12:00: NL4SE - NL4SE Workshop II at Rock Lake

10:30 - 10:45
Talk

Total Recall, Language Processing, and Software Engineering

Zhe Yu, Tim Menzies

10:45 - 11:00
Talk

Is “Naturalness” a Result of Deliberate Choice?

Kevin LeeUniversity of California at Davis, USA, Casey CasalnuovoUniversity of California at Davis, USA

11:00 - 11:15
Talk

A Fine-Grained Approach for Automated Conversion of JUnit Assertions to English

Danielle GonzalezRochester Institute of Technology, USA, Suzanne PrenticeUniversity of South Carolina, USA, Mehdi MirakhorliRochester Institute of Technology

11:15 - 11:30
Talk

TestNMT: Function-to-Test Neural Machine Translation

Robert WhiteUniversity College London, UK, Jens KrinkeUniversity College London

11:30 - 11:45
Talk

3CAP: Categorizing the Cognitive Capabilities of Alzheimer’s Patients in a Smart Home Environment

Kate M. Bowers, Reihaneh H. HaririOakland University, USA, Katey A. PriceAlbion College, USA

11:45 - 12:00
Talk

Generating Comments from Source Code with CCGs

Sergey MatskevichDrexel University, USA, Colin GordonDrexel University

12:00 - 13:30: Social - Lunch at Lakeview Restaurant (West)

13:30 - 15:00: EnSEmble - EnSEmble III at Spring Lake

13:30 - 15:00: NL4SE - NL4SE Workshop III at Rock Lake

13:30 - 13:45
Talk

Towards Understanding Code Readability and Its Impact on Design Quality

Umme Ayda MannanOregon State University, USA, Iftekhar AhmedUniversity of California at Irvine, USA, Anita SarmaOregon State University

13:45 - 14:00
Talk

Cleaning StackOverflow for use in Machine Translation

14:00 - 14:15
Talk

LinkSO: A Dataset for Learning to Retrieve Similar Question Answer Pairs on Software Development Forums

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 - 14:30
Talk

Natural Language Processing (NLP) Applied on Issue Trackers

Mathias EllmannUniversity of Hamburg and LegalTechTeam

14:30 - 14:45
Talk

Mining Monitoring Concerns Implementation in Java-Based Software Systems

Grigoreta Sofia CojocarDepartment of Computer Science, Babes-Bolyai University, Adriana-Mihaela GuranDepartment of Computer Science, Babes-Bolyai University

14:45 - 15:00
Talk

Two Perspectives on Software Documentation Quality in Stack Overflow

Mathias EllmannUniversity of Hamburg and LegalTechTeam, Marko Schnecken.n., n.n.

15:00 - 15:30: Social - Coffee Break Afternoon at Lakes Foyer

15:30 - 17:00: EnSEmble - EnSEmble IV at Spring Lake

15:30 - 17:00: NL4SE - NL4SE Workshop IV at Rock Lake

15:30 - 16:15
Day closing

Workshop wrapup

16:15 - 17:00
Talk

Big Code at Facebook (Keynote II)

Satish ChandraFacebook

Mon 5 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

08:30 - 10:00: A-TEST - A-TEST I at Sandy Lake

08:30 - 17:00: Doctorial Symposium - Doctoral Symposium (invitation only) at Solar

08:30 - 09:00
Other

Introductions, logistics

Hridesh RajanIowa State University

09:00 - 10:00
Talk

Presenting Software Engineering Research

Margaret-Anne StoreyUniversity of Victoria

10:00 - 10:30
Coffee break

Coffee break

10:30 - 10:52
Talk

Practices And Tools For Better Software Testing

Davide SpadiniDelft University of Technology, Netherlands

10:52 - 11:14
Talk

Automated Support for Mobile Application Testing and Maintenance

Mattia FazziniGeorgia Institute of Technology

11:14 - 11:36
Talk

Moving Towards Objective Measures of Program Comprehension

Sarah FakhouryWashington State University

11:36 - 11:58
Talk

Semantic Inference from Natural Language Privacy Policies and Android Code

Mitra Bokaei HosseiniUniversity of Texas at San Antonio

12:00 - 13:30
Lunch

Lunch break

13:30 - 13:52
Talk

Intelligent Bug Fixing with Sofware Bug Knowledge Graph

Cheng ZhouYangzhou University

13:52 - 14:14
Talk

Quality Assurance Automation in Autonomous Systems

Afsoon AfzalCarnegie Mellon University

14:14 - 14:36
Talk

How Do Developers Resolve Merge Conflicts? An Investigation Into the Processes, Tools, and Improvements

Caius BrindescuOregon State University

14:36 - 15:00
Other

Poster madness students with poster only, mingling/discussion of posters

15:00 - 15:30
Coffee break

Coffee Break / Continuation of posters

15:30 - 16:45
Talk

Discovering Your Own Definition of 'Impact' - A Key to Long Term Engagement

David C. ShepherdABB, Inc

16:45 - 17:00
Other

Wrap Up / Discussion

08:30 - 17:00: JPF - JPF Workshop at Spring Lake

09:00 - 09:10
Day opening

Opening

09:10 - 10:00
Talk

Keynote: Side-Channel Analysis via Symbolic Execution and Model Counting

Tevfik BultanUniversity of California, Santa Barbara

10:00 - 10:30
Coffee break

Coffee break

10:30 - 11:00
Research paper

Assessing the Adequacy of Synthetic Programs for Learning SPF's Configurations

Maria PaquinBoise State University, Elena ShermanBoise State University, Amit JainBoise State University

11:00 - 11:30
Research paper

Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP)

Lucas C. CordeiroUniversity of Manchester, UK, Daniel KroeningUniversity of Oxford, Peter SchrammelUniversity of Sussex

11:30 - 12:00
Research paper

Attack Synthesis for Strings using Meta-Heuristics

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 - 13:30
Lunch

Lunch @Lakeview Restaurant West

13:30 - 14:00
Talk

Invited talk: Test input generation using separation logic

Quoc-Sang PhanFujitsu Laboratories of America

14:00 - 14:30
Research paper

Memory safety in C by abstract interpretation

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 - 15:00
Research paper

Automatic Data Structure Repair using Separation Logic

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 - 15:30
Coffee break

Coffee break

15:30 - 16:00
Research paper

A Progress Bar for the JPF Search Using Program Executions

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 - 16:50
Meeting

JPF Open Discussion

16:50 - 17:00
Day closing

Closing

08:30 - 10:00: SWAN - SWAN I at Rock Lake

10:00 - 10:30: Social - Coffee Break Morning at Lakes Foyer

10:30 - 12:00: A-TEST - A-TEST II at Sandy Lake

10:30 - 10:48
Talk

Reinforcement Learning for Android GUI Testing

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 - 11:06
Talk

Extending Equivalence Transformation Based Program Generator for Random Testing of C Compilers

Shogo TakakuraKwansei Gakuin University, Japan, Mitsuyoshi IwatsujiKwansei Gakuin University, Japan, Nagisa IshiuraKwansei Gakuin University

11:06 - 11:24
Talk

HDDr: A Recursive Variant of the Hierarchical Delta Debugging Algorithm

Ákos KissUniversity of Szeged, Hungary, Renáta HodovánUniversity of Szeged, Hungary, Tibor GyimóthyUniversity of Szeged, Hungary

11:24 - 11:42
Talk

Goal-Oriented Mutation Testing with Focal Methods

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 - 12:00
Talk

A Reinforcement Learning Based Approach to Automated Testing of Android Applications

Thi Anh Tuyet VuongKeio University, Japan, Shingo TakadaKeio University, Japan

10:30 - 11:15: SWAN - Session 1: Continuous integration at Rock Lake

10:30 - 10:52
Talk

(No) Influence of Continuous Integration on the Commit Activity in GitHub Projects

Sebastian Baltes University 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 - 11:15
Talk

Characterizing the Influence of Continuous Integration: Empirical Results from 250+ Open Source and Proprietary Projects

Akond RahmanNorth Carolina State University, Amritanshu AgrawalNorth Carolina State University, Rahul KrishnaNC State University, Alexander Sobran

11:15 - 12:00: SWAN - Session 2: Defect prediction at Rock Lake

11:15 - 11:37
Talk

Facilitating Feasibility Analysis: The Pilot Defects Prediction Dataset Maker

Davide FalessiCalifornia Polytechnic State University, Max Jason MoedeCalifornia Polytechnic State University, USA

11:37 - 12:00
Talk

Is One Hyperparameter Optimizer Enough?

Huy TuNorth Carolina State University, USA, Vivek Nair

12:00 - 13:30: Social - Lunch at Lakeview Restaurant (West)

13:30 - 15:00: A-TEST - A-TEST III at Sandy Lake

13:30 - 14:15
Talk

Random Testing of Compilers’ Performance Based on Mixed Static and Dynamic Code Comparison

Kota KitauraKwansei Gakuin University, Japan, Nagisa IshiuraKwansei Gakuin University

14:15 - 15:00
Talk

Test Patterns for IoT

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

13:30 - 15:00: SWAN - SWAN III at Rock Lake

15:00 - 15:30: Social - Coffee Break Afternoon at Lakes Foyer

15:30 - 17:00: A-TEST - A-TEST IV at Sandy Lake

15:30 - 17:00: SWAN - SWAN IV at Rock Lake

Tue 6 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

08:30 - 10:00: Keynotes - Keynote I at Horizons 6-9F
Chair(s): Corina S PasareanuNASA Ames Research Center

08:30 - 10:00
Talk

Behind Every Great Deep Learning Framework Is An Even Greater Programming Languages Concept

Erik MeijerFacebook

10:00 - 10:30: Social - Coffee Break Morning at Horizons 1-4F

10:00 - 10:30: Doctorial Symposium - Doctoral Symposium Posters I at Horizons 1-4F

10:00 - 10:30
Poster

Poster: Feedback in Scrum Processes: Data-Driven Retrospectives

Christoph MatthiesHasso Plattner Institute, University of Potsdam

10:00 - 10:30
Poster

Poster: What is the Programmer Experience?

Jenny Morales

10:00 - 10:30
Poster

Poster: Blueprints Programming Model for Smart Contracts

Bert-Jan Butijn

10:00 - 10:30
Poster

Poster: Leveraging Traceability and Obstacle Analysis to Ensure Requirements Fulfilment in Systems Engineering

Mounifah Alenazi

10:00 - 10:30
Poster

Poster: Test Coverage for Semi-Structured Data

Nawwar Kabbani

10:00 - 10:30
Poster

Poster: Practices And Tools For Better Software Testing

Davide SpadiniDelft University of Technology, Netherlands

10:00 - 10:30
Poster

Poster: Automated Support for Mobile Application Testing and Maintenance

Mattia FazziniGeorgia Institute of Technology

10:00 - 10:30
Poster

Poster: Moving Towards Objective Measures of Program Comprehension

Sarah FakhouryWashington State University

10:00 - 10:30
Poster

Poster: Semantic Inference from Natural Language Privacy Policies and Android Code

Mitra Bokaei HosseiniUniversity of Texas at San Antonio

10:00 - 10:30
Poster

Poster: Intelligent Bug Fixing with Sofware Bug Knowledge Graph

Cheng ZhouYangzhou University

10:00 - 10:30
Poster

Poster: Quality Assurance Automation in Autonomous Systems

Afsoon AfzalCarnegie Mellon University

10:00 - 10:30
Poster

Poster: How Do Developers Resolve Merge Conflicts? An Investigation Into the Processes, Tools, and Improvements

Caius BrindescuOregon State University

10:00 - 10:30: Student Research Competition - SRC Posters I at Horizons 1-4F

10:00 - 10:30
Poster

How Dance(Sport) Can Help to Produce Better Software

Irina Erofeeva

10:00 - 10:30
Poster

Towards Learning-Augmented Languages

Xinyuan SunUniversity of California, Davis

10:00 - 10:30
Poster

Feature-Interaction Aware Configuration Prioritization

Son NguyenThe University of Texas at Dallas

10:00 - 10:30
Poster

Diversity and Decorum in Open Source Communities

Neill RobsonNC State University

10:00 - 10:30
Poster

Type Migration in Large-Scale Code Bases

Ameya KetkarOregon State University, USA

10:00 - 10:30
Poster

Bugs in the Wild: Examining the Effectiveness of Static Analyzers at Finding Real-World Bugs

David A TomassiUniversity of California, Davis

10:00 - 10:30
Poster

Mining Error-Handling Specifications for Systems Software

Daniel DeFreezUniversity of California, Davis

10:00 - 10:30
Poster

Automated Scenario-based Integration Testing of Distributed Systems

Bruno LimaFaculty of Engineering, University of Porto and INESC TEC

10:00 - 10:30
Poster

Reshaping Distributed Agile and Adaptive Development Environment

Francesco NoceraPolytechnic University of Bari

10:00 - 10:30
Poster

On the Adoption of Neural Networks in Modeling Software Reliability

Kamill Gusmanov

10:00 - 10:30
Poster

Dara - Hybrid Model Checking of Distributed Systems

Vaastav AnandUniversity of British Columbia

10:30 - 12:00: Research Papers - Concurrency and Races at Horizons 10-11
Chair(s): Willem VisserStellenbosch University

10:30 - 10:52
Talk

CloudRaid: Hunting Concurrency Bugs in the Cloud via Log-Mining

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 - 11:15
Talk

Testing Multithreaded Programs via Thread Speed Control

Dongjie Chen, Yanyan JiangNanjing University, Chang XuNanjing University, Xiaoxing MaNanjing University, Jian LuNanjing University

11:15 - 11:37
Talk

Data Race Detection on Compressed Traces

Dileep KiniUniversity of Illinois at Urbana-Champaign, Umang MathurUniversity of Illinois at Urbana-Champaign, Mahesh ViswanathanUniversity of Illinois at Urbana-Champaign

11:37 - 12:00
Talk

Practical AJAX Race Detection for JavaScript Web Applications

Christoffer Quist AdamsenAarhus University, Anders MøllerAarhus University, Saba AlimadadiNortheastern University, Frank TipNortheastern University

10:30 - 12:00: Industry - Formal Analysis at Horizons 5

10:30 - 10:52
Talk

Modeling and Testing a Family of Surgical Robots: An Experience Report

Niloofar Mansoor, Jonathan A. Saddler, Bruno SilvaUniversity of Nebraska-Lincoln, Hamid BagheriUniversity of Nebraska-Lincoln, USA, Myra CohenIowa State University, Shane Farritor

10:52 - 11:14
Talk

Efficient Static Checking of Library Updates

Darius Foo, Hendy Chua, Jason Yeo, Ang Ming Yi, Asankhaya Sharma

11:14 - 11:36
Talk

Neha Rungta: Formal Verification at Amazon Scale, Amazon Web Services

Neha RungtaAmazon Web Services

10:30 - 12:00: Research Papers - Log Mining at Horizons 6-9F
Chair(s): Dongyoon LeeVirginia Tech, USA

10:30 - 10:52
Talk

Studying and Detecting Log-Related Issues

Mehran Hassani, Weiyi ShangConcordia University, Canada, Emad ShihabConcordia University, Nikolaos TsantalisConcordia University, Canada

DOI

10:52 - 11:15
Talk

VT-Revolution: Interactive Programming Video Tutorial Authoring and Watching System

Lingfeng Bao Zhejiang University City College, Zhenchang XingAustralia National University, Xin XiaMonash University, David LoSingapore Management University

DOI

11:15 - 11:37
Talk

Using Finite-State Models for Log Differencing

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 - 12:00
Talk

Identifying Impactful Service System Problems via Log Analysis

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: Demonstrations - Testing at Solar
Chair(s): Lingming Zhang

10:30 - 10:52
Talk

BigSift: Automated Debugging of Big Data Analytics in Data-Intensive Scalable Computing

Muhammad Ali GulzarUniversity of California, Los Angeles, Siman WangHunan University, Miryung KimUniversity of California, Los Angeles

10:52 - 11:15
Talk

FOT: A Versatile, Configurable, Extensible Fuzzing Framework

Hongxu ChenNanyang Technological University, Yuekang LiNanyang Technological University, Bihuan ChenFudan University, Yinxing Xue, Yang LiuNanyang Technological University, Singapore

11:15 - 11:37
Talk

Themis: Automatically Testing Software for Discrimination

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 - 12:00
Demonstration

Vista: Web Test Repair Using Computer Vision

Andrea StoccoUniversity of British Columbia, Rahulkrishna YandrapallyUniversity of British Columbia, Canada, Ali MesbahUniversity of British Columbia

Pre-print

12:00 - 13:30: Social - Lunch at Lakeview Restaurant

12:00 - 13:30: Faculty Mentorship Roundtables - Mentoring Lunch I at Lakeview Restaurant Table

12:00 - 13:30
Lunch

Mentoring Lunch I

13:30 - 15:00: Research Papers - Deep Learning at Horizons 6-9F
Chair(s): David RosenblumNational University of Singapore

13:30 - 13:52
Talk

Deep Learning Type Inference

Vincent HellendoornUniversity of California at Davis, USA, Christian BirdMicrosoft Research, Earl T. Barr, Miltiadis AllamanisMicrosoft Research, Cambridge

13:52 - 14:15
Talk

DeepSim: Deep Learning Code Functional Similarity

Gang Zhao, Jeff HuangTexas A&M University

14:15 - 14:37
Talk

Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces

Jordan HenkelUniversity of Wisconsin–Madison, Shuvendu K. LahiriMicrosoft Research, Ben LiblitUniversity of Wisconsin–Madison, Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc.

14:37 - 15:00
Talk

MODE: Automated Neural Network Model Debugging via State Differential Analysis and Input Selection

Shiqing MaPurdue University, USA, Yingqi LiuPurdue University, USA, Wen-Chuan LeePurdue University, Xiangyu ZhangPurdue University, Ananth GramaPurdue University, USA

13:30 - 15:00: Research Papers - Performance at Horizons 10-11
Chair(s): Zhendong SuETH Zurich

13:30 - 13:52
Talk

CHiP: A Configurable Hybrid Parallel Covering Array Constructor

Hanefi Mercan, Cemal YilmazSabancı University, Kamer Kaya

DOI

13:52 - 14:15
Talk

Learning to Sample: Exploiting Similarities Across Environments to Learn Performance Models for Configurable Systems

Pooyan JamshidiUniversity of South Carolina, Miguel VelezCarnegie Mellon University, USA, Christian KästnerCarnegie Mellon University, Norbert SiegmundBauhaus-University Weimar

14:15 - 14:37
Talk

Performance Comprehension at WiredTiger

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 - 15:00
Talk

MemFix: Static Analysis-Based Repair of Memory Deallocation Errors for C

Junhee LeeKorea University, South Korea, Seongjoon HongKorea University, Hakjoo OhKorea University

13:30 - 15:00: Industry - Security at Solar
Chair(s): Myra CohenIowa State University

13:30 - 13:52
Talk

Are Mobile Banking Apps Secure? What Can be Improved?

Sen ChenEast China Normal University, China/Nanyang 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 - 14:15
Talk

VulSeeker-Pro: Enhanced Semantic Learning Based Binary Vulnerability Seeker With Emulation

Jian GaoSchool of Software, Tsinghua University, Xin YangUnionbigdata.com, Ying Fu, Yu Jiang, Heyuan Shi, Jiaguang Sun

14:15 - 14:37
Talk

PAFL: Extend Fuzzing Optimizations of Single Mode to Industrial Parallel Mode

Jie Liang, Yu Jiang, Yuanliang Chen, Mingzhe Wang, Chijin Zhou, Jiaguang Sun

14:37 - 15:00
Talk

Software Development Challenges with Air-Gap Isolation

Sunny Wong, Anne Woepse

13:30 - 15:00: Research Papers - Software Analysis I at Horizons 5
Chair(s): Sebastian ElbaumUniversity of Nebraska-Lincoln, USA

13:30 - 13:52
Talk

On Accelerating Source Code Analysis At Massive Scale

Ganesha UpadhyayaFuturewei Technologies, Hridesh RajanIowa State University

DOI

13:52 - 14:15
Talk

RefiNym: Using Names to Refine Types

Santanu Kumar DashUniversity College London, UK, Miltiadis AllamanisMicrosoft Research, Cambridge, Earl T. Barr

14:15 - 14:37
Talk

Darwinian Data Structure Selection

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 - 15:00
Talk

Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity

Yue LiAarhus University, Denmark, Tian TanAarhus University, Denmark, Anders MøllerAarhus University, Yannis SmaragdakisUniversity of Athens

15:00 - 15:30: Social - Coffee Break Afternoon at Horizons 1-4F

15:00 - 15:30: Doctorial Symposium - Doctoral Symposium Posters II at Horizons 1-4F

15:00 - 15:30
Poster

Poster: Semantic Inference from Natural Language Privacy Policies and Android Code

Mitra Bokaei HosseiniUniversity of Texas at San Antonio

15:00 - 15:30
Poster

Poster: Practices And Tools For Better Software Testing

Davide SpadiniDelft University of Technology, Netherlands

15:00 - 15:30
Poster

Poster: Leveraging Traceability and Obstacle Analysis to Ensure Requirements Fulfilment in Systems Engineering

Mounifah Alenazi

15:00 - 15:30
Poster

Poster: Quality Assurance Automation in Autonomous Systems

Afsoon AfzalCarnegie Mellon University

15:00 - 15:30
Poster

Poster: Intelligent Bug Fixing with Sofware Bug Knowledge Graph

Cheng ZhouYangzhou University

15:00 - 15:30
Poster

Poster: Automated Support for Mobile Application Testing and Maintenance

Mattia FazziniGeorgia Institute of Technology

15:00 - 15:30
Poster

Poster: Feedback in Scrum Processes: Data-Driven Retrospectives

Christoph MatthiesHasso Plattner Institute, University of Potsdam

15:00 - 15:30
Poster

Poster: What is the Programmer Experience?

Jenny Morales

15:00 - 15:30
Poster

Poster: How Do Developers Resolve Merge Conflicts? An Investigation Into the Processes, Tools, and Improvements

Caius BrindescuOregon State University

15:00 - 15:30
Poster

Poster: Test Coverage for Semi-Structured Data

Nawwar Kabbani

15:00 - 15:30
Poster

Poster: Blueprints Programming Model for Smart Contracts

Bert-Jan Butijn

15:00 - 15:30
Poster

Poster: Moving Towards Objective Measures of Program Comprehension

Sarah FakhouryWashington State University

15:00 - 15:30: Student Research Competition - SRC Posters II at Horizons 1-4F

15:00 - 15:30
Poster

Reshaping Distributed Agile and Adaptive Development Environment

Francesco NoceraPolytechnic University of Bari

15:00 - 15:30
Poster

Diversity and Decorum in Open Source Communities

Neill RobsonNC State University

15:00 - 15:30
Poster

On the Adoption of Neural Networks in Modeling Software Reliability

Kamill Gusmanov

15:00 - 15:30
Poster

Towards Learning-Augmented Languages

Xinyuan SunUniversity of California, Davis

15:00 - 15:30
Poster

Mining Error-Handling Specifications for Systems Software

Daniel DeFreezUniversity of California, Davis

15:00 - 15:30
Poster

How Dance(Sport) Can Help to Produce Better Software

Irina Erofeeva

15:00 - 15:30
Poster

Feature-Interaction Aware Configuration Prioritization

Son NguyenThe University of Texas at Dallas

15:00 - 15:30
Poster

Bugs in the Wild: Examining the Effectiveness of Static Analyzers at Finding Real-World Bugs

David A TomassiUniversity of California, Davis

15:00 - 15:30
Poster

Type Migration in Large-Scale Code Bases

Ameya KetkarOregon State University, USA

15:00 - 15:30
Poster

Dara - Hybrid Model Checking of Distributed Systems

Vaastav AnandUniversity of British Columbia

15:00 - 15:30
Poster

Automated Scenario-based Integration Testing of Distributed Systems

Bruno LimaFaculty of Engineering, University of Porto and INESC TEC

15:30 - 17:00: Demonstrations - Bugs at Solar
Chair(s): Hoan NguyenIowa State University

15:30 - 15:52
Talk

Augmenting Stack Overflow with API Usage Patterns Mined from GitHub

Anastasia Reinhardt, Tianyi ZhangUniversity of California, Los Angeles, Mihir MathurUniversity of California, Los Angeles, Miryung KimUniversity of California, Los Angeles

Pre-print

15:52 - 16:15
Talk

PowerStation: Automatically detecting and fixing inefficienciesof database-backed web applications in IDE

Junwen Yang, Cong Yan, Pranav Subramaniam, Shan LuUniversity of Chicago, Alvin CheungUniversity of Washington

16:15 - 16:37
Talk

SketchFix: A Tool for Automated Program Repair Approach Using Lazy Candidate Generation

Jinru Hua, Mengshi ZhangUniversity of Texas at Austin, USA, Kaiyuan Wang, Sarfraz KhurshidUniversity of Texas at Austin

16:37 - 17:00
Talk

WarningsGuru: Integrating statistical bug models with static analysis to provide timely and specific bug warnings

Louis-Philippe QuerelConcordia University, Peter RigbyConcordia University, Montreal, Canada

15:30 - 17:00: Research Papers - Developer Studies at Horizons 10-11
Chair(s): Thomas LaTozaGeorge Mason University

15:30 - 15:52
Talk

Programmers do not Favor Lambda Expressions for Concurrent Object-Oriented Code

Sebastian Nielebock, Robert Heumüller, Frank Ortmeier

DOI

15:52 - 16:15
Talk

How Do Developers Utilize Source Code from Stack Overflow?

Yuhao Wu, Shaowei WangQueen's University, Cor-Paul BezemerUniversity of Alberta, Canada, Katsuro InoueOsaka University

DOI

16:15 - 16:37
Talk

Towards a Theory of Software Development Expertise

Sebastian Baltes University of Trier, Stephan DiehlComputer Science, University Trier, Germany

Pre-print

16:37 - 17:00
Full-paper

What Makes a Code Change Easier to Review? An Empirical Investigation on Code Change Reviewability

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: Research Papers - Security at Horizons 6-9F
Chair(s): Lucas Bang

15:30 - 15:52
Talk

Text Filtering and Ranking for Security Bug Report Prediction

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 - 16:15
Talk

STADS: Software Testing as Species Discovery

Marcel BöhmeMonash University

DOI

16:15 - 16:37
Talk

The Impact of Regular Expression Denial of Service (ReDoS) in Practice: An Empirical Study at the Ecosystem Scale

James C. DavisVirginia Tech, USA, Christy A. CoghlanVirginia Tech, USA, Francisco ServantVirginia Tech, Dongyoon LeeVirginia Tech, USA

16:37 - 17:00
Talk

FraudDroid: Automated Ad Fraud Detection for Android Apps

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: Research Papers - Testing I at Horizons 5
Chair(s): David LoSingapore Management University

15:30 - 15:52
Talk

Identifying failure-causing schemas in the presence of multiple faults

Xintao Niu, Changhai Nie, Yu Lei, Hareton Leung, Xiaoyin WangUniversity of Texas at San Antonio, USA

DOI

15:52 - 16:15
Talk

Singularity: Pattern Fuzzing for Worst Case Complexity

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 - 16:37
Talk

Bug Synthesis: Challenging Bug-Finding Tools with Deep Faults

Subhajit RoyIIT Kanpur, India, Awanish PandeyIIT Kanpur, India, Brendan Dolan-GavittNew York University, Yu HuNew York University, USA

16:37 - 17:00
Talk

Modify, Enhance, Select: Co-Evolution of Combinatorial Models and Test Plans

Rachel Tzoref-BrillIBM Research, Shahar MaozTel Aviv University

17:15 - 18:45: Social - SIGSOFT Town Hall Meeting at Horizons 10-11

17:15 - 18:45
Meeting

SIGSOFT Town Hall Meeting

Thomas ZimmermannMicrosoft Research

18:45 - 20:00: Social - Post Town Hall Reception at Horizons 1-4F

18:45 - 20:00
Social Event

Post Town Hall Reception

Gary LeavensUniversity of Central Florida

Wed 7 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

08:30 - 10:00: Keynotes - Keynote II at Horizons 6-9F
Chair(s): Satish ChandraFacebook

08:30 - 10:00
Talk

In the age of Software 2.0, what role for software engineers?

Tim MenziesNorth Carolina State University

10:00 - 10:30: Social - Coffee Break Morning at Horizons 1-4F

10:30 - 12:00: Industry - End User Programming and Financial Applications at Horizons 5
Chair(s): Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology

10:30 - 10:52
Talk

Design and Validation of Precooked Developer Dashboards

Vladimir Ivanov, Vladislav Pischulin, Alan Rogers, Giancarlo Succi, Jooyong YiInnopolis University, Vasiliy ZorinInnopolis University

10:52 - 11:15
Talk

Testing and Validating End User Programmed Calculated Fields

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 - 11:37
Talk

Automated Refactoring of Nested-IF Formulae in Spreadsheets

Jie Zhang, Shi Han, Dan HaoPeking University, Lu Zhang, Dongmei ZhangMicrosoft Research, China

11:37 - 12:00
Talk

FACTS: Automated Black-box Testing of FinTech Systems

Qingshun Wang, Lintao Gu, Minhui Xue, Lihua Xu, Wenyu Niu, Liang DouEast China Normal University, Liang He, Tao Xie

10:30 - 12:00: Demonstrations - Mining at Spring Lake
Chair(s): Peter RigbyConcordia University, Montreal, Canada

10:30 - 10:52
Talk

DSM: A Specification Mining Tool using Recurrent Neural Network Based Language Model

Tien-Duy B. LeSchool of Information Systems, Singapore Management University, Lingfeng Bao Zhejiang University City College, David LoSingapore Management University

10:52 - 11:15
Talk

EClone: Detect Semantic Clones in Ethereum via Symbolic Transaction Sketch

Han Liu, Zhiqiang YangTsinghua University, Chao Liu, Yu Jiang, Wenqi ZhaoAnt Financial, Jiaguang Sun

11:15 - 11:37
Talk

INFAR: Insight Extraction from App Reviews

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 - 12:00
Talk

PyDriller: Python Framework for Mining Software Repositories

Davide SpadiniDelft University of Technology, Netherlands, Mauricio AnicheDelft University of Technology, Netherlands, Alberto BacchelliUniversity of Zurich

Pre-print

10:30 - 12:00: Research Papers - Mobile Apps at Horizons 10-11
Chair(s): Shane McIntoshMcGill University

10:30 - 10:52
Talk

Getting the Most from Map Data Structures in Android

Rubén Saborido InfantesDepartment of Computer Science and Software Engineering, Concordia University, Montreal, Rodrigo MoralesConcordia University, Foutse KhomhPolytechnique Montréal, Yann-Gaël GuéhéneucConcordia University and Polytechnique Montréal, Giuliano AntoniolPolytechnique Montréal

DOI

10:52 - 11:15
Talk

Successes, Challenges, and Rethinking – An Industrial Investigation on Crowdsourced Mobile Application Testing

Ruizhi Gao, Yabin Wang, Yang FengUniversity of California, Irvine, Zhenyu ChenNanjing University, W. Eric Wong

DOI

11:15 - 11:37
Talk

AppFlow: Using Machine Learning to Synthesize Robust, Reusable UI Tests

Gang HuColumbia University, USA, Linjie Zhu, Junfeng YangColumbia University

11:37 - 12:00
Talk

Winning the App Production Rally

Ehsan NoeiUniversity of Toronto, Daniel Alencar Da Costa Queen's University, Kingston, Ontario, Ying ZouQueen's University, Kingston, Ontario

10:30 - 12:00: New Ideas and Emerging Results - NIER I at Horizons 6-9F
Chair(s): Gail KaiserColumbia University, New York

10:30 - 10:42
Talk

Gamifying Static Analysis

Lisa Nguyen Quang DoPaderborn University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM

10:42 - 10:55
Talk

The Case for Experiment-Oriented Computing

Paulo SalemDell EMC

10:55 - 11:08
Talk

On the Naturalness of Proofs

Vincent HellendoornUniversity of California at Davis, USA, Amin AlipourUniversity of Houston, Prem DevanbuUniversity of California

11:08 - 11:21
Talk

Does ACM's Code of Ethics Change Ethical Decision Making in Software Development?

Andrew McNamaraNorth Carolina State University, Justin SmithNorth Carolina State University, Emerson Murphy-HillNorth Carolina State University

Pre-print

11:21 - 11:34
Talk

How Are Spreadsheet Templates Used in Practice: A Case Study on Enron

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 - 11:47
Talk

DLFuzz: Differential Fuzzing Testing of Deep Learning Systems

Jianmin Guo, Yu Jiang, Yue ZhaoNCSU, Quan Chen, Jia-Guang Sun

11:47 - 12:00
Talk

Towards Data-Driven Vulnerability Prediction for Requirements

Sayem Mohammad ImtiazMississippi State University, Tanmay BhowmikMississippi State University

10:30 - 12:00: Student Research Competition - SRC at Solar

12:00 - 13:30: Social - Lunch at Lakeview Restaurant

12:00 - 13:30: Faculty Mentorship Roundtables - Mentoring Lunch II at Lakeview Restaurant Table

12:00 - 13:30
Lunch

Mentoring Lunch II

13:30 - 15:00: New Ideas and Emerging Results - NIER II at Horizons 6-9F
Chair(s): Gail KaiserColumbia University, New York

13:30 - 13:42
Talk

Beyond Testing Configurable Systems: Applying Variational Execution to Automatic Program Repair and Higher Order Mutation Testing

Chu-Pan WongCarnegie Mellon University, Jens MeinickeMagdeburg University, Christian KästnerCarnegie Mellon University

13:42 - 13:55
Talk

Software Fairness

Yuriy BrunUniversity of Massachusetts Amherst, Alexandra MeliouUniversity of Massachusetts Amherst

Link to publication DOI Pre-print

13:55 - 14:08
Talk

Software Engineering Collaboratories (SEClabs) and Collaboratories as a Service (CaaS)

Elena ShermanBoise State University, Robert DyerBowling Green State University

14:08 - 14:21
Talk

Towards Counterexample-guided k-Induction for Fast Bug Detection

Mikhail R. GadelhaUniversity of Southampton, Felipe R. MonteiroFederal University of Amazonas, Lucas C. CordeiroUniversity of Manchester, UK, Denis A. NicoleUniversity of Southampton

14:21 - 14:34
Talk

Salient-Class Location: Help Developers Understand Code Change in Code Review

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 - 14:47
Talk

Towards Quantifying the Development Value of Code

Jinglei RenPersper Foundation, Hezheng YinUniversity of California, Berkeley, Qingda HuTsinghua University, Armando FoxUC Berkeley, Wojciech KoszekThe FreeBSD Project

14:47 - 15:00
Talk

Engineering Human Values in Software: A Research Roadmap

Davoud MougoueiMonash University, Harsha PereraMonash University, Waqar HussainMonash University, Rifat ShamsMonash University, Jon WhittleMonash University

13:30 - 15:00: Research Papers - Software Analysis II at Horizons 5
Chair(s): Myra CohenIowa State University

13:30 - 13:52
Talk

A Systematic Evaluation of Static API-Misuse Detectors

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 - 14:15
Talk

Do Android Taint Analysis Tools Keep Their Promises?

Felix PauckPaderborn University, Germany, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Heike WehrheimPaderborn University

14:15 - 14:37
Talk

Neural-Augmented Static Analysis of Android Communication

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 - 15:00
Talk

Oreo: Detection of Clones in the Twilight Zone

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: Research Papers - Software Maintenance I at Horizons 10-11
Chair(s): Christian BirdMicrosoft Research

13:30 - 13:52
Talk

Use and Misuse of Continuous Integration Features: An Empirical Study of Projects that (mis)use Travis CI

Keheliya GallabaMcGill University, Shane McIntoshMcGill University

DOI

13:52 - 14:15
Research paper

One Size Does Not Fit All: An Empirical Study of Containerized Continuous Deployment Workflows

Yang ZhangNational University of Defense Technology, China, Bogdan VasilescuCarnegie Mellon University, Huaimin Wang, Vladimir FilkovUniversity of California at Davis, USA

Pre-print

14:15 - 14:37
Talk

Be Careful of When: An Empirical Study on Time-Related Misuse of Issue Tracking Data

Feifei TuPeking University, China, Jiaxin ZhuInstitute of Software at Chinese Academy of Sciences, China, Qimu ZhengPeking University, China, Minghui ZhouPeking University

14:37 - 15:00
Talk

Do the Dependency Conflicts in My Project Matter?

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:15: Industry - Test Automation at Solar
Chair(s): Satish ChandraFacebook

13:30 - 13:52
Talk

Regression Test Selection for TizenRT

Ahmet CelikUniversity of Texas at Austin, USA, Young Chul Lee, Milos GligoricUniversity of Texas at Austin

13:52 - 14:14
Talk

Building Lean Continuous Integration and Delivery Pipelines by applying DevOps Principles: A Case Study at Varidesk

Vidroha Debroy, Senecca Miller, Lance Brimble

14:14 - 14:36
Talk

The Impact of Failing, Flaky, and High Failure Tests on the number of Crash Reports associated with Firefox Builds

Md Tajmilur Rahman, Peter RigbyConcordia University, Montreal, Canada

14:36 - 15:06
Talk

Mateusz Machalica: Scaling Continuous Integration with Machine Learning, Facebook

15:00 - 15:30: Social - Coffee Break Afternoon at Horizons 1-4F

15:30 - 17:00: Research Papers - Mining at Horizons 6-9F
Chair(s): Hridesh RajanIowa State University

15:30 - 15:52
Talk

Finding Better Active Learners for Faster Literature Reviews

Zhe Yu, Nicholas A. KraftABB Corporate Research, Tim MenziesNorth Carolina State University

DOI

15:52 - 16:15
Talk

Mining Semantic Loop Idioms

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 - 16:37
Talk

NAR-Miner: Discovering Negative Association Rules from Code for Bug Detection

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 - 17:00
Talk

Path-Based Function Embedding and Its Application to Error-Handling Specification Mining

Daniel DeFreezUniversity of California, Davis, Aditya ThakurUniversity of California, Davis, Cindy Rubio-GonzálezUniversity of California, Davis

15:30 - 17:00: Demonstrations - Models at Spring Lake
Chair(s): Hamid BagheriUniversity of Nebraska-Lincoln, USA

15:30 - 15:52
Talk

A Formal Verification Tool for Ethereum VM Bytecode

Daejun ParkUniversity of Illinois at Urbana-Champaign, Yi ZhangUniversity of Illinois at Urbana-Champaign, Manasvi SaxenaRuntime Verification, Inc., Philip Daian, Grigore RosuUniversity of Illinois at Urbana-Champaign

15:52 - 16:15
Talk

ASketch: A Sketching Framework for Alloy

Kaiyuan Wang, Allison Sullivan, Darko MarinovUniversity of Illinois at Urbana-Champaign, Sarfraz KhurshidUniversity of Texas at Austin

16:15 - 16:37
Talk

VT-Revolution: Interactive Programming Tutorials Made Possible

Lingfeng Bao Zhejiang University City College, Zhenchang XingAustralia National University, Xin XiaMonash University, David LoSingapore Management University, Shanping Li

16:37 - 17:00
Talk

AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning

Ferhat ErataUNIT Information Technologies R&D Ltd., Arda GoknilUniversity of Luxembourg, Ivan KurtevAltran Netherlands, Bedir TekinerdoganWageningen University, The Netherlands

15:30 - 17:00: ROSE Festival 2018 - ROSE Festival at Horizons 5

15:30 - 17:00
Other

ROSE Festival

15:30 - 17:00: Research Papers - Symbolic Execution and Constraint Solving at Horizons 10-11
Chair(s): Satish ChandraFacebook

15:30 - 15:52
Talk

Concurrency Verification with Maximal Path Causality

Qiuping YiTexas A&M University, Jeff HuangTexas A&M University

15:52 - 16:15
Talk

Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks

Shengjian (Daniel) GuoVirginia Tech, Meng WuVirginia Tech, Chao WangUSC

16:15 - 16:37
Talk

Symbolic Execution with Existential Second-Order Constraints

Sergey MechtaevNational University of Singapore, Alberto GriggioFondazione Bruno Kessler, Alessandro CimattiFondazione Bruno Kessler, Abhik RoychoudhuryNational University of Singapore

DOI Pre-print

16:37 - 17:00
Talk

Parameterized Model Counting for String and Numeric Constraints

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

18:45 - 19:45: Social - Reception at Horizons 6-9F

18:45 - 19:45
Social Event

Reception

19:45 - 22:00: Social - Banquet at Horizons 6-9F

19:45 - 22:00
Social Event

Banquet

Thu 8 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

08:30 - 10:00: Keynotes - Keynote III at Horizons 6-9F
Chair(s): Alessandro GarciaPUC-Rio

08:30 - 10:00
Talk

Ten Years of Hunting for Similar Code for Fun and Profit

Lingxiao JiangSingapore Management University, Stéphane GlonduInria Nancy, Zhendong SuETH Zurich

10:00 - 10:30: Social - Coffee Break Morning at Horizons 1-4F

10:30 - 12:00: Research Papers - Estimation and Prediction at Horizons 5
Chair(s): Jim HerbslebCarnegie Mellon University

10:30 - 10:52
Talk

Early prediction of merged code changes to prioritize reviewing tasks

Yuanrui Fan, Xin XiaMonash University, David LoSingapore Management University, Shanping Li

DOI

10:52 - 11:15
Talk

How far we have progressed in the journey? An examination of cross-project defect prediction

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 - 11:37
Talk

A Novel Automated Approach for Software Effort Estimation Based on Data Augmentation

Liyan Song, Leandro Minku , Xin Yao

11:37 - 12:00
Talk

Predicting Node Failure in Cloud Service Systems

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: Research Papers - Models at Horizons 10-11
Chair(s): Mauricio AnicheDelft University of Technology, Netherlands

10:30 - 10:52
Talk

The modular and feature toggle architectures of Google Chrome

Md Tajmilur Rahman, Peter C. Rigby, Emad ShihabConcordia University

DOI

10:52 - 11:15
Talk

Applications of Psychological Science for Actionable Analytics

Di ChenNorth Carolina State University, USA, Wei Fu, Rahul KrishnaNC State University, Tim MenziesNorth Carolina State University

11:15 - 11:37
Talk

Putback-Based Bidirectional Model Transformations

Xiao HeUniversity of Science and Technology Beijing, China, Zhenjiang HuNational Institute of Informatics

11:37 - 12:00
Talk

Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT

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: Research Papers - Repair and Synthesis at Horizons 6-9F
Chair(s): Shahar MaozTel Aviv University

10:30 - 10:52
Talk

Machine Learning-Based Prototyping of Graphical User Interfaces for Mobile Apps

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 - 11:15
Talk

Detecting Speech Act Types in Developer Question/Answer Conversations during Bug Repair

Andrew Wood, Paige Rodeghero University of Notre Dame, Ameer Armaly, Collin McMillan

11:15 - 11:37
Research paper

Visual Web Test Repair

Andrea StoccoUniversity of British Columbia, Rahulkrishna YandrapallyUniversity of British Columbia, Canada, Ali MesbahUniversity of British Columbia

Pre-print Media Attached

11:37 - 12:00
Talk

Syntax-Guided Synthesis of Datalog Programs

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: Social - Lunch at Lakeview Restaurant

12:00 - 13:30: Faculty Mentorship Roundtables - Mentoring Lunch III at Lakeview Restaurant Table

12:00 - 13:30
Lunch

Mentoring Lunch III

13:30 - 15:00: Research Papers - Debugging and Bug Localization at Horizons 6-9F
Chair(s): Earlence FernandesUniversity of Michigan

13:30 - 13:52
Talk

Automated Patch Extraction via Syntax- and Semantics-Aware Delta Debugging on Source Code Changes

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 - 14:15
Talk

Feedback-Directed Differential Testing of Interactive Debuggers

Daniel LehmannTU Darmstadt, Michael PradelTU Darmstadt

14:15 - 14:37
Talk

Improving IR-Based Bug Localization with Context-Aware Query Reformulation

Masud RahmanUniversity of Saskatchewan , Chanchal K. RoyUniversity of Saskatchewan

Pre-print

14:37 - 15:00
Talk

How Should Compilers Explain Problems to Developers?

Titus BarikMicrosoft, Denae FordNorth Carolina State University, Emerson Murphy-HillNorth Carolina State University, Chris ParninNCSU

Pre-print

13:30 - 15:00: Research Papers - Probabilistic Reasoning at Horizons 5
Chair(s): Antonio FilieriImperial College London

13:30 - 13:52
Talk

Phys: Probabilistic Physical Unit Assignment and Inconsistency Detection

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 - 14:14
Talk

Testing Probabilistic Programming Systems

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 - 14:36
Talk

Verifying the Long-Run Behavior of Probabilistic System Models in the Presence of Uncertainty

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: Research Papers - Software Maintenance II at Horizons 10-11
Chair(s): Emerson Murphy-HillNorth Carolina State University

13:30 - 13:52
Talk

Automating Change-level Self-admitted Technical Debt Determination

Meng Yan, Xin XiaMonash University, Emad ShihabConcordia University, David LoSingapore Management University, Jianwei Yin, Xiaohu Yang

DOI

13:52 - 14:15
Talk

Large-Scale Study of Substitutability in the Presence of Effects

Jackson MaddoxIowa State University, USA, Yuheng LongIowa State University, Hridesh RajanIowa State University

14:15 - 14:37
Talk

An Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Systems

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 - 15:00
Talk

Complementing Global and Local Contexts in Representing API Descriptions to Improve API Retrieval Tasks

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

15:00 - 15:30: Social - Coffee Break Afternoon at Horizons 1-4F

15:30 - 17:00: Research Papers - Ecosystems and Crowdsourcing at Horizons 10-11
Chair(s): Peter RigbyConcordia University, Montreal, Canada

15:30 - 15:52
Talk

Comparison of release engineering practices in a large mature company and a startup

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 - 16:14
Talk

Microtask Programming

Thomas LaTozaGeorge Mason University, Arturo Di Lecce, Fabio Ricci, W. Ben Towne, Andre van der Hoek University of California, Irvine

DOI

16:14 - 16:36
Talk

Ecosystem-Level Determinants of Sustained Activity in Open-Source Projects: A Case Study of the PyPI Ecosystem

Marat ValievCarnegie Mellon University, USA, Bogdan VasilescuCarnegie Mellon University, Jim HerbslebCarnegie Mellon University

15:30 - 17:00: Research Papers - Energy at Horizons 6-9F
Chair(s): Diego GarbervetskyUniversity of Buenos Aires, Argentina

15:30 - 16:00
Talk

Approximate Oracles and Synergy in Software Energy Search Spaces

Bobby R. Bruce, Justyna PetkeUniversity College London, Mark HarmanFacebook and University College London, Earl T. Barr

DOI

16:00 - 16:30
Talk

Detection of Energy Inefficiencies in Android Wear Watch Faces

Hailong ZhangOhio State University, Haowei Wu, Atanas RountevOhio State University

16:30 - 17:00
Talk

Stochastic Energy Optimization for Mobile GPS Applications

Anthony CaninoSUNY Binghamton, Yu David LiuState University of New York (SUNY) Binghamton, Hidehiko MasuharaTokyo Institute of Technology

15:30 - 17:00: Research Papers - Testing II at Horizons 5
Chair(s): Tevfik BultanUniversity of California, Santa Barbara

15:30 - 15:52
Talk

On the correctness of electronic documents: studying, finding, and localizing inconsistency bugs in PDF readers and files

Tomasz Kuchta, Thibaud Lutellier, Edmund Wong, Lin TanUniversity of Waterloo , Cristian CadarImperial College London

DOI

15:52 - 16:15
Talk

Optimizing Test Prioritization via Test Distribution Analysis

Junjie ChenPeking University, Yiling LouPeking University, China, Lingming Zhang, Jianyi ZhouPeking University, China, Xiaoleng WangBaidu, China, Dan HaoPeking University, Lu ZhangPeking University

16:15 - 16:37
Talk

How Well Are Regular Expressions Tested in the Wild?

Peipei WangNorth Carolina State University, USA, Kathryn StoleeNorth Carolina State University

16:37 - 17:00
Talk

Which Generated Test Failures Are Fault Revealing? Prioritizing Failures Based on Inferred Precondition Violations using PAF

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

17:15 - 17:45: Social - Closing Plenary (closing ceremony) at Horizons 6-9F

17:15 - 17:45
Social Event

Closing Plenary (closing ceremony)

Gary LeavensUniversity of Central Florida

Fri 9 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

09:00 - 10:00: WASPI - WASPI workshop 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 - 09:15
Day opening

Welcome and introductions

09:15 - 10:00
Talk

New frontier of mining software repositories at scale---Usability and information delivery (invited talk)

Miryung KimUniversity of California, Los Angeles

10:00 - 10:30: Social - Coffee Break Morning at Spring Lake

10:30 - 12:00: WASPI - Morning Talks at Spring Lake
Chair(s): Gary LeavensUniversity of Central Florida

10:30 - 11:00
Talk

Towards Combining Usage Mining and Implementation Analysis to Infer API Preconditions

Hoan Anh NguyenIowa State University, USA, Tien N. NguyenUniversity of Texas at Dallas, Hridesh RajanIowa State University, Robert DyerBowling Green State University

11:00 - 11:30
Talk

Contract Discovery from Black-Box Components

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 - 12:00
Talk

Automated Generation of Creative Software Requirements: A Data-Driven Approach

Quoc Anh DoMississippi State University, Tanmay BhowmikMississippi State University

12:00 - 13:30: Social - Lunch at Rock Lake

13:30 - 14:30: WASPI - Afternoon talks at Spring Lake
Chair(s): Robert DyerBowling Green State University

13:30 - 14:00
Talk

On the Significance of Contract-Based Typestate Specification

Samantha Syeda KhairunnesaIowa State University, Hoan Anh NguyenIowa State University, USA, Hridesh RajanIowa State University

14:00 - 14:30
Talk

Towards Static Recovery of Micro State Transitions from Legacy Embedded Code

Ryota YamamotoNagoya University, Norihiro YoshidaNagoya University, Hiroaki TakadaNagoya University

DOI Pre-print

14:30 - 15:00: WASPI - Future of Specification Inference Panel at Spring Lake
Chair(s): Hoan NguyenIowa State University

14:30 - 15:00
Other

Panel Discussion on Future of Specification Inference

15:00 - 15:30: Social - Coffee Break Afternoon at Spring Lake

15:30 - 17:00: WASPI - Open Discussion: Benchmarks for Program Specification at Spring Lake
Chair(s): Hridesh RajanIowa State University

15:30 - 17:00
Other

Open Discussion - Benchmarks for Program Specification

Sun 4 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change


Room	8:00	30	9:00	30	10:00	30	11:00	30	12:00	30	13:00	30	14:00	30	15:00	30	16:00	30	17:00	30
Lakes Foyer					ESEC/FSE Social Coffee Break Morning										ESEC/FSE Social Coffee Break Afternoon
Lakeview Restaurant (West)									ESEC/FSE Social Lunch
Rock Lake		ESEC/FSE NL4SE NL4SE Workshop I				ESEC/FSE NL4SE NL4SE Workshop II						ESEC/FSE NL4SE NL4SE Workshop III				ESEC/FSE NL4SE NL4SE Workshop IV
Spring Lake		ESEC/FSE EnSEmble EnSEmble I				ESEC/FSE EnSEmble EnSEmble II						ESEC/FSE EnSEmble EnSEmble III				ESEC/FSE EnSEmble EnSEmble IV

Mon 5 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change


Room	8:00	30	9:00	30	10:00	30	11:00		30	12:00	30	13:00	30	14:00	30	15:00	30	16:00	30	17:00	30
Lakes Foyer					ESEC/FSE Social Coffee Break Morning											ESEC/FSE Social Coffee Break Afternoon
Lakeview Restaurant (West)										ESEC/FSE Social Lunch
Rock Lake		ESEC/FSE SWAN SWAN I				ESEC/FSE SWAN Session 1: Continuous integration		ESEC/FSE SWAN Session 2: Defect prediction					ESEC/FSE SWAN SWAN III				ESEC/FSE SWAN SWAN IV
Sandy Lake		ESEC/FSE A-TEST A-TEST I				ESEC/FSE A-TEST A-TEST II							ESEC/FSE A-TEST A-TEST III				ESEC/FSE A-TEST A-TEST IV
Solar		ESEC/FSE Doctorial Symposium Doctoral Symposium (invitation only)
Spring Lake		JPF JPF Workshop

Tue 6 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change


Room	8:00	30	9:00	30	10:00	30	11:00	30	12:00	30	13:00	30	14:00	30	15:00	30	16:00	30	17:00		30	18:00	30		19:00	30	20:00	30
Horizons 1-4F					ESEC/FSE Student Research Competition SRC Posters I ESEC/FSE Doctorial Symposium Doctoral Symposium Posters I 10:00 - 10:30 ESEC/FSE Social Coffee Break Morning 10:00 - 10:30										ESEC/FSE Doctorial Symposium Doctoral Symposium Posters II ESEC/FSE Student Research Competition SRC Posters II 15:00 - 15:30 ESEC/FSE Social Coffee Break Afternoon 15:00 - 15:30									ESEC/FSE Social Post Town Hall Reception
Horizons 10-11						ESEC/FSE Research Papers Concurrency and Races						ESEC/FSE Research Papers Performance				ESEC/FSE Research Papers Developer Studies				ESEC/FSE Social SIGSOFT Town Hall Meeting
Horizons 5						ESEC/FSE Industry Formal Analysis						ESEC/FSE Research Papers Software Analysis I				ESEC/FSE Research Papers Testing I
Horizons 6-9F		ESEC/FSE Keynotes Keynote I				ESEC/FSE Research Papers Log Mining						ESEC/FSE Research Papers Deep Learning				ESEC/FSE Research Papers Security
Lakeview Restaurant									ESEC/FSE Social Lunch
Lakeview Restaurant Table									ESEC/FSE Faculty Mentorship Roundtables Mentoring Lunch I
Solar						ESEC/FSE Demonstrations Testing						ESEC/FSE Industry Security				ESEC/FSE Demonstrations Bugs

Wed 7 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change


Room	8:00	30	9:00	30	10:00	30	11:00	30	12:00	30	13:00	30	14:00	30	15:00	30	16:00	30	17:00		30	18:00	30		19:00	30		20:00	30	21:00	30	22:00	30
Horizons 1-4F					ESEC/FSE Social Coffee Break Morning										ESEC/FSE Social Coffee Break Afternoon
Horizons 10-11						ESEC/FSE Research Papers Mobile Apps						ESEC/FSE Research Papers Software Maintenance I				ESEC/FSE Research Papers Symbolic Execution and Constraint Solving				ESEC/FSE Social
Horizons 5						ESEC/FSE Industry End User Programming and Financial Applications						ESEC/FSE Research Papers Software Analysis II				ROSE Festival ROSE Festival
Horizons 6-9F		ESEC/FSE Keynotes Keynote II				ESEC/FSE New Ideas and Emerging Results NIER I						ESEC/FSE New Ideas and Emerging Results NIER II				ESEC/FSE Research Papers Mining								ESEC/FSE Social Reception			ESEC/FSE Social Banquet
Lakeview Restaurant									ESEC/FSE Social Lunch
Lakeview Restaurant Table									ESEC/FSE Faculty Mentorship Roundtables Mentoring Lunch II
Solar						ESEC/FSE Student Research Competition SRC						ESEC/FSE Industry Test Automation
Spring Lake						ESEC/FSE Demonstrations Mining										ESEC/FSE Demonstrations Models

Thu 8 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change


Room	8:00	30	9:00	30	10:00	30	11:00	30	12:00	30	13:00	30	14:00	30	15:00	30	16:00	30	17:00		30
Horizons 1-4F					ESEC/FSE Social Coffee Break Morning										ESEC/FSE Social Coffee Break Afternoon
Horizons 10-11						ESEC/FSE Research Papers Models						ESEC/FSE Research Papers Software Maintenance II				ESEC/FSE Research Papers Ecosystems and Crowdsourcing
Horizons 5						ESEC/FSE Research Papers Estimation and Prediction						ESEC/FSE Research Papers Probabilistic Reasoning				ESEC/FSE Research Papers Testing II
Horizons 6-9F		ESEC/FSE Keynotes Keynote III				ESEC/FSE Research Papers Repair and Synthesis						ESEC/FSE Research Papers Debugging and Bug Localization				ESEC/FSE Research Papers Energy				ESEC/FSE Social Closing Plenary (closing ceremony)
Lakeview Restaurant									ESEC/FSE Social Lunch
Lakeview Restaurant Table									ESEC/FSE Faculty Mentorship Roundtables Mentoring Lunch III

Fri 9 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change


Room	9:00	30	10:00	30	11:00	30	12:00	30	13:00	30	14:00	30	15:00	30	16:00	30	17:00	30
Rock Lake							ESEC/FSE Social Lunch
Spring Lake	ESEC/FSE WASPI WASPI workshop		ESEC/FSE Social Coffee Break Morning	ESEC/FSE WASPI Morning Talks						ESEC/FSE WASPI Afternoon talks		ESEC/FSE WASPI Future of Specification Inference Panel	ESEC/FSE Social Coffee Break Afternoon	ESEC/FSE WASPI Open Discussion: Benchmarks for Program Specification

Sun 4 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Rock Lake							ESEC/FSE NL4SE Welcome and introductions 08:30 - 09:15									ESEC/FSE NL4SE Learning from Code with Graphs (Keynote) 09:15 - 10:00															ESEC/FSE NL4SE Total Recall, Language Processing, and Software Engineering 10:30 - 10:45			ESEC/FSE NL4SE Is “Naturalness” a Result of Deliberate Choice? 10:45 - 11:00			ESEC/FSE NL4SE A Fine-Grained Approach for Automated Conversion of JUnit Assertions to ... 11:00 - 11:15			ESEC/FSE NL4SE TestNMT: Function-to-Test Neural Machine Translation 11:15 - 11:30			ESEC/FSE NL4SE 3CAP: Categorizing the Cognitive Capabilities of Alzheimer’s Patients i ... 11:30 - 11:45			ESEC/FSE NL4SE Generating Comments from Source Code with CCGs 11:45 - 12:00																					ESEC/FSE NL4SE Towards Understanding Code Readability and Its Impact on Design Quality 13:30 - 13:45			ESEC/FSE NL4SE Cleaning StackOverflow for use in Machine Translation 13:45 - 14:00			ESEC/FSE NL4SE LinkSO: A Dataset for Learning to Retrieve Similar Question Answer Pair ... 14:00 - 14:15			ESEC/FSE NL4SE Natural Language Processing (NLP) Applied on Issue Trackers 14:15 - 14:30			ESEC/FSE NL4SE Mining Monitoring Concerns Implementation in Java-Based Software Systems 14:30 - 14:45			ESEC/FSE NL4SE Two Perspectives on Software Documentation Quality in Stack Overflow 14:45 - 15:00									ESEC/FSE NL4SE Workshop wrapup 15:30 - 16:15									ESEC/FSE NL4SE Big Code at Facebook (Keynote II) 16:15 - 17:00

Mon 5 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change


Room	8:00	15	30	45	9:00		15	30	45	10:00	15	30	45		11:00		15		30			45	12:00	15	30	45	13:00	15	30	45		14:00	15	30		45	15:00	15	30	45	16:00	15	30	45		17:00	15	30	45
Rock Lake												ESEC/FSE SWAN (No) Influence of Continuous Integration on the Commit Activity in GitH ... 10:30 - 10:52		ESEC/FSE SWAN Characterizing the Influence of Continuous Integration: Empirical Resul ... 10:52 - 11:15			ESEC/FSE SWAN Facilitating Feasibility Analysis: The Pilot Defects Prediction Dataset ... 11:15 - 11:37			ESEC/FSE SWAN Is One Hyperparameter Optimizer Enough? 11:37 - 12:00
Sandy Lake												ESEC/FSE A-TEST Reinforcement Learning for Android GUI Testing 10:30 - 10:48		ESEC/FSE A-TEST Extending Equivalence Transformation Based Program Generator for Random ... 10:48 - 11:06		ESEC/FSE A-TEST HDDr: A Recursive Variant of the Hierarchical Delta Debugging Algorithm 11:06 - 11:24		ESEC/FSE A-TEST Goal-Oriented Mutation Testing with Focal Methods 11:24 - 11:42			ESEC/FSE A-TEST A Reinforcement Learning Based Approach to Automated Testing of Android ... 11:42 - 12:00								ESEC/FSE A-TEST Random Testing of Compilers’ Performance Based on Mixed Static and Dyna ... 13:30 - 14:15				ESEC/FSE A-TEST Test Patterns for IoT 14:15 - 15:00
Solar			ESEC/FSE Doctorial Symposium Introductions, logistics 08:30 - 09:00		ESEC/FSE Doctorial Symposium Presenting Software Engineering Research 09:00 - 10:00					ESEC/FSE Doctorial Symposium Coffee break 10:00 - 10:30		ESEC/FSE Doctorial Symposium Practices And Tools For Better Software Testing 10:30 - 10:52		ESEC/FSE Doctorial Symposium Automated Support for Mobile Application Testing and Maintenance 10:52 - 11:14			ESEC/FSE Doctorial Symposium Moving Towards Objective Measures of Program Comprehension 11:14 - 11:36			ESEC/FSE Doctorial Symposium Semantic Inference from Natural Language Privacy Policies and Android Code 11:36 - 11:58			ESEC/FSE Doctorial Symposium Lunch break 12:00 - 13:30						ESEC/FSE Doctorial Symposium Intelligent Bug Fixing with Sofware Bug Knowledge Graph 13:30 - 13:52		ESEC/FSE Doctorial Symposium Quality Assurance Automation in Autonomous Systems 13:52 - 14:14		ESEC/FSE Doctorial Symposium How Do Developers Resolve Merge Conflicts? An Investigation Into the Pr ... 14:14 - 14:36		ESEC/FSE Doctorial Symposium Poster madness students with poster only, mingling/discussion of posters 14:36 - 15:00		ESEC/FSE Doctorial Symposium Coffee Break / Continuation of posters 15:00 - 15:30		ESEC/FSE Doctorial Symposium Discovering Your Own Definition of 'Impact' - A Key to Long Term Engagement 15:30 - 16:45					ESEC/FSE Doctorial Symposium Wrap Up / Discussion 16:45 - 17:00
Spring Lake					JPF Opening 09:00 - 09:10	JPF Keynote: Side-Channel Analysis via Symbolic Execution and Model Counting 09:10 - 10:00				JPF Coffee break 10:00 - 10:30		JPF Assessing the Adequacy of Synthetic Programs for Learning SPF's Configu ... 10:30 - 11:00			JPF Benchmarking of Java Verification Tools at the Software Verification Co ... 11:00 - 11:30				JPF Attack Synthesis for Strings using Meta-Heuristics 11:30 - 12:00				JPF Lunch @Lakeview Restaurant West 12:00 - 13:30						JPF Invited talk: Test input generation using separation logic 13:30 - 14:00			JPF Memory safety in C by abstract interpretation 14:00 - 14:30		JPF Automatic Data Structure Repair using Separation Logic 14:30 - 15:00			JPF Coffee break 15:00 - 15:30		JPF A Progress Bar for the JPF Search Using Program Executions 15:30 - 16:00		JPF JPF Open Discussion 16:00 - 16:50				JPF Closing 16:50 - 17:00

Tue 6 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45
Horizons 1-4F																									ESEC/FSE Student Research Competition How Dance(Sport) Can Help to Produce Better Software 10:00 - 10:30 Towards Learning-Augmented Languages 10:00 - 10:30 Feature-Interaction Aware Configuration Prioritization 10:00 - 10:30 Diversity and Decorum in Open Source Communities 10:00 - 10:30 Type Migration in Large-Scale Code Bases 10:00 - 10:30 Bugs in the Wild: Examining the Effectiveness of Static Analyzers at Fi ... 10:00 - 10:30 Mining Error-Handling Specifications for Systems Software 10:00 - 10:30 Automated Scenario-based Integration Testing of Distributed Systems 10:00 - 10:30 Reshaping Distributed Agile and Adaptive Development Environment 10:00 - 10:30 On the Adoption of Neural Networks in Modeling Software Reliability 10:00 - 10:30 Dara - Hybrid Model Checking of Distributed Systems 10:00 - 10:30 ESEC/FSE Doctorial Symposium Poster: Feedback in Scrum Processes: Data-Driven Retrospectives 10:00 - 10:30 Poster: What is the Programmer Experience? 10:00 - 10:30 Poster: Blueprints Programming Model for Smart Contracts 10:00 - 10:30 Poster: Leveraging Traceability and Obstacle Analysis to Ensure Require ... 10:00 - 10:30 Poster: Test Coverage for Semi-Structured Data 10:00 - 10:30 Poster: Practices And Tools For Better Software Testing 10:00 - 10:30 Poster: Automated Support for Mobile Application Testing and Maintenance 10:00 - 10:30 Poster: Moving Towards Objective Measures of Program Comprehension 10:00 - 10:30 Poster: Semantic Inference from Natural Language Privacy Policies and A ... 10:00 - 10:30 Poster: Intelligent Bug Fixing with Sofware Bug Knowledge Graph 10:00 - 10:30 Poster: Quality Assurance Automation in Autonomous Systems 10:00 - 10:30 Poster: How Do Developers Resolve Merge Conflicts? An Investigation Int ... 10:00 - 10:30																																																												ESEC/FSE Doctorial Symposium Poster: Semantic Inference from Natural Language Privacy Policies and A ... 15:00 - 15:30 Poster: Practices And Tools For Better Software Testing 15:00 - 15:30 Poster: Leveraging Traceability and Obstacle Analysis to Ensure Require ... 15:00 - 15:30 Poster: Quality Assurance Automation in Autonomous Systems 15:00 - 15:30 Poster: Intelligent Bug Fixing with Sofware Bug Knowledge Graph 15:00 - 15:30 Poster: Automated Support for Mobile Application Testing and Maintenance 15:00 - 15:30 Poster: Feedback in Scrum Processes: Data-Driven Retrospectives 15:00 - 15:30 Poster: What is the Programmer Experience? 15:00 - 15:30 Poster: How Do Developers Resolve Merge Conflicts? An Investigation Int ... 15:00 - 15:30 Poster: Test Coverage for Semi-Structured Data 15:00 - 15:30 Poster: Blueprints Programming Model for Smart Contracts 15:00 - 15:30 Poster: Moving Towards Objective Measures of Program Comprehension 15:00 - 15:30 ESEC/FSE Student Research Competition Reshaping Distributed Agile and Adaptive Development Environment 15:00 - 15:30 Diversity and Decorum in Open Source Communities 15:00 - 15:30 On the Adoption of Neural Networks in Modeling Software Reliability 15:00 - 15:30 Towards Learning-Augmented Languages 15:00 - 15:30 Mining Error-Handling Specifications for Systems Software 15:00 - 15:30 How Dance(Sport) Can Help to Produce Better Software 15:00 - 15:30

Display in different time zone

ESEC/FSE 2018 Program

Sun 4 Nov Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Mon 5 Nov Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Tue 6 Nov Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Wed 7 Nov Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Thu 8 Nov Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Fri 9 Nov Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Sun 4 Nov Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

ESEC/FSE Social

ESEC/FSE Social

ESEC/FSE Social

ESEC/FSE NL4SE

ESEC/FSE NL4SE

ESEC/FSE NL4SE

ESEC/FSE NL4SE

ESEC/FSE EnSEmble

ESEC/FSE EnSEmble

ESEC/FSE EnSEmble

ESEC/FSE EnSEmble

Mon 5 Nov Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

ESEC/FSE Social

ESEC/FSE Social

ESEC/FSE Social

ESEC/FSE SWAN

ESEC/FSE SWAN

ESEC/FSE SWAN

ESEC/FSE SWAN

ESEC/FSE SWAN

ESEC/FSE A-TEST

ESEC/FSE A-TEST

ESEC/FSE A-TEST

ESEC/FSE A-TEST

ESEC/FSE Doctorial Symposium

JPF

Tue 6 Nov Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

ESEC/FSE Student Research Competition

ESEC/FSE Doctorial Symposium

ESEC/FSE Social

ESEC/FSE Doctorial Symposium

ESEC/FSE Student Research Competition

ESEC/FSE Social

ESEC/FSE Social

ESEC/FSE Research Papers

ESEC/FSE Research Papers

ESEC/FSE Research Papers

ESEC/FSE Social

ESEC/FSE Industry

ESEC/FSE Research Papers

ESEC/FSE Research Papers

ESEC/FSE Keynotes

ESEC/FSE Research Papers

ESEC/FSE Research Papers

ESEC/FSE Research Papers

ESEC/FSE Social

ESEC/FSE Faculty Mentorship Roundtables

ESEC/FSE Demonstrations

ESEC/FSE Industry

ESEC/FSE Demonstrations

Wed 7 Nov Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

ESEC/FSE Social

ESEC/FSE Social

ESEC/FSE Research Papers

ESEC/FSE Research Papers

ESEC/FSE Research Papers

ESEC/FSE Social

ESEC/FSE Industry

ESEC/FSE Research Papers

ROSE Festival

ESEC/FSE Keynotes

ESEC/FSE New Ideas and Emerging Results

ESEC/FSE New Ideas and Emerging Results

ESEC/FSE Research Papers

ESEC/FSE Social

ESEC/FSE Social

ESEC/FSE Social

ESEC/FSE Faculty Mentorship Roundtables

ESEC/FSE Student Research Competition

ESEC/FSE Industry

ESEC/FSE Demonstrations

Sun 4 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Mon 5 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Tue 6 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Wed 7 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Thu 8 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Fri 9 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Sun 4 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Mon 5 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Tue 6 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Wed 7 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Thu 8 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Fri 9 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Sun 4 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Mon 5 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Tue 6 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change