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 45m Day opening		Welcome and introductions NL4SE
09:15 45m Talk		Learning from Code with Graphs (Keynote) NL4SE Marc BrockschmidtMicrosoft Research

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

	10:00 - 10:30	Coffee Break MorningSocial at Lakes Foyer

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

10:30 15m Talk		Total Recall, Language Processing, and Software Engineering NL4SE Zhe Yu, Tim Menzies
10:45 15m Talk		Is “Naturalness” a Result of Deliberate Choice? NL4SE Kevin LeeUniversity of California at Davis, USA, Casey CasalnuovoUniversity of California at Davis, USA
11:00 15m Talk		A Fine-Grained Approach for Automated Conversion of JUnit Assertions to English NL4SE Danielle GonzalezRochester Institute of Technology, USA, Suzanne PrenticeUniversity of South Carolina, USA, Mehdi MirakhorliRochester Institute of Technology
11:15 15m Talk		TestNMT: Function-to-Test Neural Machine Translation NL4SE Robert WhiteUniversity College London, UK, Jens KrinkeUniversity College London
11:30 15m Talk		3CAP: Categorizing the Cognitive Capabilities of Alzheimer’s Patients in a Smart Home Environment NL4SE Kate M. Bowers, Reihaneh H. HaririOakland University, USA, Katey A. PriceAlbion College, USA
11:45 15m Talk		Generating Comments from Source Code with CCGs NL4SE Sergey MatskevichDrexel University, USA, Colin GordonDrexel University

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

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

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

13:30 15m Talk		Towards Understanding Code Readability and Its Impact on Design Quality NL4SE Umme Ayda MannanOregon State University, USA, Iftekhar AhmedUniversity of California at Irvine, USA, Anita SarmaOregon State University
13:45 15m Talk		Cleaning StackOverflow for use in Machine Translation NL4SE
14:00 15m Talk		LinkSO: A Dataset for Learning to Retrieve Similar Question Answer Pairs on Software Development Forums NL4SE Xueqing LiuUniversity of Illinois at Urbana-Champaign, USA, Chi WangMicrosoft, USA, Yue LengUniversity of Illinois at Urbana-Champaign, USA, ChengXiang ZhaiUniversity of Illinois at Urbana-Champaign, USA
14:15 15m Talk		Natural Language Processing (NLP) Applied on Issue Trackers NL4SE Mathias EllmannUniversity of Hamburg and LegalTechTeam
14:30 15m Talk		Mining Monitoring Concerns Implementation in Java-Based Software Systems NL4SE Grigoreta Sofia CojocarDepartment of Computer Science, Babes-Bolyai University, Adriana-Mihaela GuranDepartment of Computer Science, Babes-Bolyai University
14:45 15m Talk		Two Perspectives on Software Documentation Quality in Stack Overflow NL4SE Mathias EllmannUniversity of Hamburg and LegalTechTeam, Marko Schnecken.n., n.n.

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

	15:00 - 15:30	Coffee Break AfternoonSocial at Lakes Foyer

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

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

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

09:00 10m Day opening		Opening JPF
09:10 50m Talk		Keynote: Side-Channel Analysis via Symbolic Execution and Model Counting JPF Tevfik BultanUniversity of California, Santa Barbara
10:00 30m Coffee break		Coffee break JPF
10:30 30m Research paper		Assessing the Adequacy of Synthetic Programs for Learning SPF's Configurations JPF Maria PaquinBoise State University, Elena ShermanBoise State University, Amit JainBoise State University
11:00 30m Research paper		Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP) JPF Lucas C. CordeiroUniversity of Manchester, UK, Daniel KroeningUniversity of Oxford, Peter SchrammelUniversity of Sussex
11:30 30m Research paper		Attack Synthesis for Strings using Meta-Heuristics JPF Seemanta SahaUniversity of California Santa Barbara, Ismet Burak KadronUniversity of California at Santa Barbara, USA, William EiersUniversity of California at Santa Barbara, USA, Lucas Bang, Tevfik BultanUniversity of California, Santa Barbara
12:00 90m Lunch		Lunch @Lakeview Restaurant West JPF
13:30 30m Talk		Invited talk: Test input generation using separation logic JPF Quoc-Sang PhanFujitsu Laboratories of America
14:00 30m Research paper		Memory safety in C by abstract interpretation JPF joseph JonesBrigham Young University, James WassonBrigham Young University, Sean BrownBrigham Young University, Seth PoulsenBrigham Young University, Peter AldousBrigham Young University, Eric MercerBrigham Young University
14:30 30m Research paper		Automatic Data Structure Repair using Separation Logic JPF Guolong ZhengUniversity of Nebraska Lincoln, Quang Loc LeSchool of Computing, Teesside University, UK, ThanhVu NguyenUniversity of Nebraska-Lincoln, Quoc-Sang PhanFujitsu Laboratories of America
15:00 30m Coffee break		Coffee break JPF
15:30 30m Research paper		A Progress Bar for the JPF Search Using Program Executions JPF Kaiyuan Wang, Hayes ConverseThe University of Texas at Austin, Milos GligoricUniversity of Texas at Austin, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, Sarfraz KhurshidUniversity of Texas at Austin
16:00 50m Meeting		JPF Open Discussion JPF
16:50 10m Day closing		Closing JPF

	10:00 - 10:30	Coffee Break MorningSocial at Lakes Foyer

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

10:30 22m Talk		(No) Influence of Continuous Integration on the Commit Activity in GitHub Projects SWAN Sebastian BaltesUniversity of Trier, Jascha KnackUniversity of Trier, Germany, Daniel AnastasiouUniversity of Trier, Germany, Ralf TymannUniversity of Trier, Germany, Stephan DiehlComputer Science, University Trier, Germany Pre-print
10:52 22m Talk		Characterizing the Influence of Continuous Integration: Empirical Results from 250+ Open Source and Proprietary Projects SWAN Akond RahmanNorth Carolina State University, Amritanshu AgrawalNorth Carolina State University, Rahul KrishnaNC State University, Alexander Sobran

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

10:30 18m Talk		Reinforcement Learning for Android GUI Testing A-TEST David AdamoUltimate Software, USA, Md Khorrom KhanUniversity of North Texas, USA, Sreedevi KoppulaUniversity of North Texas, USA, Renée BryceUniversity of North Texas, USA
10:48 18m Talk		Extending Equivalence Transformation Based Program Generator for Random Testing of C Compilers A-TEST Shogo TakakuraKwansei Gakuin University, Japan, Mitsuyoshi IwatsujiKwansei Gakuin University, Japan, Nagisa IshiuraKwansei Gakuin University
11:06 18m Talk		HDDr: A Recursive Variant of the Hierarchical Delta Debugging Algorithm A-TEST Ákos KissUniversity of Szeged, Hungary, Renáta HodovánUniversity of Szeged, Hungary, Tibor GyimóthyUniversity of Szeged, Hungary
11:24 18m Talk		Goal-Oriented Mutation Testing with Focal Methods A-TEST Sten VercammenUniversity of Antwerp, Belgium, Mohammad GhafariUniversity of Bern, Serge DemeyerUniversity of Antwerp, Belgium, Markus BorgRISE Research Institutes of Sweden AB Pre-print
11:42 18m Talk		A Reinforcement Learning Based Approach to Automated Testing of Android Applications A-TEST Thi Anh Tuyet VuongKeio University, Japan, Shingo TakadaKeio University, Japan

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

11:15 22m Talk		Facilitating Feasibility Analysis: The Pilot Defects Prediction Dataset Maker SWAN Davide FalessiCalifornia Polytechnic State University, Max Jason MoedeCalifornia Polytechnic State University, USA
11:37 22m Talk		Is One Hyperparameter Optimizer Enough? SWAN Huy TuNorth Carolina State University, USA, Vivek Nair

	12:00 - 13:30	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 45m Talk		Random Testing of Compilers’ Performance Based on Mixed Static and Dynamic Code Comparison A-TEST Kota KitauraKwansei Gakuin University, Japan, Nagisa IshiuraKwansei Gakuin University
14:15 45m Talk		Test Patterns for IoT A-TEST Pedro Martins PontesFaculty of Engineering, University of Porto and INESC TEC, Bruno LimaFaculty of Engineering, University of Porto and INESC TEC, João Pascoal FariaFaculty of Engineering, University of Porto and INESC TEC

	15:00 - 15:30	Coffee Break AfternoonSocial at Lakes Foyer

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

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

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 90m 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 30m Poster		How Dance(Sport) Can Help to Produce Better Software Student Research Competition Irina Erofeeva
10:00 30m Poster		Towards Learning-Augmented Languages Student Research Competition Xinyuan SunUniversity of California, Davis
10:00 30m Poster		Feature-Interaction Aware Configuration Prioritization Student Research Competition Son NguyenThe University of Texas at Dallas
10:00 30m Poster		Diversity and Decorum in Open Source Communities Student Research Competition Neill RobsonNC State University
10:00 30m Poster		Type Migration in Large-Scale Code Bases Student Research Competition Ameya KetkarOregon State University, USA
10:00 30m Poster		Bugs in the Wild: Examining the Effectiveness of Static Analyzers at Finding Real-World Bugs Student Research Competition David A TomassiUniversity of California, Davis
10:00 30m Poster		Mining Error-Handling Specifications for Systems Software Student Research Competition Daniel DeFreezUniversity of California, Davis
10:00 30m Poster		Automated Scenario-based Integration Testing of Distributed Systems Student Research Competition Bruno LimaFaculty of Engineering, University of Porto and INESC TEC
10:00 30m Poster		Reshaping Distributed Agile and Adaptive Development Environment Student Research Competition Francesco NoceraPolytechnic University of Bari
10:00 30m Poster		On the Adoption of Neural Networks in Modeling Software Reliability Student Research Competition Kamill Gusmanov
10:00 30m Poster		Dara - Hybrid Model Checking of Distributed Systems Student Research Competition Vaastav AnandUniversity of British Columbia

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

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

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

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

10:30 22m Talk		CloudRaid: Hunting Concurrency Bugs in the Cloud via Log-Mining Research Papers JieLu , Feng LiInstitute of Computing Technology at Chinese Academy of Sciences, China, Lian LiInstitute of Computing Technology at Chinese Academy of Sciences, China, Xiaobing FengICT CAS
10:52 22m Talk		Testing Multithreaded Programs via Thread Speed Control Research Papers Dongjie Chen, Yanyan JiangNanjing University, Chang XuNanjing University, Xiaoxing MaNanjing University, Jian LuNanjing University
11:15 22m Talk		Data Race Detection on Compressed Traces Research Papers Dileep KiniUniversity of Illinois at Urbana-Champaign, Umang MathurUniversity of Illinois at Urbana-Champaign, Mahesh ViswanathanUniversity of Illinois at Urbana-Champaign
11:37 22m Talk		Practical AJAX Race Detection for JavaScript Web Applications Research Papers Christoffer Quist AdamsenAarhus University, Anders MøllerAarhus University, Saba AlimadadiNortheastern University, Frank TipNortheastern University

10:30 - 12:00	Formal AnalysisIndustry at Horizons 5

10:30 22m 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 22m Talk		Efficient Static Checking of Library Updates Industry Darius Foo, Hendy Chua, Jason Yeo, Ang Ming Yi, Asankhaya Sharma
11:14 22m 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 22m Talk		Studying and Detecting Log-Related Issues Journal-First Mehran Hassani, Weiyi ShangConcordia University, Canada, Emad ShihabConcordia University, Nikolaos TsantalisConcordia University, Canada DOI
10:52 22m Talk		VT-Revolution: Interactive Programming Video Tutorial Authoring and Watching System Journal-First Lingfeng Bao Zhejiang University City College, Zhenchang XingAustralia National University, Xin XiaMonash University, David LoSingapore Management University DOI
11:15 22m Talk		Using Finite-State Models for Log Differencing Research Papers Hen AmarTel Aviv University, Israel, Lingfeng Bao Zhejiang University City College, Nimrod BusanyTel Aviv University, Israel, David LoSingapore Management University, Shahar MaozTel Aviv University
11:37 22m Talk		Identifying Impactful Service System Problems via Log Analysis Research Papers Shilin HeChinese University of Hong Kong, Qingwei LinMicrosoft, China, Jian-Guang LouMicrosoft Research, Hongyu ZhangThe University of Newcastle, Michael Lyu, Dongmei ZhangMicrosoft Research, China

10:30 - 12:00	TestingDemonstrations at Solar Chair(s): Lingming Zhang

10:30 22m Talk		BigSift: Automated Debugging of Big Data Analytics in Data-Intensive Scalable Computing Demonstrations Muhammad Ali GulzarUniversity of California, Los Angeles, Siman WangHunan University, Miryung KimUniversity of California, Los Angeles
10:52 22m Talk		FOT: A Versatile, Configurable, Extensible Fuzzing Framework Demonstrations Hongxu ChenNanyang Technological University, Yuekang LiNanyang Technological University, Bihuan ChenFudan University, Yinxing Xue, Yang LiuNanyang Technological University, Singapore
11:15 22m Talk		Themis: Automatically Testing Software for Discrimination Demonstrations Rico AngellUniversity of Massachusetts, Amherst, Brittany JohnsonUniversity of Massachusetts Amherst, Yuriy BrunUniversity of Massachusetts Amherst, Alexandra MeliouUniversity of Massachusetts Amherst Link to publication DOI Pre-print
11:37 22m Demonstration		Vista: Web Test Repair Using Computer Vision Demonstrations Andrea StoccoUniversity of British Columbia, Rahulkrishna YandrapallyUniversity of British Columbia, Canada, Ali MesbahUniversity of British Columbia Pre-print

	12:00 - 13:30	LunchSocial at Lakeview Restaurant

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

12:00 90m Lunch		Mentoring Lunch I Faculty Mentorship Roundtables

13:30 - 15:00	PerformanceResearch Papers / Journal-First at Horizons 10-11 Chair(s): Zhendong SuETH Zurich

13:30 22m Talk		CHiP: A Configurable Hybrid Parallel Covering Array Constructor Journal-First Hanefi Mercan, Cemal YilmazSabancı University, Kamer Kaya DOI
13:52 22m Talk		Learning to Sample: Exploiting Similarities Across Environments to Learn Performance Models for Configurable Systems Research Papers Pooyan JamshidiUniversity of South Carolina, Miguel VelezCarnegie Mellon University, USA, Christian KaestnerCarnegie Mellon University, Norbert SiegmundBauhaus-University Weimar
14:15 22m Talk		Performance Comprehension at WiredTiger Research Papers Alexandra (Sasha) FedorovaUniversity of British Columbia, Craig MustardUniversity of British Columbia, Canada, Ivan BeschastnikhComputer Science, University of British Columbia, Julia RubinUniversity of British Columbia, Augustine WongUniversity of British Columbia, Canada, Svetozar MiucinUniversity of British Columbia, Canada, Louis YeUniversity of British Columbia, Canada
14:37 22m Talk		MemFix: Static Analysis-Based Repair of Memory Deallocation Errors for C Research Papers Junhee LeeKorea University, South Korea, Seongjoon HongKorea University, Hakjoo OhKorea University

13:30 - 15:00	Software Analysis IResearch Papers / Journal-First at Horizons 5 Chair(s): Sebastian ElbaumUniversity of Nebraska-Lincoln, USA

13:30 22m Talk		On Accelerating Source Code Analysis At Massive Scale Journal-First Ganesha UpadhyayaFuturewei Technologies, Hridesh RajanIowa State University DOI
13:52 22m Talk		RefiNym: Using Names to Refine Types Research Papers Santanu Kumar DashUniversity College London, UK, Miltiadis AllamanisMicrosoft Research, Cambridge, Earl T. Barr
14:15 22m Talk		Darwinian Data Structure Selection Research Papers Michail BasiosUniversity College London, Lingbo LiUniversity College London, UK, Fan WuUniversity College London, UK, Leslie KanthanUniversity College London, UK, Earl T. Barr DOI Pre-print
14:37 22m Talk		Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity Research Papers Yue LiAarhus University, Denmark, Tian TanAarhus University, Denmark, Anders MøllerAarhus University, Yannis SmaragdakisUniversity of Athens

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

13:30 22m Talk		Deep Learning Type Inference Research Papers Vincent HellendoornUniversity of California at Davis, USA, Christian BirdMicrosoft Research, Earl T. Barr, Miltiadis AllamanisMicrosoft Research, Cambridge
13:52 22m Talk		DeepSim: Deep Learning Code Functional Similarity Research Papers Gang Zhao, Jeff HuangTexas A&M University
14:15 22m Talk		Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces Research Papers Jordan HenkelUniversity of Wisconsin–Madison, Shuvendu LahiriMicrosoft Research, Ben LiblitUniversity of Wisconsin–Madison, Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc.
14:37 22m Talk		MODE: Automated Neural Network Model Debugging via State Differential Analysis and Input Selection Research Papers Shiqing MaPurdue University, USA, Yingqi LiuPurdue University, USA, Wen-Chuan LeePurdue University, Xiangyu ZhangPurdue University, Ananth GramaPurdue University, USA

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

13:30 22m Talk		Are Mobile Banking Apps Secure? What Can be Improved? Industry Sen ChenNanyang Technological University, Singapore, Ting SuNanyang Technological University, Singapore, Lingling FanEast China Normal University, China/Nanyang Technological University, Singapore, Guozhu Meng, Minhui Xue, Yang LiuNanyang Technological University, Singapore, Lihua Xu
13:52 22m Talk		VulSeeker-Pro: Enhanced Semantic Learning Based Binary Vulnerability Seeker With Emulation Industry Jian GaoSchool of Software, Tsinghua University, Xin YangUnionbigdata.com, Ying Fu, Yu Jiang, Heyuan Shi, Jiaguang Sun
14:15 22m Talk		PAFL: Extend Fuzzing Optimizations of Single Mode to Industrial Parallel Mode Industry Jie Liang, Yu Jiang, Yuanliang Chen, Mingzhe Wang, Chijin Zhou, Jiaguang Sun
14:37 22m 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 30m Poster		Poster: Semantic Inference from Natural Language Privacy Policies and Android Code Doctorial Symposium Mitra Bokaei HosseiniUniversity of Texas at San Antonio
15:00 30m Poster		Poster: Practices And Tools For Better Software Testing Doctorial Symposium Davide SpadiniDelft University of Technology, Netherlands
15:00 30m Poster		Poster: Leveraging Traceability and Obstacle Analysis to Ensure Requirements Fulfilment in Systems Engineering Doctorial Symposium Mounifah Alenazi
15:00 30m Poster		Poster: Quality Assurance Automation in Autonomous Systems Doctorial Symposium Afsoon AfzalCarnegie Mellon University
15:00 30m Poster		Poster: Intelligent Bug Fixing with Sofware Bug Knowledge Graph Doctorial Symposium Cheng ZhouYangzhou University
15:00 30m Poster		Poster: Automated Support for Mobile Application Testing and Maintenance Doctorial Symposium Mattia FazziniGeorgia Institute of Technology
15:00 30m Poster		Poster: Feedback in Scrum Processes: Data-Driven Retrospectives Doctorial Symposium Christoph MatthiesHasso Plattner Institute, University of Potsdam
15:00 30m Poster		Poster: What is the Programmer Experience? Doctorial Symposium Jenny Morales
15:00 30m Poster		Poster: How Do Developers Resolve Merge Conflicts? An Investigation Into the Processes, Tools, and Improvements Doctorial Symposium Caius BrindescuOregon State University
15:00 30m Poster		Poster: Test Coverage for Semi-Structured Data Doctorial Symposium Nawwar Kabbani
15:00 30m Poster		Poster: Blueprints Programming Model for Smart Contracts Doctorial Symposium Bert-Jan Butijn
15:00 30m 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 30m Poster		Reshaping Distributed Agile and Adaptive Development Environment Student Research Competition Francesco NoceraPolytechnic University of Bari
15:00 30m Poster		Diversity and Decorum in Open Source Communities Student Research Competition Neill RobsonNC State University
15:00 30m Poster		On the Adoption of Neural Networks in Modeling Software Reliability Student Research Competition Kamill Gusmanov
15:00 30m Poster		Towards Learning-Augmented Languages Student Research Competition Xinyuan SunUniversity of California, Davis
15:00 30m Poster		Mining Error-Handling Specifications for Systems Software Student Research Competition Daniel DeFreezUniversity of California, Davis
15:00 30m Poster		How Dance(Sport) Can Help to Produce Better Software Student Research Competition Irina Erofeeva
15:00 30m Poster		Feature-Interaction Aware Configuration Prioritization Student Research Competition Son NguyenThe University of Texas at Dallas
15:00 30m Poster		Bugs in the Wild: Examining the Effectiveness of Static Analyzers at Finding Real-World Bugs Student Research Competition David A TomassiUniversity of California, Davis
15:00 30m Poster		Type Migration in Large-Scale Code Bases Student Research Competition Ameya KetkarOregon State University, USA
15:00 30m Poster		Dara - Hybrid Model Checking of Distributed Systems Student Research Competition Vaastav AnandUniversity of British Columbia
15:00 30m Poster		Automated Scenario-based Integration Testing of Distributed Systems Student Research Competition Bruno LimaFaculty of Engineering, University of Porto and INESC TEC

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

15:30 - 17:00	Developer StudiesResearch Papers / Journal-First at Horizons 10-11 Chair(s): Thomas LaTozaGeorge Mason University

15:30 22m Talk		Programmers do not Favor Lambda Expressions for Concurrent Object-Oriented Code Journal-First Sebastian Nielebock, Robert Heumüller, Frank Ortmeier DOI
15:52 22m Talk		How Do Developers Utilize Source Code from Stack Overflow? Journal-First Yuhao Wu, Shaowei WangQueen's University, Cor-Paul BezemerUniversity of Alberta, Canada, Katsuro InoueOsaka University DOI
16:15 22m Talk		Towards a Theory of Software Development Expertise Research Papers Sebastian BaltesUniversity of Trier, Stephan DiehlComputer Science, University Trier, Germany Pre-print
16:37 22m Full-paper		What Makes a Code Change Easier to Review? An Empirical Investigation on Code Change Reviewability Research Papers Achyudh RamUniversity of Waterloo, Anand Ashok SawantDelft University of Technology, Marco CastelluccioMozilla Foundation, UK, Alberto BacchelliUniversity of Zurich Link to publication DOI Pre-print Media Attached

15:30 - 17:00	Testing IResearch Papers / Journal-First at Horizons 5 Chair(s): David LoSingapore Management University

15:30 22m Talk		Identifying failure-causing schemas in the presence of multiple faults Journal-First Xintao Niu, Changhai Nie, Yu Lei, Hareton Leung, Xiaoyin WangUniversity of Texas at San Antonio, USA DOI
15:52 22m Talk		Singularity: Pattern Fuzzing for Worst Case Complexity Research Papers Jiayi WeiUniversity of Texas at Austin, Jia ChenUniversity of Texas at Austin, Yu FengUniversity of California, Santa Barbara, USA, Kostas FerlesUT Austin, Isil DilligUT Austin DOI Pre-print
16:15 22m Talk		Bug Synthesis: Challenging Bug-Finding Tools with Deep Faults Research Papers Subhajit RoyIIT Kanpur, India, Awanish PandeyIIT Kanpur, India, Brendan Dolan-GavittNew York University, Yu HuNew York University, USA
16:37 22m Talk		Modify, Enhance, Select: Co-Evolution of Combinatorial Models and Test Plans Research Papers Rachel Tzoref-BrillIBM Research, Shahar MaozTel Aviv University

15:30 - 17:00	SecurityResearch Papers / Journal-First at Horizons 6-9F Chair(s): Lucas Bang

15:30 22m Talk		Text Filtering and Ranking for Security Bug Report Prediction Journal-First Fayola PetersLero - The Irish Software Research Centre and University of Limerick, Thein Than Tun, Yijun YuThe Open University, UK, Bashar NuseibehThe Open University (UK) & Lero (Ireland) DOI
15:52 22m Talk		STADS: Software Testing as Species Discovery Journal-First Marcel BöhmeMonash University DOI
16:15 22m Talk		The Impact of Regular Expression Denial of Service (ReDoS) in Practice: An Empirical Study at the Ecosystem Scale Research Papers James C. DavisVirginia Tech, USA, Christy A. CoghlanVirginia Tech, USA, Francisco ServantVirginia Tech, Dongyoon LeeVirginia Tech, USA
16:37 22m Talk		FraudDroid: Automated Ad Fraud Detection for Android Apps Research Papers Feng DongBeijing University of Posts and Telecommunications, China, Haoyu Wang, Li LiMonash University, Australia, Yao GuoPeking University, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Tianming LiuBeijing University of Posts and Telecommunications, China, Guoai Xu , Jacques KleinUniversity of Luxembourg, SnT

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

15:30 22m Talk		Augmenting Stack Overflow with API Usage Patterns Mined from GitHub Demonstrations Anastasia Reinhardt, Tianyi ZhangUniversity of California, Los Angeles, Mihir MathurUniversity of California, Los Angeles, Miryung KimUniversity of California, Los Angeles Pre-print
15:52 22m Talk		PowerStation: Automatically detecting and fixing inefficienciesof database-backed web applications in IDE Demonstrations Junwen Yang, Cong Yan, Pranav Subramaniam, Shan LuUniversity of Chicago, Alvin CheungUniversity of Washington
16:15 22m Talk		SketchFix: A Tool for Automated Program Repair Approach Using Lazy Candidate Generation Demonstrations Jinru Hua, Mengshi ZhangUniversity of Texas at Austin, USA, Kaiyuan Wang, Sarfraz KhurshidUniversity of Texas at Austin
16:37 22m Talk		WarningsGuru: Integrating statistical bug models with static analysis to provide timely and specific bug warnings Demonstrations Louis-Philippe QuerelConcordia University, Peter RigbyConcordia University, Montreal, Canada

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

17:15 90m Meeting		SIGSOFT Town Hall Meeting Social Thomas ZimmermannMicrosoft Research

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

18:45 75m Social Event		Post Town Hall Reception Social Gary LeavensUniversity of Central Florida

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 90m Talk		In the age of Software 2.0, what role for software engineers? Keynotes Tim MenziesNorth Carolina State University

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

10:30 - 12:00	Mobile AppsResearch Papers / Journal-First at Horizons 10-11 Chair(s): Shane McIntoshMcGill University

10:30 22m Talk		Getting the Most from Map Data Structures in Android Journal-First Rubén Saborido InfantesDepartment of Computer Science and Software Engineering, Concordia University, Montreal, Rodrigo MoralesConcordia University, Foutse KhomhPolytechnique Montréal, Yann-Gaël GuéhéneucConcordia University and Polytechnique Montréal, Giuliano AntoniolPolytechnique Montréal DOI
10:52 22m Talk		Successes, Challenges, and Rethinking – An Industrial Investigation on Crowdsourced Mobile Application Testing Journal-First Ruizhi Gao, Yabin Wang, Yang FengUniversity of California, Irvine, Zhenyu ChenNanjing University, W. Eric Wong DOI
11:15 22m Talk		AppFlow: Using Machine Learning to Synthesize Robust, Reusable UI Tests Research Papers Gang HuColumbia University, USA, Linjie Zhu, Junfeng YangColumbia University
11:37 22m Talk		Winning the App Production Rally Research Papers Ehsan NoeiUniversity of Toronto, Daniel Alencar Da Costa Queen's University, Kingston, Ontario, Ying ZouQueen's University, Kingston, Ontario

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

10:30 22m Talk		Design and Validation of Precooked Developer Dashboards Industry Vladimir Ivanov, Vladislav Pischulin, Alan Rogers, Giancarlo Succi, Jooyong YiInnopolis University, Vasiliy ZorinInnopolis University
10:52 22m Talk		Testing and Validating End User Programmed Calculated Fields Industry Víctor Braberman, Diego GarbervetskyUniversity of Buenos Aires, Argentina, Javier Godoy, Sebastian UchitelUniversidad de Buenos Aires / Imperial College, Guido de Caso, Ignacio Perez, Santiago Perez De RossoMIT CSAIL
11:15 22m Talk		Automated Refactoring of Nested-IF Formulae in Spreadsheets Industry Jie Zhang, Shi Han, Dan HaoPeking University, Lu Zhang, Dongmei ZhangMicrosoft Research, China
11:37 22m Talk		FACTS: Automated Black-box Testing of FinTech Systems Industry 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 12m Talk		Gamifying Static Analysis New Ideas and Emerging Results Lisa Nguyen Quang DoPaderborn University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
10:42 12m Talk		The Case for Experiment-Oriented Computing New Ideas and Emerging Results Paulo SalemDell EMC
10:55 12m Talk		On the Naturalness of Proofs New Ideas and Emerging Results Vincent HellendoornUniversity of California at Davis, USA, Amin AlipourUniversity of Houston, Prem DevanbuUniversity of California
11:08 12m Talk		Does ACM's Code of Ethics Change Ethical Decision Making in Software Development? New Ideas and Emerging Results Andrew McNamaraNorth Carolina State University, Justin SmithNorth Carolina State University, Emerson Murphy-HillNorth Carolina State University Pre-print
11:21 12m Talk		How Are Spreadsheet Templates Used in Practice: A Case Study on Enron New Ideas and Emerging Results Liang XuInstitute of Software Chinese Academy of Sciences, Wensheng DouInstitute of Software, Chinese Academy of Sciences, Jiaxin ZhuInstitute of Software at Chinese Academy of Sciences, China, Chushu GaoInstitute of Software, Chinese Academy of Sciences, Jun WeiState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, Tao HuangInstitute of Software Chinese Academy of Sciences
11:34 12m Talk		DLFuzz: Differential Fuzzing Testing of Deep Learning Systems New Ideas and Emerging Results Jianmin Guo, Yu Jiang, Yue ZhaoNCSU, Quan Chen, Jia-Guang Sun
11:47 12m Talk		Towards Data-Driven Vulnerability Prediction for Requirements New Ideas and Emerging Results Sayem Mohammad ImtiazMississippi State University, Tanmay BhowmikMississippi State University

	10:30 - 12:00	SRCStudent Research Competition at Solar

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

10:30 22m Talk		DSM: A Specification Mining Tool using Recurrent Neural Network Based Language Model Demonstrations Tien-Duy B. LeSchool of Information Systems, Singapore Management University, Lingfeng Bao Zhejiang University City College, David LoSingapore Management University
10:52 22m Talk		EClone: Detect Semantic Clones in Ethereum via Symbolic Transaction Sketch Demonstrations Han Liu, Zhiqiang YangTsinghua University, Chao Liu, Yu Jiang, Wenqi ZhaoAnt Financial, Jiaguang Sun
11:15 22m Talk		INFAR: Insight Extraction from App Reviews Demonstrations Cuiyun GaoComputer Science and Engineering, The Chinese University of Hong Kong, Jichuan Zeng, David LoSingapore Management University, Chin-Yew LinMicrosoft, Michael Lyu, Irwin King Pre-print
11:37 22m Talk		PyDriller: Python Framework for Mining Software Repositories Demonstrations Davide SpadiniDelft University of Technology, Netherlands, Maurício AnicheDelft University of Technology, Netherlands, Alberto BacchelliUniversity of Zurich Pre-print

	12:00 - 13:30	LunchSocial at Lakeview Restaurant

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

12:00 90m Lunch		Mentoring Lunch II Faculty Mentorship Roundtables

13:30 - 15:00	Software Maintenance IResearch Papers / Journal-First at Horizons 10-11 Chair(s): Christian BirdMicrosoft Research

13:30 22m Talk		Use and Misuse of Continuous Integration Features: An Empirical Study of Projects that (mis)use Travis CI Journal-First Keheliya GallabaMcGill University, Shane McIntoshMcGill University DOI
13:52 22m Research paper		One Size Does Not Fit All: An Empirical Study of Containerized Continuous Deployment Workflows Research Papers Yang ZhangNational University of Defense Technology, China, Bogdan VasilescuCarnegie Mellon University, Huaimin Wang, Vladimir FilkovUniversity of California at Davis, USA Pre-print
14:15 22m Talk		Be Careful of When: An Empirical Study on Time-Related Misuse of Issue Tracking Data Research Papers Feifei TuPeking University, China, Jiaxin ZhuInstitute of Software at Chinese Academy of Sciences, China, Qimu ZhengPeking University, China, Minghui ZhouPeking University
14:37 22m Talk		Do the Dependency Conflicts in My Project Matter? Research Papers Ying WangNortheastern University, China, Ming WenThe Hong Kong University of Science and Technology, Zhenwei LiuNortheastern University, China, Rongxin WuDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Rui WangNortheastern University, China, Bo YangNortheastern University, China, Hai YuNortheastern University, China, Zhiliang ZhuNortheastern University, China, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology

13:30 - 15:00	Software Analysis IIResearch Papers / Journal-First at Horizons 5 Chair(s): Myra CohenIowa State University

13:30 22m Talk		A Systematic Evaluation of Static API-Misuse Detectors Journal-First Sven AmannTechnische Universität Darmstadt, Hoan NguyenIowa State University, Sarah NadiUniversity of Alberta, Tien N. NguyenUniversity of Texas at Dallas, Mira MeziniTU Darmstadt DOI
13:52 22m Talk		Do Android Taint Analysis Tools Keep Their Promises? Research Papers Felix PauckPaderborn University, Germany, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Heike WehrheimPaderborn University
14:15 22m Talk		Neural-Augmented Static Analysis of Android Communication Research Papers Jinman ZhaoUniversity of Wisconsin-Madison, USA, Aws AlbarghouthiUniversity of Wisconsin-Madison, Vaibhav RastogiUniversity of Wisconsin-Madison, USA, Somesh JhaUniversity of Wisconsin, Madison, Damien OcteauUniversity of Wisconsin and Pennsylvania State University
14:37 22m Talk		Oreo: Detection of Clones in the Twilight Zone Research Papers Vaibhav SainiUniversity of California at Irvine, USA, Farima FarmahinifarahaniUniversity of California at Irvine, USA, Yadong LuUniversity of California at Irvine, USA, Pierre BaldiUniversity of California at Irvine, USA, Crista Lopes

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

13:30 12m Talk		Beyond Testing Configurable Systems: Applying Variational Execution to Automatic Program Repair and Higher Order Mutation Testing New Ideas and Emerging Results Chu-Pan WongCarnegie Mellon University, Jens MeinickeMagdeburg University, Christian KaestnerCarnegie Mellon University
13:42 12m Talk		Software Fairness New Ideas and Emerging Results Yuriy BrunUniversity of Massachusetts Amherst, Alexandra MeliouUniversity of Massachusetts Amherst Link to publication DOI Pre-print
13:55 12m Talk		Software Engineering Collaboratories (SEClabs) and Collaboratories as a Service (CaaS) New Ideas and Emerging Results Elena ShermanBoise State University, Robert DyerBowling Green State University
14:08 12m Talk		Towards Counterexample-guided k-Induction for Fast Bug Detection New Ideas and Emerging Results Mikhail R. GadelhaUniversity of Southampton, Felipe R. MonteiroFederal University of Amazonas, Lucas C. CordeiroUniversity of Manchester, UK, Denis A. NicoleUniversity of Southampton
14:21 12m Talk		Salient-Class Location: Help Developers Understand Code Change in Code Review New Ideas and Emerging Results Yuan HuangSchool of Data and Computer Science, Sun Yat-sen University, Guangzhou, China, Nan JiaSchool of Management Science and Engineering, Hebei GEO University, Shijiazhuang, China, Xiangping Chen, Kai HongSchool of Data and Computer Science, Sun Yat-sen University, Guangzhou, China, Zibin Zheng
14:34 12m Talk		Towards Quantifying the Development Value of Code New Ideas and Emerging Results Jinglei RenPersper Foundation, Hezheng YinUniversity of California, Berkeley, Qingda HuTsinghua University, Armando FoxUC Berkeley, Wojciech KoszekThe FreeBSD Project
14:47 12m Talk		Engineering Human Values in Software: A Research Roadmap New Ideas and Emerging Results Davoud MougoueiMonash University, Harsha PereraMonash University, Waqar HussainMonash University, Rifat Ara ShamsMonash University, Jon WhittleMonash University

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

13:30 22m 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 22m 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 22m 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 30m 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 22m Talk		Concurrency Verification with Maximal Path Causality Research Papers Qiuping YiTexas A&M University, Jeff HuangTexas A&M University
15:52 22m Talk		Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks Research Papers Shengjian (Daniel) GuoVirginia Tech, Meng WuVirginia Tech, Chao WangUSC
16:15 22m Talk		Symbolic Execution with Existential Second-Order Constraints Research Papers Sergey MechtaevNational University of Singapore, Alberto GriggioFondazione Bruno Kessler, Alessandro CimattiFondazione Bruno Kessler, Abhik RoychoudhuryNational University of Singapore DOI Pre-print
16:37 22m Talk		Parameterized Model Counting for String and Numeric Constraints Research Papers Abdulbaki AydinMicrosoft, USA, William EiersUniversity of California at Santa Barbara, USA, Lucas Bang, Tegan Brennan, Miroslav GavrilovUniversity of California at Santa Barbara, USA, Tevfik BultanUniversity of California, Santa Barbara, Fang YuNational Chengchi University

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

15:30 90m Other		ROSE Festival ROSE Festival

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

15:30 22m Talk		Finding Better Active Learners for Faster Literature Reviews Journal-First Zhe Yu, Nicholas A. KraftABB Corporate Research, Tim MenziesNorth Carolina State University DOI
15:52 22m Talk		Mining Semantic Loop Idioms Journal-First Miltiadis AllamanisMicrosoft Research, Cambridge, Earl T. BarrUniversity College London, Christian BirdMicrosoft Research, Prem DevanbuUniversity of California, Mark MarronMicrosoft Research, Charles SuttonUniversity of Edinburgh DOI
16:15 22m Talk		NAR-Miner: Discovering Negative Association Rules from Code for Bug Detection Research Papers Pan BianRenmin University of China, China, Bin LiangRenmin University of China, China, Wenchang ShiRenmin University of China, China, Jianjun HuangRenmin University of China, China, Yan CaiInstitute of Software, Chinese Academy of Sciences
16:37 22m Talk		Path-Based Function Embedding and Its Application to Error-Handling Specification Mining Research Papers Daniel DeFreezUniversity of California, Davis, Aditya V. ThakurUniversity of California, Davis, Cindy Rubio-GonzálezUniversity of California, Davis

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

15:30 22m Talk		A Formal Verification Tool for Ethereum VM Bytecode Demonstrations Daejun ParkUniversity of Illinois at Urbana-Champaign, Yi ZhangUniversity of Illinois at Urbana-Champaign, Manasvi SaxenaRuntime Verification, Inc., Philip Daian, Grigore RoşuUniversity of Illinois at Urbana-Champaign
15:52 22m Talk		ASketch: A Sketching Framework for Alloy Demonstrations Kaiyuan Wang, Allison Sullivan, Darko MarinovUniversity of Illinois at Urbana-Champaign, Sarfraz KhurshidUniversity of Texas at Austin
16:15 22m Talk		VT-Revolution: Interactive Programming Tutorials Made Possible Demonstrations Lingfeng Bao Zhejiang University City College, Zhenchang XingAustralia National University, Xin XiaMonash University, David LoSingapore Management University, Shanping Li
16:37 22m Talk		AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning Demonstrations Ferhat ErataUNIT Information Technologies R&D Ltd., Arda GoknilUniversity of Luxembourg, Ivan KurtevAltran Netherlands, Bedir TekinerdoganWageningen University, The Netherlands

18:45 - 19:45	ReceptionSocial at Horizons 6-9F

18:45 60m Social Event		Reception Social

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

19:45 2h15m 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 90m Talk		Ten Years of Hunting for Similar Code for Fun and Profit Keynotes Lingxiao JiangSingapore Management University, Stéphane GlonduInria Nancy, Zhendong SuETH Zurich

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

10:30 - 12:00	ModelsResearch Papers / Journal-First at Horizons 10-11 Chair(s): Maurício AnicheDelft University of Technology, Netherlands

10:30 22m Talk		The modular and feature toggle architectures of Google Chrome Journal-First Md Tajmilur Rahman, Peter C. Rigby, Emad ShihabConcordia University DOI
10:52 22m Talk		Applications of Psychological Science for Actionable Analytics Research Papers Di ChenNorth Carolina State University, USA, Wei Fu, Rahul KrishnaNC State University, Tim MenziesNorth Carolina State University
11:15 22m Talk		Putback-Based Bidirectional Model Transformations Research Papers Xiao HeUniversity of Science and Technology Beijing, China, Zhenjiang HuNational Institute of Informatics
11:37 22m Talk		Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT Research Papers Regina HebigChalmers University of Technology & University of Gothenburg, Christoph SeidlTechnische Universität Braunschweig, Thorsten BergerChalmers University of Technology, Sweden / University of Gothenburg, Sweden, John Kook PedersenIT University of Copenhagen, Denmark, Andrzej WąsowskiIT University of Copenhagen, Denmark

10:30 - 12:00	Estimation and PredictionResearch Papers / Journal-First at Horizons 5 Chair(s): Jim HerbslebCarnegie Mellon University

10:30 22m Talk		Early prediction of merged code changes to prioritize reviewing tasks Journal-First Yuanrui Fan, Xin XiaMonash University, David LoSingapore Management University, Shanping Li DOI
10:52 22m Talk		How far we have progressed in the journey? An examination of cross-project defect prediction Journal-First Yuming Zhou, Yibiao YangNanjing University, China, Hongmin Lu, Lin ChenNanjing University, Yanhui Li, Yangyang Zhao, Junyan Qian, Baowen Xu Link to publication DOI
11:15 22m Talk		A Novel Automated Approach for Software Effort Estimation Based on Data Augmentation Research Papers Liyan Song, Leandro Minku , Xin Yao
11:37 22m Talk		Predicting Node Failure in Cloud Service Systems Research Papers Qingwei LinMicrosoft, China, Ken Hsieh, Yingnong DangMicrosoft, USA, Hongyu ZhangThe University of Newcastle, Kaixin SuiMicrosoft, China, Yong XuMicrosoft, China, Jian-Guang LouMicrosoft Research, Chenggang LiNortheastern University, China, Youjiang WuMicrosoft, USA, Randolph YaoMicrosoft, USA, Murali ChintalapatiMicrosoft, USA, Dongmei ZhangMicrosoft Research, China

10:30 - 12:00	Repair and SynthesisResearch Papers / Journal-First at Horizons 6-9F Chair(s): Shahar MaozTel Aviv University

10:30 22m Talk		Machine Learning-Based Prototyping of Graphical User Interfaces for Mobile Apps Journal-First Kevin MoranCollege of William & Mary, Carlos Bernal-CárdenasWilliam and Mary, Michael Curcio, Richard Bonett, Denys PoshyvanykWilliam and Mary DOI Pre-print Media Attached
10:52 22m Talk		Detecting Speech Act Types in Developer Question/Answer Conversations during Bug Repair Research Papers Andrew Wood, Paige Rodeghero University of Notre Dame, Ameer Armaly, Collin McMillan
11:15 22m Research paper		Visual Web Test Repair Research Papers Andrea StoccoUniversity of British Columbia, Rahulkrishna YandrapallyUniversity of British Columbia, Canada, Ali MesbahUniversity of British Columbia Pre-print Media Attached
11:37 22m Talk		Syntax-Guided Synthesis of Datalog Programs Research Papers Xujie SiUniversity of Pennsylvania, Woosuk LeeUniversity of Pennsylvania, USA, Richard ZhangUniversity of Pennsylvania, Aws AlbarghouthiUniversity of Wisconsin-Madison, Paraschos KoutrisUniversity of Wisconsin-Madison, USA, Mayur NaikUniversity of Pennsylvania

	12:00 - 13:30	LunchSocial at Lakeview Restaurant

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

12:00 90m Lunch		Mentoring Lunch III Faculty Mentorship Roundtables

13:30 - 15:00	Software Maintenance IIResearch Papers / Journal-First at Horizons 10-11 Chair(s): Emerson Murphy-HillNorth Carolina State University

13:30 22m Talk		Automating Change-level Self-admitted Technical Debt Determination Journal-First Meng Yan, Xin XiaMonash University, Emad ShihabConcordia University, David LoSingapore Management University, Jianwei Yin, Xiaohu Yang DOI
13:52 22m Talk		Large-Scale Study of Substitutability in the Presence of Effects Research Papers Jackson MaddoxIowa State University, USA, Yuheng LongIowa State University, Hridesh RajanIowa State University
14:15 22m Talk		An Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Systems Research Papers Yu GaoInstitute of Software, Chinese Academy of Sciences, Wensheng DouInstitute of Software, Chinese Academy of Sciences, Feng QinOhio State University, USA, Chushu GaoInstitute of Software, Chinese Academy of Sciences, Dong WangInstitute of Software at Chinese Academy of Sciences, China, Jun WeiState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, Ruirui HuangAlibaba Group, China, Li ZhouAlibaba Group, China, Yongming WuAlibaba Group, China
14:37 22m Talk		Complementing Global and Local Contexts in Representing API Descriptions to Improve API Retrieval Tasks Research Papers Thanh NguyenIowa State University, Ngoc Tran, Hung Phan, Trong NguyenIowa State University, USA, Linh Truong, Trong NguyenIowa State University, USA, Hoan Anh NguyenIowa State University, USA, Tien N. NguyenUniversity of Texas at Dallas

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

13:30 22m Talk		Phys: Probabilistic Physical Unit Assignment and Inconsistency Detection Research Papers Sayali KatePurdue University, USA, John-Paul OreUniversity of Nebraska-Lincoln, USA, Xiangyu ZhangPurdue University, Sebastian ElbaumUniversity of Nebraska-Lincoln, USA, Zhaogui XuNanjing University, China Pre-print
13:52 22m Talk		Testing Probabilistic Programming Systems Research Papers Saikat DuttaUniversity of Illinois at Urbana-Champaign, USA, Owolabi LegunsenUniversity of Illinois at Urbana-Champaign, Zixin HuangUniversity of Illinois at Urbana-Champaign, USA, Sasa MisailovicUniversity of Illinois at Urbana-Champaign
14:14 22m Talk		Verifying the Long-Run Behavior of Probabilistic System Models in the Presence of Uncertainty Research Papers Yamilet R. Serrano LlerenaNational University of Singapore, Singapore, Marcel BöhmeMonash University, Marc Brüninknil, Singapore, Guoxin SuUniversity of Wollongong, Australia, David S. Rosenblum

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

13:30 22m Talk		Automated Patch Extraction via Syntax- and Semantics-Aware Delta Debugging on Source Code Changes Research Papers Masatomo HashimotoChiba Institute of Technology, Japan, Akira MoriNational Institute of Advanced Industrial Science and Technology, Japan, Tomonori IzumidaIIJ Innovation Institute, Japan Link to publication DOI Authorizer link
13:52 22m Talk		Feedback-Directed Differential Testing of Interactive Debuggers Research Papers Daniel LehmannTU Darmstadt, Michael PradelTU Darmstadt
14:15 22m Talk		Improving IR-Based Bug Localization with Context-Aware Query Reformulation Research Papers Masud RahmanUniversity of Saskatchewan , Chanchal K. RoyUniversity of Saskatchewan Pre-print
14:37 22m Talk		How Should Compilers Explain Problems to Developers? Research Papers Titus BarikMicrosoft, Denae FordNorth Carolina State University, Emerson Murphy-HillNorth Carolina State University, Chris ParninNCSU Pre-print

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

15:30 - 17:00	Ecosystems and CrowdsourcingResearch Papers / Journal-First at Horizons 10-11 Chair(s): Peter RigbyConcordia University, Montreal, Canada

15:30 22m Talk		Comparison of release engineering practices in a large mature company and a startup Journal-First Eero Laukkanen, Maria PaasivaaraIT University of Copenhagen, Denmark & Aalto University, Finland, Juha Itkonen, Casper LasseniusAalto University, Finland and Simula Metropolitan Center for Digital Engineering, Norway DOI
15:52 22m Talk		Microtask Programming Journal-First Thomas LaTozaGeorge Mason University, Arturo Di Lecce, Fabio Ricci, W. Ben Towne, Andre van der Hoek University of California, Irvine DOI
16:14 22m Talk		Ecosystem-Level Determinants of Sustained Activity in Open-Source Projects: A Case Study of the PyPI Ecosystem Research Papers Marat ValievCarnegie Mellon University, USA, Bogdan VasilescuCarnegie Mellon University, Jim HerbslebCarnegie Mellon University

15:30 - 17:00	Testing IIResearch Papers / Journal-First at Horizons 5 Chair(s): Tevfik BultanUniversity of California, Santa Barbara

15:30 22m Talk		On the correctness of electronic documents: studying, finding, and localizing inconsistency bugs in PDF readers and files Journal-First Tomasz Kuchta, Thibaud Lutellier, Edmund Wong, Lin TanUniversity of Waterloo , Cristian CadarImperial College London DOI
15:52 22m Talk		Optimizing Test Prioritization via Test Distribution Analysis Research Papers Junjie ChenPeking University, Yiling LouPeking University, China, Lingming Zhang, Jianyi ZhouPeking University, China, Xiaoleng WangBaidu, China, Dan HaoPeking University, Lu ZhangPeking University
16:15 22m Talk		How Well Are Regular Expressions Tested in the Wild? Research Papers Peipei WangNorth Carolina State University, USA, Kathryn StoleeNorth Carolina State University
16:37 22m Talk		Which Generated Test Failures Are Fault Revealing? Prioritizing Failures Based on Inferred Precondition Violations using PAF Research Papers Mijung KimHong Kong University of Science and Technology, China, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Sunghun KimHong Kong University of Science and Technology

15:30 - 17:00	EnergyResearch Papers / Journal-First at Horizons 6-9F Chair(s): Diego GarbervetskyUniversity of Buenos Aires, Argentina

15:30 30m Talk		Approximate Oracles and Synergy in Software Energy Search Spaces Journal-First Bobby R. Bruce, Justyna PetkeUniversity College London, Mark HarmanFacebook and University College London, Earl T. Barr DOI
16:00 30m Talk		Detection of Energy Inefficiencies in Android Wear Watch Faces Research Papers Hailong ZhangOhio State University, Haowei Wu, Atanas RountevOhio State University
16:30 30m Talk		Stochastic Energy Optimization for Mobile GPS Applications Research Papers Anthony CaninoSUNY Binghamton, Yu David LiuState University of New York (SUNY) Binghamton, Hidehiko MasuharaTokyo Institute of Technology

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

17:15 30m Social Event		Closing Plenary (closing ceremony) Social Gary LeavensUniversity of Central Florida

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 15m Day opening		Welcome and introductions WASPI
09:15 45m Talk		New frontier of mining software repositories at scale---Usability and information delivery (invited talk) WASPI Miryung KimUniversity of California, Los Angeles

	10:00 - 10:30	Coffee Break MorningSocial at Spring Lake

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

10:30 30m Talk		Towards Combining Usage Mining and Implementation Analysis to Infer API Preconditions WASPI Hoan Anh NguyenIowa State University, USA, Tien N. NguyenUniversity of Texas at Dallas, Hridesh RajanIowa State University, Robert DyerBowling Green State University
11:00 30m Talk		Contract Discovery from Black-Box Components WASPI Vaibhav SharmaUniversity of Minnesota, Taejoon ByunUniversity of Minnesota, Stephen McCamantUniversity of Minnesota, Sanjai RayadurgamUniversity of Minnesota, Mats P. E. HeimdahlUniversity of Minnesota, USA
11:30 30m Talk		Automated Generation of Creative Software Requirements: A Data-Driven Approach WASPI Quoc Anh DoMississippi State University, Tanmay BhowmikMississippi State University

	12:00 - 13:30	LunchSocial at Rock Lake

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

13:30 30m Talk		On the Significance of Contract-Based Typestate Specification WASPI Samantha Syeda KhairunnesaIowa State University, Hoan Anh NguyenIowa State University, USA, Hridesh RajanIowa State University
14:00 30m Talk		Towards Static Recovery of Micro State Transitions from Legacy Embedded Code WASPI Ryota YamamotoNagoya University, Norihiro YoshidaNagoya University, Hiroaki TakadaNagoya University DOI Pre-print

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

14:30 30m Other		Panel Discussion on Future of Specification Inference WASPI

	15:00 - 15:30	Coffee Break AfternoonSocial at Spring Lake

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

15:30 90m Other		Open Discussion - Benchmarks for Program Specification WASPI

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 Dara - Hybrid Model Checking of Distributed Systems 15:00 - 15:30 Automated Scenario-based Integration Testing of Distributed Systems 15:00 - 15:30																	ESEC/FSE Social Post Town Hall Reception 18:45 - 20:00
Horizons 10-11											ESEC/FSE Research Papers CloudRaid: Hunting Concurrency Bugs in the Cloud via Log-Mining 10:30 - 10:52		ESEC/FSE Research Papers Testing Multithreaded Programs via Thread Speed Control 10:52 - 11:15		ESEC/FSE Research Papers Data Race Detection on Compressed Traces 11:15 - 11:37		ESEC/FSE Research Papers Practical AJAX Race Detection for JavaScript Web Applications 11:37 - 12:00								ESEC/FSE Journal-First CHiP: A Configurable Hybrid Parallel Covering Array Constructor 13:30 - 13:52		ESEC/FSE Research Papers Learning to Sample: Exploiting Similarities Across Environments to Lear ... 13:52 - 14:15		ESEC/FSE Research Papers Performance Comprehension at WiredTiger 14:15 - 14:37		ESEC/FSE Research Papers MemFix: Static Analysis-Based Repair of Memory Deallocation Errors for C 14:37 - 15:00				ESEC/FSE Journal-First Programmers do not Favor Lambda Expressions for Concurrent Object-Orien ... 15:30 - 15:52		ESEC/FSE Journal-First How Do Developers Utilize Source Code from Stack Overflow? 15:52 - 16:15		ESEC/FSE Research Papers Towards a Theory of Software Development Expertise 16:15 - 16:37		ESEC/FSE Research Papers What Makes a Code Change Easier to Review? An Empirical Investigation o ... 16:37 - 17:00			ESEC/FSE Social SIGSOFT Town Hall Meeting 17:15 - 18:45
Horizons 5											ESEC/FSE Industry Modeling and Testing a Family of Surgical Robots: An Experience Report 10:30 - 10:52		ESEC/FSE Industry Efficient Static Checking of Library Updates 10:52 - 11:14		ESEC/FSE Industry Neha Rungta: Formal Verification at Amazon Scale, Amazon Web Services 11:14 - 11:36										ESEC/FSE Journal-First On Accelerating Source Code Analysis At Massive Scale 13:30 - 13:52		ESEC/FSE Research Papers RefiNym: Using Names to Refine Types 13:52 - 14:15		ESEC/FSE Research Papers Darwinian Data Structure Selection 14:15 - 14:37		ESEC/FSE Research Papers Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity 14:37 - 15:00				ESEC/FSE Journal-First Identifying failure-causing schemas in the presence of multiple faults 15:30 - 15:52		ESEC/FSE Research Papers Singularity: Pattern Fuzzing for Worst Case Complexity 15:52 - 16:15		ESEC/FSE Research Papers Bug Synthesis: Challenging Bug-Finding Tools with Deep Faults 16:15 - 16:37		ESEC/FSE Research Papers Modify, Enhance, Select: Co-Evolution of Combinatorial Models and Test ... 16:37 - 17:00
Horizons 6-9F			ESEC/FSE Keynotes Behind Every Great Deep Learning Framework Is An Even Greater Programmi ... 08:30 - 10:00								ESEC/FSE Journal-First Studying and Detecting Log-Related Issues 10:30 - 10:52		ESEC/FSE Journal-First VT-Revolution: Interactive Programming Video Tutorial Authoring and Wat ... 10:52 - 11:15		ESEC/FSE Research Papers Using Finite-State Models for Log Differencing 11:15 - 11:37		ESEC/FSE Research Papers Identifying Impactful Service System Problems via Log Analysis 11:37 - 12:00								ESEC/FSE Research Papers Deep Learning Type Inference 13:30 - 13:52		ESEC/FSE Research Papers DeepSim: Deep Learning Code Functional Similarity 13:52 - 14:15		ESEC/FSE Research Papers Code Vectors: Understanding Programs Through Embedded Abstracted Symbol ... 14:15 - 14:37		ESEC/FSE Research Papers MODE: Automated Neural Network Model Debugging via State Differential A ... 14:37 - 15:00				ESEC/FSE Journal-First Text Filtering and Ranking for Security Bug Report Prediction 15:30 - 15:52		ESEC/FSE Journal-First STADS: Software Testing as Species Discovery 15:52 - 16:15		ESEC/FSE Research Papers The Impact of Regular Expression Denial of Service (ReDoS) in Practice: ... 16:15 - 16:37		ESEC/FSE Research Papers FraudDroid: Automated Ad Fraud Detection for Android Apps 16:37 - 17:00
Lakeview Restaurant Table																			ESEC/FSE Faculty Mentorship Roundtables Mentoring Lunch I 12:00 - 13:30
Solar											ESEC/FSE Demonstrations BigSift: Automated Debugging of Big Data Analytics in Data-Intensive Sc ... 10:30 - 10:52		ESEC/FSE Demonstrations FOT: A Versatile, Configurable, Extensible Fuzzing Framework 10:52 - 11:15		ESEC/FSE Demonstrations Themis: Automatically Testing Software for Discrimination 11:15 - 11:37		ESEC/FSE Demonstrations Vista: Web Test Repair Using Computer Vision 11:37 - 12:00								ESEC/FSE Industry Are Mobile Banking Apps Secure? What Can be Improved? 13:30 - 13:52		ESEC/FSE Industry VulSeeker-Pro: Enhanced Semantic Learning Based Binary Vulnerability Se ... 13:52 - 14:15		ESEC/FSE Industry PAFL: Extend Fuzzing Optimizations of Single Mode to Industrial Paralle ... 14:15 - 14:37		ESEC/FSE Industry Software Development Challenges with Air-Gap Isolation 14:37 - 15:00				ESEC/FSE Demonstrations Augmenting Stack Overflow with API Usage Patterns Mined from GitHub 15:30 - 15:52		ESEC/FSE Demonstrations PowerStation: Automatically detecting and fixing inefficienciesof datab ... 15:52 - 16:15		ESEC/FSE Demonstrations SketchFix: A Tool for Automated Program Repair Approach Using Lazy Cand ... 16:15 - 16:37		ESEC/FSE Demonstrations WarningsGuru: Integrating statistical bug models with static analysis t ... 16:37 - 17:00

Wed 7 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	20:00	15	30	45	21:00	15	30	45
Horizons 10-11											ESEC/FSE Journal-First Getting the Most from Map Data Structures in Android 10:30 - 10:52			ESEC/FSE Journal-First Successes, Challenges, and Rethinking – An Industrial Investigati ... 10:52 - 11:15				ESEC/FSE Research Papers AppFlow: Using Machine Learning to Synthesize Robust, Reusable UI Tests 11:15 - 11:37			ESEC/FSE Research Papers Winning the App Production Rally 11:37 - 12:00									ESEC/FSE Journal-First Use and Misuse of Continuous Integration Features: An Empirical Study o ... 13:30 - 13:52			ESEC/FSE Research Papers One Size Does Not Fit All: An Empirical Study of Containerized Continuo ... 13:52 - 14:15					ESEC/FSE Research Papers Be Careful of When: An Empirical Study on Time-Related Misuse of Issue ... 14:15 - 14:37				ESEC/FSE Research Papers Do the Dependency Conflicts in My Project Matter? 14:37 - 15:00				ESEC/FSE Research Papers Concurrency Verification with Maximal Path Causality 15:30 - 15:52		ESEC/FSE Research Papers Adversarial Symbolic Execution for Detecting Concurrency-Related Cache ... 15:52 - 16:15		ESEC/FSE Research Papers Symbolic Execution with Existential Second-Order Constraints 16:15 - 16:37		ESEC/FSE Research Papers Parameterized Model Counting for String and Numeric Constraints 16:37 - 17:00
Horizons 5											ESEC/FSE Industry Design and Validation of Precooked Developer Dashboards 10:30 - 10:52			ESEC/FSE Industry Testing and Validating End User Programmed Calculated Fields 10:52 - 11:15				ESEC/FSE Industry Automated Refactoring of Nested-IF Formulae in Spreadsheets 11:15 - 11:37			ESEC/FSE Industry FACTS: Automated Black-box Testing of FinTech Systems 11:37 - 12:00									ESEC/FSE Journal-First A Systematic Evaluation of Static API-Misuse Detectors 13:30 - 13:52			ESEC/FSE Research Papers Do Android Taint Analysis Tools Keep Their Promises? 13:52 - 14:15					ESEC/FSE Research Papers Neural-Augmented Static Analysis of Android Communication 14:15 - 14:37				ESEC/FSE Research Papers Oreo: Detection of Clones in the Twilight Zone 14:37 - 15:00				ROSE Festival ROSE Festival 15:30 - 17:00
Horizons 6-9F			ESEC/FSE Keynotes In the age of Software 2.0, what role for software engineers? 08:30 - 10:00								ESEC/FSE New Ideas and Emerging Results Gamifying Static Analysis 10:30 - 10:42	ESEC/FSE New Ideas and Emerging Results The Case for Experiment-Oriented Computing 10:42 - 10:55			ESEC/FSE New Ideas and Emerging Results On the Naturalness of Proofs 10:55 - 11:08		ESEC/FSE New Ideas and Emerging Results Does ACM's Code of Ethics Change Ethical Decision Making in Software De ... 11:08 - 11:21		ESEC/FSE New Ideas and Emerging Results How Are Spreadsheet Templates Used in Practice: A Case Study on Enron 11:21 - 11:34		ESEC/FSE New Ideas and Emerging Results DLFuzz: Differential Fuzzing Testing of Deep Learning Systems 11:34 - 11:47	ESEC/FSE New Ideas and Emerging Results Towards Data-Driven Vulnerability Prediction for Requirements 11:47 - 12:00								ESEC/FSE New Ideas and Emerging Results Beyond Testing Configurable Systems: Applying Variational Execution to ... 13:30 - 13:42	ESEC/FSE New Ideas and Emerging Results Software Fairness 13:42 - 13:55			ESEC/FSE New Ideas and Emerging Results Software Engineering Collaboratories (SEClabs) and Collaboratories as a ... 13:55 - 14:08			ESEC/FSE New Ideas and Emerging Results Towards Counterexample-guided k-Induction for Fast Bug Detection 14:08 - 14:21		ESEC/FSE New Ideas and Emerging Results Salient-Class Location: Help Developers Understand Code Change in Code ... 14:21 - 14:34			ESEC/FSE New Ideas and Emerging Results Towards Quantifying the Development Value of Code 14:34 - 14:47	ESEC/FSE New Ideas and Emerging Results Engineering Human Values in Software: A Research Roadmap 14:47 - 15:00			ESEC/FSE Journal-First Finding Better Active Learners for Faster Literature Reviews 15:30 - 15:52		ESEC/FSE Journal-First Mining Semantic Loop Idioms 15:52 - 16:15		ESEC/FSE Research Papers NAR-Miner: Discovering Negative Association Rules from Code for Bug Det ... 16:15 - 16:37		ESEC/FSE Research Papers Path-Based Function Embedding and Its Application to Error-Handling Spe ... 16:37 - 17:00									ESEC/FSE Social Reception 18:45 - 19:45				ESEC/FSE Social Banquet 19:45 - 22:00
Lakeview Restaurant Table																							ESEC/FSE Faculty Mentorship Roundtables Mentoring Lunch II 12:00 - 13:30
Solar																													ESEC/FSE Industry Regression Test Selection for TizenRT 13:30 - 13:52		ESEC/FSE Industry Building Lean Continuous Integration and Delivery Pipelines by applying ... 13:52 - 14:14					ESEC/FSE Industry The Impact of Failing, Flaky, and High Failure Tests on the number of C ... 14:14 - 14:36				ESEC/FSE Industry Mateusz Machalica: Scaling Continuous Integration with Machine Learning ... 14:36 - 15:06
Spring Lake											ESEC/FSE Demonstrations DSM: A Specification Mining Tool using Recurrent Neural Network Based L ... 10:30 - 10:52			ESEC/FSE Demonstrations EClone: Detect Semantic Clones in Ethereum via Symbolic Transaction Sketch 10:52 - 11:15				ESEC/FSE Demonstrations INFAR: Insight Extraction from App Reviews 11:15 - 11:37			ESEC/FSE Demonstrations PyDriller: Python Framework for Mining Software Repositories 11:37 - 12:00																									ESEC/FSE Demonstrations A Formal Verification Tool for Ethereum VM Bytecode 15:30 - 15:52		ESEC/FSE Demonstrations ASketch: A Sketching Framework for Alloy 15:52 - 16:15		ESEC/FSE Demonstrations VT-Revolution: Interactive Programming Tutorials Made Possible 16:15 - 16:37		ESEC/FSE Demonstrations AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Objec ... 16:37 - 17:00

Thu 8 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
Horizons 10-11											ESEC/FSE Journal-First The modular and feature toggle architectures of Google Chrome 10:30 - 10:52		ESEC/FSE Research Papers Applications of Psychological Science for Actionable Analytics 10:52 - 11:15		ESEC/FSE Research Papers Putback-Based Bidirectional Model Transformations 11:15 - 11:37		ESEC/FSE Research Papers Model Transformation Languages under a Magnifying Glass: A Controlled E ... 11:37 - 12:00								ESEC/FSE Journal-First Automating Change-level Self-admitted Technical Debt Determination 13:30 - 13:52		ESEC/FSE Research Papers Large-Scale Study of Substitutability in the Presence of Effects 13:52 - 14:15		ESEC/FSE Research Papers An Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Sy ... 14:15 - 14:37		ESEC/FSE Research Papers Complementing Global and Local Contexts in Representing API Description ... 14:37 - 15:00				ESEC/FSE Journal-First Comparison of release engineering practices in a large mature company a ... 15:30 - 15:52		ESEC/FSE Journal-First Microtask Programming 15:52 - 16:14		ESEC/FSE Research Papers Ecosystem-Level Determinants of Sustained Activity in Open-Source Proje ... 16:14 - 16:36
Horizons 5											ESEC/FSE Journal-First Early prediction of merged code changes to prioritize reviewing tasks 10:30 - 10:52		ESEC/FSE Journal-First How far we have progressed in the journey? An examination of cross-proj ... 10:52 - 11:15		ESEC/FSE Research Papers A Novel Automated Approach for Software Effort Estimation Based on Data ... 11:15 - 11:37		ESEC/FSE Research Papers Predicting Node Failure in Cloud Service Systems 11:37 - 12:00								ESEC/FSE Research Papers Phys: Probabilistic Physical Unit Assignment and Inconsistency Detection 13:30 - 13:52		ESEC/FSE Research Papers Testing Probabilistic Programming Systems 13:52 - 14:14		ESEC/FSE Research Papers Verifying the Long-Run Behavior of Probabilistic System Models in the P ... 14:14 - 14:36						ESEC/FSE Journal-First On the correctness of electronic documents: studying, finding, and loca ... 15:30 - 15:52		ESEC/FSE Research Papers Optimizing Test Prioritization via Test Distribution Analysis 15:52 - 16:15		ESEC/FSE Research Papers How Well Are Regular Expressions Tested in the Wild? 16:15 - 16:37		ESEC/FSE Research Papers Which Generated Test Failures Are Fault Revealing? Prioritizing Failure ... 16:37 - 17:00
Horizons 6-9F			ESEC/FSE Keynotes Ten Years of Hunting for Similar Code for Fun and Profit 08:30 - 10:00								ESEC/FSE Journal-First Machine Learning-Based Prototyping of Graphical User Interfaces for Mob ... 10:30 - 10:52		ESEC/FSE Research Papers Detecting Speech Act Types in Developer Question/Answer Conversations d ... 10:52 - 11:15		ESEC/FSE Research Papers Visual Web Test Repair 11:15 - 11:37		ESEC/FSE Research Papers Syntax-Guided Synthesis of Datalog Programs 11:37 - 12:00								ESEC/FSE Research Papers Automated Patch Extraction via Syntax- and Semantics-Aware Delta Debugg ... 13:30 - 13:52		ESEC/FSE Research Papers Feedback-Directed Differential Testing of Interactive Debuggers 13:52 - 14:15		ESEC/FSE Research Papers Improving IR-Based Bug Localization with Context-Aware Query Reformulation 14:15 - 14:37		ESEC/FSE Research Papers How Should Compilers Explain Problems to Developers? 14:37 - 15:00				ESEC/FSE Journal-First Approximate Oracles and Synergy in Software Energy Search Spaces 15:30 - 16:00			ESEC/FSE Research Papers Detection of Energy Inefficiencies in Android Wear Watch Faces 16:00 - 16:30		ESEC/FSE Research Papers Stochastic Energy Optimization for Mobile GPS Applications 16:30 - 17:00				ESEC/FSE Social Closing Plenary (closing ceremony) 17:15 - 17:45
Lakeview Restaurant Table																			ESEC/FSE Faculty Mentorship Roundtables Mentoring Lunch III 12:00 - 13:30

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


Room	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
Spring Lake	ESEC/FSE WASPI Welcome and introductions 09:00 - 09:15			ESEC/FSE WASPI New frontier of mining software repositories at scale---Usability and i ... 09:15 - 10:00															ESEC/FSE WASPI Towards Combining Usage Mining and Implementation Analysis to Infer API ... 10:30 - 11:00						ESEC/FSE WASPI Contract Discovery from Black-Box Components 11:00 - 11:30						ESEC/FSE WASPI Automated Generation of Creative Software Requirements: A Data-Driven A ... 11:30 - 12:00																								ESEC/FSE WASPI On the Significance of Contract-Based Typestate Specification 13:30 - 14:00						ESEC/FSE WASPI Towards Static Recovery of Micro State Transitions from Legacy Embedded ... 14:00 - 14:30						ESEC/FSE WASPI Panel Discussion on Future of Specification Inference 14:30 - 15:00												ESEC/FSE WASPI Open Discussion - Benchmarks for Program Specification 15:30 - 17:00

iCalendar subscription service for your personal schedule

You first need to have starred events () in order to use the iCalendar subscription service.

Currently Viewed Program

Downloads the currently viewed program (with filters applied) in iCal format

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

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