Program - ESEC/FSE 2018

Time Zone

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

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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: Guadalajara, Mexico City, Monterrey change

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

	08:30 - 09:15 Day opening		Welcome and introductions NL4SE
	09:15 - 10:00 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 - 10:45 Talk		Total Recall, Language Processing, and Software Engineering NL4SE Zhe Yu, Tim Menzies
	10:45 - 11:00 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 - 11:15 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 - 11:30 Talk		TestNMT: Function-to-Test Neural Machine Translation NL4SE 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 NL4SE 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 NL4SE Sergey MatskevichDrexel University, USA, Colin GordonDrexel University

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

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

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

	13:30 - 13:45 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 - 14:00 Talk		Cleaning StackOverflow for use in Machine Translation NL4SE
	14:00 - 14:15 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 - 14:30 Talk		Natural Language Processing (NLP) Applied on Issue Trackers NL4SE Mathias EllmannUniversity of Hamburg and LegalTechTeam
	14:30 - 14:45 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 - 15:00 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 - 16:15 Day closing		Workshop wrapup NL4SE
	16:15 - 17:00 Talk		Big Code at Facebook (Keynote II) NL4SE Satish ChandraFacebook

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

Mon 5 Nov
Times are displayed in 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 - 09:00 Other		Introductions, logistics Doctorial Symposium Hridesh RajanIowa State University
	09:00 - 10:00 Talk		Presenting Software Engineering Research Doctorial Symposium S: Margaret-Anne StoreyUniversity of Victoria
	10:00 - 10:30 Coffee break		Coffee break Doctorial Symposium
	10:30 - 10:52 Talk		Practices And Tools For Better Software Testing Doctorial Symposium Davide SpadiniDelft University of Technology, Netherlands
	10:52 - 11:14 Talk		Automated Support for Mobile Application Testing and Maintenance Doctorial Symposium Mattia FazziniGeorgia Institute of Technology
	11:14 - 11:36 Talk		Moving Towards Objective Measures of Program Comprehension Doctorial Symposium Sarah FakhouryWashington State University
	11:36 - 11:58 Talk		Semantic Inference from Natural Language Privacy Policies and Android Code Doctorial Symposium Mitra Bokaei HosseiniUniversity of Texas at San Antonio
	12:00 - 13:30 Lunch		Lunch break Doctorial Symposium
	13:30 - 13:52 Talk		Intelligent Bug Fixing with Sofware Bug Knowledge Graph Doctorial Symposium Cheng ZhouYangzhou University
	13:52 - 14:14 Talk		Quality Assurance Automation in Autonomous Systems Doctorial Symposium Afsoon AfzalCarnegie Mellon University
	14:14 - 14:36 Talk		How Do Developers Resolve Merge Conflicts? An Investigation Into the Processes, Tools, and Improvements Doctorial Symposium Caius BrindescuOregon State University
	14:36 - 15:00 Other		Poster madness students with poster only, mingling/discussion of posters Doctorial Symposium
	15:00 - 15:30 Coffee break		Coffee Break / Continuation of posters Doctorial Symposium
	15:30 - 16:45 Talk		Discovering Your Own Definition of 'Impact' - A Key to Long Term Engagement Doctorial Symposium David C. ShepherdABB, Inc
	16:45 - 17:00 Other		Wrap Up / Discussion Doctorial Symposium

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

	09:00 - 09:10 Day opening		Opening JPF
	09:10 - 10:00 Talk		Keynote: Side-Channel Analysis via Symbolic Execution and Model Counting JPF Tevfik BultanUniversity of California, Santa Barbara
	10:00 - 10:30 Coffee break		Coffee break JPF
	10:30 - 11:00 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 - 11:30 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 - 12:00 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 - 13:30 Lunch		Lunch @Lakeview Restaurant West JPF
	13:30 - 14:00 Talk		Invited talk: Test input generation using separation logic JPF Quoc-Sang PhanFujitsu Laboratories of America
	14:00 - 14:30 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 - 15:00 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 - 15:30 Coffee break		Coffee break JPF
	15:30 - 16:00 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 - 16:50 Meeting		JPF Open Discussion JPF
	16:50 - 17:00 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 - 10:52 Talk		(No) Influence of Continuous Integration on the Commit Activity in GitHub Projects SWAN 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 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 - 10:48 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 - 11:06 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 - 11:24 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 - 11:42 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 - 12:00 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 - 11:37 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 - 12:00 Talk		Is One Hyperparameter Optimizer Enough? SWAN Huy TuNorth Carolina State University, USA, Vivek Nair

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

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

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

	13:30 - 14:15 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 - 15:00 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

Tue 6 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

	08:30 - 10:00: Keynote IKeynotes 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 Keynotes Erik MeijerFacebook

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

	10:00 - 10:30 Poster		How Dance(Sport) Can Help to Produce Better Software Student Research Competition Irina Erofeeva
	10:00 - 10:30 Poster		Towards Learning-Augmented Languages Student Research Competition Xinyuan SunUniversity of California, Davis
	10:00 - 10:30 Poster		Feature-Interaction Aware Configuration Prioritization Student Research Competition Son NguyenThe University of Texas at Dallas
	10:00 - 10:30 Poster		Diversity and Decorum in Open Source Communities Student Research Competition Neill RobsonNC State University
	10:00 - 10:30 Poster		Type Migration in Large-Scale Code Bases Student Research Competition 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 Student Research Competition David A TomassiUniversity of California, Davis
	10:00 - 10:30 Poster		Mining Error-Handling Specifications for Systems Software Student Research Competition Daniel DeFreezUniversity of California, Davis
	10:00 - 10:30 Poster		Automated Scenario-based Integration Testing of Distributed Systems Student Research Competition Bruno LimaFaculty of Engineering, University of Porto and INESC TEC
	10:00 - 10:30 Poster		Reshaping Distributed Agile and Adaptive Development Environment Student Research Competition Francesco NoceraPolytechnic University of Bari
	10:00 - 10:30 Poster		On the Adoption of Neural Networks in Modeling Software Reliability Student Research Competition Kamill Gusmanov
	10:00 - 10:30 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 - 10:30 Poster		Poster: Feedback in Scrum Processes: Data-Driven Retrospectives Doctorial Symposium Christoph MatthiesHasso Plattner Institute, University of Potsdam
	10:00 - 10:30 Poster		Poster: What is the Programmer Experience? Doctorial Symposium Jenny Morales
	10:00 - 10:30 Poster		Poster: Blueprints Programming Model for Smart Contracts Doctorial Symposium Bert-Jan Butijn
	10:00 - 10:30 Poster		Poster: Leveraging Traceability and Obstacle Analysis to Ensure Requirements Fulfilment in Systems Engineering Doctorial Symposium Mounifah Alenazi
	10:00 - 10:30 Poster		Poster: Test Coverage for Semi-Structured Data Doctorial Symposium Nawwar Kabbani
	10:00 - 10:30 Poster		Poster: Practices And Tools For Better Software Testing Doctorial Symposium Davide SpadiniDelft University of Technology, Netherlands
	10:00 - 10:30 Poster		Poster: Automated Support for Mobile Application Testing and Maintenance Doctorial Symposium Mattia FazziniGeorgia Institute of Technology
	10:00 - 10:30 Poster		Poster: Moving Towards Objective Measures of Program Comprehension Doctorial Symposium Sarah FakhouryWashington State University
	10:00 - 10:30 Poster		Poster: Semantic Inference from Natural Language Privacy Policies and Android Code Doctorial Symposium Mitra Bokaei HosseiniUniversity of Texas at San Antonio
	10:00 - 10:30 Poster		Poster: Intelligent Bug Fixing with Sofware Bug Knowledge Graph Doctorial Symposium Cheng ZhouYangzhou University
	10:00 - 10:30 Poster		Poster: Quality Assurance Automation in Autonomous Systems Doctorial Symposium Afsoon AfzalCarnegie Mellon University
	10:00 - 10:30 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 - 10:52 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 - 11:15 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 - 11:37 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 - 12:00 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: Formal AnalysisIndustry at Horizons 5

	10:30 - 10:52 Talk		Modeling and Testing a Family of Surgical Robots: An Experience Report Industry 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 Industry 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 Industry Neha RungtaAmazon Web Services

	10:30 - 12:00: Log MiningResearch Papers / Journal-First at Horizons 6-9F Chair(s): Dongyoon LeeVirginia Tech, USA

	10:30 - 10:52 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 - 11:15 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 - 11:37 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 - 12:00 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 - 10:52 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 - 11:15 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 - 11:37 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 - 12:00 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: LunchSocial at Lakeview Restaurant

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

	12:00 - 13:30 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 - 13:52 Talk		CHiP: A Configurable Hybrid Parallel Covering Array Constructor Journal-First 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 Research Papers 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 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 - 15:00 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 IResearch Papers / Journal-First at Horizons 5 Chair(s): Sebastian ElbaumUniversity of Nebraska-Lincoln, USA

	13:30 - 13:52 Talk		On Accelerating Source Code Analysis At Massive Scale Journal-First Ganesha UpadhyayaFuturewei Technologies, Hridesh RajanIowa State University DOI
	13:52 - 14:15 Talk		RefiNym: Using Names to Refine Types Research Papers Santanu Kumar DashUniversity College London, UK, Miltiadis AllamanisMicrosoft Research, Cambridge, Earl T. Barr
	14:15 - 14:37 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 - 15:00 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 - 13:52 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 - 14:15 Talk		DeepSim: Deep Learning Code Functional Similarity Research Papers Gang Zhao, Jeff HuangTexas A&M University
	14:15 - 14:37 Talk		Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces Research Papers 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 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 - 13:52 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 - 14:15 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 - 14:37 Talk		PAFL: Extend Fuzzing Optimizations of Single Mode to Industrial Parallel Mode Industry Jie Liang, Yu Jiang, Yuanliang Chen, Mingzhe Wang, Chijin Zhou, Jiaguang Sun
	14:37 - 15:00 Talk		Software Development Challenges with Air-Gap Isolation Industry Sunny Wong, Anne Woepse

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

	15:00 - 15:30 Poster		Poster: Semantic Inference from Natural Language Privacy Policies and Android Code Doctorial Symposium Mitra Bokaei HosseiniUniversity of Texas at San Antonio
	15:00 - 15:30 Poster		Poster: Practices And Tools For Better Software Testing Doctorial Symposium Davide SpadiniDelft University of Technology, Netherlands
	15:00 - 15:30 Poster		Poster: Leveraging Traceability and Obstacle Analysis to Ensure Requirements Fulfilment in Systems Engineering Doctorial Symposium Mounifah Alenazi
	15:00 - 15:30 Poster		Poster: Quality Assurance Automation in Autonomous Systems Doctorial Symposium Afsoon AfzalCarnegie Mellon University
	15:00 - 15:30 Poster		Poster: Intelligent Bug Fixing with Sofware Bug Knowledge Graph Doctorial Symposium Cheng ZhouYangzhou University
	15:00 - 15:30 Poster		Poster: Automated Support for Mobile Application Testing and Maintenance Doctorial Symposium Mattia FazziniGeorgia Institute of Technology
	15:00 - 15:30 Poster		Poster: Feedback in Scrum Processes: Data-Driven Retrospectives Doctorial Symposium Christoph MatthiesHasso Plattner Institute, University of Potsdam
	15:00 - 15:30 Poster		Poster: What is the Programmer Experience? Doctorial Symposium Jenny Morales
	15:00 - 15:30 Poster		Poster: How Do Developers Resolve Merge Conflicts? An Investigation Into the Processes, Tools, and Improvements Doctorial Symposium Caius BrindescuOregon State University
	15:00 - 15:30 Poster		Poster: Test Coverage for Semi-Structured Data Doctorial Symposium Nawwar Kabbani
	15:00 - 15:30 Poster		Poster: Blueprints Programming Model for Smart Contracts Doctorial Symposium Bert-Jan Butijn
	15:00 - 15:30 Poster		Poster: Moving Towards Objective Measures of Program Comprehension Doctorial Symposium Sarah FakhouryWashington State University

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

	15:00 - 15:30 Poster		Reshaping Distributed Agile and Adaptive Development Environment Student Research Competition Francesco NoceraPolytechnic University of Bari
	15:00 - 15:30 Poster		Diversity and Decorum in Open Source Communities Student Research Competition Neill RobsonNC State University
	15:00 - 15:30 Poster		On the Adoption of Neural Networks in Modeling Software Reliability Student Research Competition Kamill Gusmanov
	15:00 - 15:30 Poster		Towards Learning-Augmented Languages Student Research Competition Xinyuan SunUniversity of California, Davis
	15:00 - 15:30 Poster		Mining Error-Handling Specifications for Systems Software Student Research Competition Daniel DeFreezUniversity of California, Davis
	15:00 - 15:30 Poster		How Dance(Sport) Can Help to Produce Better Software Student Research Competition Irina Erofeeva
	15:00 - 15:30 Poster		Feature-Interaction Aware Configuration Prioritization Student Research Competition 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 Student Research Competition David A TomassiUniversity of California, Davis
	15:00 - 15:30 Poster		Type Migration in Large-Scale Code Bases Student Research Competition Ameya KetkarOregon State University, USA
	15:00 - 15:30 Poster		Dara - Hybrid Model Checking of Distributed Systems Student Research Competition Vaastav AnandUniversity of British Columbia
	15:00 - 15:30 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: 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 - 15:52 Talk		Programmers do not Favor Lambda Expressions for Concurrent Object-Oriented Code Journal-First Sebastian Nielebock, Robert Heumüller, Frank Ortmeier DOI
	15:52 - 16:15 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 - 16:37 Talk		Towards a Theory of Software Development Expertise Research Papers 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 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 IResearch Papers / Journal-First at Horizons 5 Chair(s): David LoSingapore Management University

	15:30 - 15:52 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 - 16:15 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 - 16:37 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 - 17:00 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: SecurityResearch Papers / Journal-First at Horizons 6-9F Chair(s): Lucas Bang

	15:30 - 15:52 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 - 16:15 Talk		STADS: Software Testing as Species Discovery Journal-First 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 Research Papers 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 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 - 15:52 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 - 16:15 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 - 16:37 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 - 17:00 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 - 18:45 Meeting		SIGSOFT Town Hall Meeting Social Thomas ZimmermannMicrosoft Research

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

	18:45 - 20:00 Social Event		Post Town Hall Reception Social Gary LeavensUniversity of Central Florida

Wed 7 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

	08:30 - 10:00: Keynote IIKeynotes 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? 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 - 10:52 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 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 Journal-First 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 Research Papers Gang HuColumbia University, USA, Linjie Zhu, Junfeng YangColumbia University
	11:37 - 12:00 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 - 10:52 Talk		Design and Validation of Precooked Developer Dashboards Industry 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 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 - 11:37 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 - 12:00 Talk		FACTS: Automated Black-box Testing of FinTech Systems Industry Qingshun Wang, Lintao Gu, Minhui Xue, Lihua Xu, Wenyu Niu, Liang DouEast China Normal University, Liang He, Tao Xie

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

	10:30 - 10:42 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 - 10:55 Talk		The Case for Experiment-Oriented Computing New Ideas and Emerging Results Paulo SalemDell EMC
	10:55 - 11:08 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 - 11:21 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 - 11:34 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 - 11:47 Talk		DLFuzz: Differential Fuzzing Testing of Deep Learning Systems New Ideas and Emerging Results Jianmin Guo, Yu Jiang, Yue ZhaoNCSU, Quan Chen, Jia-Guang Sun
	11:47 - 12:00 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: SRCStudent Research Competition at Solar

	10:30 - 12:00: MiningDemonstrations 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 Demonstrations 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 Demonstrations 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 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 - 12:00 Talk		PyDriller: Python Framework for Mining Software Repositories Demonstrations Davide SpadiniDelft University of Technology, Netherlands, Mauricio AnicheDelft University of Technology, Netherlands, Alberto BacchelliUniversity of Zurich Pre-print

	12:00 - 13:30: LunchSocial at Lakeview Restaurant

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

	12:00 - 13:30 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 - 13:52 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 - 14:15 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 - 14:37 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 - 15:00 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 - 13:52 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 - 14:15 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 - 14:37 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 - 15:00 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 - 13:42 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 KästnerCarnegie Mellon University
	13:42 - 13:55 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 - 14:08 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 - 14:21 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 - 14:34 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 - 14:47 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 - 15:00 Talk		Engineering Human Values in Software: A Research Roadmap New Ideas and Emerging Results Davoud MougoueiMonash University, Harsha PereraMonash University, Waqar HussainMonash University, Rifat ShamsMonash University, Jon WhittleMonash University

	13:30 - 15:15: Test AutomationIndustry at Solar Chair(s): Satish ChandraFacebook

	13:30 - 13:52 Talk		Regression Test Selection for TizenRT Industry 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 Industry 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 Industry Md Tajmilur Rahman, Peter RigbyConcordia University, Montreal, Canada
	14:36 - 15:06 Talk		Mateusz Machalica: Scaling Continuous Integration with Machine Learning, Facebook Industry

	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 - 15:52 Talk		Concurrency Verification with Maximal Path Causality Research Papers 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 Research Papers Shengjian (Daniel) GuoVirginia Tech, Meng WuVirginia Tech, Chao WangUSC
	16:15 - 16:37 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 - 17:00 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 - 17:00 Other		ROSE Festival ROSE Festival

	15:30 - 17:00: MiningResearch Papers / Journal-First at Horizons 6-9F Chair(s): Hridesh RajanIowa State University

	15:30 - 15:52 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 - 16:15 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 - 16:37 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 - 17:00 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 - 15:52 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 - 16:15 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 - 16:37 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 - 17:00 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 - 19:45 Social Event		Reception Social

	19:45 - 22:00: BanquetSocial at Horizons 6-9F

	19:45 - 22:00 Social Event		Banquet Social

Thu 8 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

	08:30 - 10:00: Keynote IIIKeynotes 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 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): Mauricio AnicheDelft University of Technology, Netherlands

	10:30 - 10:52 Talk		The modular and feature toggle architectures of Google Chrome Journal-First Md Tajmilur Rahman, Peter C. Rigby, Emad ShihabConcordia University DOI
	10:52 - 11:15 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 - 11:37 Talk		Putback-Based Bidirectional Model Transformations Research Papers 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 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 - 10:52 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 - 11:15 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 - 11:37 Talk		A Novel Automated Approach for Software Effort Estimation Based on Data Augmentation Research Papers Liyan Song, Leandro Minku , Xin Yao
	11:37 - 12:00 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 SynthesisResearch Papers / Journal-First 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 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 - 11:15 Talk		Detecting Speech Act Types in Developer Question/Answer Conversations during Bug Repair Research Papers Andrew Wood, Paige Rodeghero University of Notre Dame, Ameer Armaly, Collin McMillan
	11:15 - 11:37 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 - 12:00 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: LunchSocial at Lakeview Restaurant

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

	12:00 - 13:30 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 - 13:52 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 - 14:15 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 - 14:37 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 - 15:00 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 - 13:52 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 - 14:14 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 - 14:36 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 - 13:52 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 - 14:15 Talk		Feedback-Directed Differential Testing of Interactive Debuggers Research Papers Daniel LehmannTU Darmstadt, Michael PradelTU Darmstadt
	14:15 - 14:37 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 - 15:00 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 CrowdsourcingResearch Papers / Journal-First 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 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 - 16:14 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 - 16:36 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 - 15:52 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 - 16:15 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 - 16:37 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 - 17:00 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 - 16:00 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 - 16:30 Talk		Detection of Energy Inefficiencies in Android Wear Watch Faces Research Papers Hailong ZhangOhio State University, Haowei Wu, Atanas RountevOhio State University
	16:30 - 17:00 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 - 17:45 Social Event		Closing Plenary (closing ceremony) Social Gary LeavensUniversity of Central Florida

Fri 9 Nov
Times are displayed in 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 - 09:15 Day opening		Welcome and introductions WASPI
	09:15 - 10:00 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 - 11:00 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 - 11:30 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 - 12:00 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: LunchSocial at Rock Lake

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

	13:30 - 14:00 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 - 14:30 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 - 15:00 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 - 17:00 Other		Open Discussion - Benchmarks for Program Specification WASPI

Sun 4 Nov
Times are displayed in time zone: 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
Lakes Foyer					Social Coffee Break Morning										Social Coffee Break Afternoon
Lakeview Restaurant (West)									Social Lunch
Rock Lake		NL4SE NL4SE Workshop I				NL4SE NL4SE Workshop II						NL4SE NL4SE Workshop III				NL4SE NL4SE Workshop IV
Spring Lake		EnSEmble EnSEmble I				EnSEmble EnSEmble II						EnSEmble EnSEmble III				EnSEmble EnSEmble IV

Mon 5 Nov
Times are displayed in time zone: 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
Lakes Foyer					Social Coffee Break Morning											Social Coffee Break Afternoon
Lakeview Restaurant (West)										Social Lunch
Rock Lake		SWAN SWAN I				SWAN Session 1: Continuous integration		SWAN Session 2: Defect prediction					SWAN SWAN III				SWAN SWAN IV
Sandy Lake		A-TEST A-TEST I				A-TEST A-TEST II							A-TEST A-TEST III				A-TEST A-TEST IV
Solar		Doctorial Symposium Doctoral Symposium (invitation only)
Spring Lake		JPF JPF Workshop

Tue 6 Nov
Times are displayed in time zone: 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
Horizons 1-4F					Student Research Competition SRC Posters I Doctorial Symposium Doctoral Symposium Posters I 10:00 - 10:30 Social Coffee Break Morning 10:00 - 10:30										Doctorial Symposium Doctoral Symposium Posters II Student Research Competition SRC Posters II 15:00 - 15:30 Social Coffee Break Afternoon 15:00 - 15:30									Social Post Town Hall Reception
Horizons 10-11						Research Papers Concurrency and Races						Research Papers + Research Papers Performance				Research Papers + Research Papers Developer Studies				Social SIGSOFT Town Hall Meeting
Horizons 5						Industry Formal Analysis						Research Papers + Research Papers Software Analysis I				Research Papers + Research Papers Testing I
Horizons 6-9F		Keynotes Keynote I				Research Papers + Research Papers Log Mining						Research Papers Deep Learning				Research Papers + Research Papers Security
Lakeview Restaurant									Social Lunch
Lakeview Restaurant Table									Faculty Mentorship Roundtables Mentoring Lunch I
Solar						Demonstrations Testing						Industry Security				Demonstrations Bugs

Wed 7 Nov
Times are displayed in time zone: 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
Horizons 1-4F					Social Coffee Break Morning										Social Coffee Break Afternoon
Horizons 10-11						Research Papers + Research Papers Mobile Apps						Research Papers + Research Papers Software Maintenance I				Research Papers Symbolic Execution and Constraint Solving				Social
Horizons 5						Industry End User Programming and Financial Applications						Research Papers + Research Papers Software Analysis II				ROSE Festival ROSE Festival
Horizons 6-9F		Keynotes Keynote II				New Ideas and Emerging Results NIER I						New Ideas and Emerging Results NIER II				Research Papers + Research Papers Mining								Social Reception			Social Banquet
Lakeview Restaurant									Social Lunch
Lakeview Restaurant Table									Faculty Mentorship Roundtables Mentoring Lunch II
Solar						Student Research Competition SRC						Industry Test Automation
Spring Lake						Demonstrations Mining										Demonstrations Models

Thu 8 Nov
Times are displayed in time zone: 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					Social Coffee Break Morning										Social Coffee Break Afternoon
Horizons 10-11						Research Papers + Research Papers Models						Research Papers + Research Papers Software Maintenance II				Research Papers + Research Papers Ecosystems and Crowdsourcing
Horizons 5						Research Papers + Research Papers Estimation and Prediction						Research Papers Probabilistic Reasoning				Research Papers + Research Papers Testing II
Horizons 6-9F		Keynotes Keynote III				Research Papers + Research Papers Repair and Synthesis						Research Papers Debugging and Bug Localization				Research Papers + Research Papers Energy				Social Closing Plenary (closing ceremony)
Lakeview Restaurant									Social Lunch
Lakeview Restaurant Table									Faculty Mentorship Roundtables Mentoring Lunch III

Fri 9 Nov
Times are displayed in time zone: 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
Rock Lake							Social Lunch
Spring Lake	WASPI WASPI workshop		Social Coffee Break Morning	WASPI Morning Talks						WASPI Afternoon talks		WASPI Future of Specification Inference Panel	Social Coffee Break Afternoon	WASPI Open Discussion: Benchmarks for Program Specification

Sun 4 Nov
Times are displayed in time zone: 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
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: 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
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: 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
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 Feature-Interaction Aware Configuration Prioritization 15:00 - 15:30 Bugs in the Wild: Examining the Effectiveness of Static Analyzers at Fi ... 15:00 - 15:30 Type Migration in Large-Scale Code Bases 15:00 - 15:30

ESEC/FSE 2018 Program

Filter Program

Program Display Configuration

Sun 4 Nov Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Mon 5 Nov Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Tue 6 Nov Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Wed 7 Nov Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Thu 8 Nov Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Fri 9 Nov Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Sun 4 Nov Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Social

Social

Social

NL4SE

NL4SE

NL4SE

NL4SE

EnSEmble

EnSEmble

EnSEmble

EnSEmble

Mon 5 Nov Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Social

Social

Social

SWAN

SWAN

SWAN

SWAN

SWAN

A-TEST

A-TEST

A-TEST

A-TEST

Doctorial Symposium

JPF

Tue 6 Nov Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Student Research Competition

Doctorial Symposium

Social

Doctorial Symposium

Student Research Competition

Social

Social

Research Papers

Research Papers + Research Papers

Research Papers + Research Papers

Social

Industry

Research Papers + Research Papers

Research Papers + Research Papers

Keynotes

Research Papers + Research Papers

Research Papers

Research Papers + Research Papers

Social

Faculty Mentorship Roundtables

Demonstrations

Industry

Demonstrations

Wed 7 Nov Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Social

Social

Research Papers + Research Papers

Research Papers + Research Papers

Research Papers

Social

Industry

Research Papers + Research Papers

ROSE Festival

Keynotes

New Ideas and Emerging Results

New Ideas and Emerging Results

Research Papers + Research Papers

Social

Social

Social

Faculty Mentorship Roundtables

Student Research Competition

Industry

Sun 4 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Mon 5 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Tue 6 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Wed 7 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Thu 8 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Fri 9 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Sun 4 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Mon 5 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Tue 6 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Wed 7 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Thu 8 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Fri 9 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Sun 4 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Mon 5 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Tue 6 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change