Program - ESEC/FSE 2018

JieLu , Feng LiInstitute of Computing Technology at Chinese Academy of Sciences, China, Lian LiInstitute of Computing Technology at Chinese Academy of Sciences, China, Xiaobing FengICT CAS

10:52 - 11:15
Talk

Testing Multithreaded Programs via Thread Speed Control

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

11:15 - 11:37
Talk

Data Race Detection on Compressed Traces

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

11:37 - 12:00
Talk

Practical AJAX Race Detection for JavaScript Web Applications

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

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

10:30 - 11:15
Talk

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

Niloofar Mansoor, Jonathan A. Saddler, Bruno da SilvaCalifornia Polytechnic State University, Hamid BagheriUniversity of Nebraska-Lincoln, USA, Myra CohenUniversity of Nebraska-Lincoln, Shane Farritor

11:15 - 12:00
Talk

Efficient Static Checking of Library Updates

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

10:30 - 12:00: Research Papers - Log Mining at Horizons 6-9F

10:30 - 10:52
Talk

Studying and Detecting Log-Related Issues

Mehran Hassani, Weiyi (Ian) ShangConcordia University, Canada, Emad ShihabConcordia University, Nikolaos TsantalisConcordia University, Canada

DOI

10:52 - 11:15
Talk

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

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

DOI

11:15 - 11:37
Talk

Using Finite-State Models for Log Differencing

Hen AmarTel Aviv University, Israel, Lingfeng Bao Zhejiang University City College, Nimrod BusanyTel Aviv University, Israel, David LoSingapore Management University, Shahar MaozTel Aviv University

11:37 - 12:00
Talk

Identifying Impactful Service System Problems via Log Analysis

Shilin HeChinese University of Hong Kong, China, Qingwei LinMicrosoft, China, Jian-Guang LouMicrosoft Research, Hongyu ZhangThe University of Newcastle, Michael Lyu, Dongmei ZhangMicrosoft Research, China

10:30 - 12:00: Demonstrations - Testing at Solar

10:30 - 10:52
Talk

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

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

10:52 - 11:15
Talk

FOT: A Versatile, Configurable, Extensible Fuzzing Framework

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

11:15 - 11:37
Talk

Themis: Automatically Testing Software for Discrimination

Rico AngellUniversity of Massachusetts, Amherst, Brittany JohnsonUniversity of Massachusetts Amherst, Yuriy BrunUniversity of Massachusetts Amherst, Alexandra MeliouUniversity of Massachusetts Amherst

Link to publication DOI Pre-print

11:37 - 12:00
Demonstration

Vista: Web Test Repair Using Computer Vision

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

Pre-print

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

12:00 - 13:30
Lunch

Lunch

13:30 - 15:00: Research Papers - Deep Learning at Horizons 6-9F

13:30 - 13:52
Talk

Deep Learning Type Inference

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

13:52 - 14:15
Talk

DeepSim: Deep Learning Code Functional Similarity

Gang Zhao, Jeff HuangTexas A&M University

14:15 - 14:37
Talk

Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces

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

14:37 - 15:00
Talk

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

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

13:30 - 15:00: Research Papers - Performance at Horizons 10-11

13:30 - 13:52
Talk

CHiP: A Configurable Hybrid Parallel Covering Array Constructor

Hanefi Mercan, Cemal YilmazSabancı University, Kamer Kaya

DOI

13:52 - 14:15
Talk

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

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

14:15 - 14:37
Talk

Performance Comprehension at WiredTiger

Alexandra (Sasha) FedorovaUniversity of British Columbia, Craig MustardUniversity of British Columbia, Canada, Ivan BeschastnikhUniversity of British Columbia, Julia RubinUniversity of British Columbia, Augustine WongUniversity of British Columbia, Canada, Svetozar MiucinUniversity of British Columbia, Canada, Louis YeUniversity of British Columbia, Canada

14:37 - 15:00
Talk

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

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

13:30 - 15:00: Industry - Security at Solar

13:30 - 13:52
Talk

Are Mobile Banking Apps Secure? What Can be Improved?

Sen ChenEast China Normal University, China/Nanyang Technological University, Singapore, Ting SuNanyang Technological University, Singapore, Lingling FanEast China Normal University, China/Nanyang Technological University, Singapore, Guozhu Meng, Minhui Xue, Yang LiuNanyang Technological University, Singapore, Lihua Xu

13:52 - 14:15
Talk

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

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

14:15 - 14:37
Talk

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

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

14:37 - 15:00
Talk

Software Development Challenges with Air-Gap Isolation

Sunny Wong, Anne Woepse

13:30 - 15:00: Research Papers - Software Analysis I at Horizons 5

13:30 - 13:52
Talk

On Accelerating Source Code Analysis At Massive Scale

Ganesha UpadhyayaFuturewei Technologies, Hridesh RajanIowa State University

DOI

13:52 - 14:15
Talk

RefiNym: Using Names to Refine Types

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

14:15 - 14:37
Talk

Darwinian Data Structure Selection

Michail BasiosUniversity College London, Lingbo LiUniversity College London, UK, Fan WuUniversity College London, UK, Leslie KanthanUniversity College London, UK, Earl T. Barr

DOI Pre-print

14:37 - 15:00
Talk

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

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

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

15:00 - 15:02
Poster

Feedback in Scrum Processes: Data-Driven Retrospectives

Christoph MatthiesHasso Plattner Institute, University of Potsdam

15:02 - 15:05
Poster

What is the Programmer Experience?

Jenny Morales

15:05 - 15:07
Poster

Blueprints Programming Model for Smart Contracts

Bert-Jan Butijn

15:07 - 15:10
Poster

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

Mounifah Alenazi

15:10 - 15:12
Poster

Test Coverage for Semi-Structured Data

Nawwar Kabbani

15:12 - 15:15
Poster

Practices And Tools For Better Software Testing

Davide SpadiniTU Delft, The Netherlands

15:15 - 15:17
Poster

Automated Support for Mobile Application Testing and Maintenance

Mattia FazziniGeorgia Institute of Technology

15:17 - 15:20
Poster

Moving Towards Objective Measures of Program Comprehension

Sarah FakhouryWashington State University

15:20 - 15:22
Poster

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

Caius Brindescu

15:22 - 15:25
Poster

Intelligent Bug Fixing with Sofware Bug Knowledge Graph

Cheng ZhouYangzhou University

15:25 - 15:27
Poster

Quality Assurance Automation in Autonomous Systems

Afsoon AfzalCarnegie Mellon University

15:27 - 15:30
Poster

Semantic Inference from Natural Language Privacy Policies and Android Code

Mitra Bokaei Hosseini

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

15:00 - 15:02
Poster

Automated Scenario-based Integration Testing of Distributed Systems

Bruno LimaFaculty of Engineering, University of Porto and INESC TEC

15:02 - 15:05
Poster

Towards Learning-Augmented Languages

Xinyuan SunUniversity of California, Davis

15:05 - 15:08
Poster

On the Adoption of Neural Networks in Modeling Software Reliability

Kamill Gusmanov

15:08 - 15:10
Poster

Type Migration in Large-Scale Code Bases

Ameya KetkarOregon State University, USA

15:10 - 15:13
Poster

Reshaping Distributed Agile and Adaptive Development Environment

Francesco NoceraPolytechnic University of Bari

15:13 - 15:16
Poster

How Dance(Sport) Can Help to Produce Better Software

Irina Erofeeva

15:16 - 15:19
Poster

Feature-Interaction Aware Configuration Prioritization

Son NguyenThe University of Texas at Dallas

15:19 - 15:21
Poster

Dara - Hybrid Model Checking of Distributed Systems

Vaastav Anand

15:21 - 15:24
Poster

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

David A TomassiUniversity of California, Davis

15:24 - 15:27
Poster

Mining Error-Handling Specifications for Systems Software

Daniel DeFreezUniversity of California, Davis

15:27 - 15:30
Poster

Diversity and Decorum in Open Source Communities

Neill RobsonNC State University

15:30 - 17:00: Demonstrations - Bugs at Solar

15:30 - 15:52
Talk

Augmenting Stack Overflow with API Usage Patterns Mined from GitHub

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

15:52 - 16:15
Talk

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

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

16:15 - 16:37
Talk

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

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

16:37 - 17:00
Talk

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

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

15:30 - 17:00: Research Papers - Developer Studies at Horizons 10-11

15:30 - 15:52
Talk

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

Sebastian Nielebock, Robert Heumüller, Frank Ortmeier

DOI

15:52 - 16:15
Talk

How Do Developers Utilize Source Code from Stack Overflow?

Yuhao Wu, Shaowei WangQueen's University, Cor-Paul BezemerQueen's University, Kingston, Ontario, Katsuro InoueOsaka University

DOI

16:15 - 16:37
Talk

Towards a Theory of Software Development Expertise

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

Pre-print

16:37 - 17:00
Full-paper

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

Achyudh RamUniversity of Waterloo, Anand Ashok SawantDelft University of Technology, Marco CastelluccioMozilla Foundation, UK, Alberto BacchelliUniversity of Zurich

DOI Pre-print Media Attached

15:30 - 17:00: Research Papers - Security at Horizons 6-9F

15:30 - 15:52
Talk

Text Filtering and Ranking for Security Bug Report Prediction

Fayola PetersLero - The Irish Software Research Centre and University of Limerick, Thein Than Tun, Yijun YuThe Open University, UK, Bashar NuseibehThe Open University (UK) & Lero (Ireland)

DOI

15:52 - 16:15
Talk

STADS: Software Testing as Species Discovery

Marcel BöhmeMonash University

DOI

16:15 - 16:37
Talk

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

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

16:37 - 17:00
Talk

FraudDroid: Automated Ad Fraud Detection for Android Apps

Feng DongBeijing University of Posts and Telecommunications, China, Haoyu Wang, Li LiMonash University, Australia, Yao GuoPeking University, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Tianming LiuBeijing University of Posts and Telecommunications, China, Guoai Xu , Jacques KleinUniversity of Luxembourg, SnT

15:30 - 17:00: Research Papers - Testing I at Horizons 5

15:30 - 15:52
Talk

Identifying failure-causing schemas in the presence of multiple faults

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

DOI

15:52 - 16:15
Talk

Singularity: Pattern Fuzzing for Worst Case Complexity

Jiayi WeiUniversity of Texas at Austin, Jia ChenUniversity of Texas at Austin, Yu FengUniversity of Texas at Austin, USA, Kostas FerlesUT Austin, Isil DilligUT Austin

DOI Pre-print

16:15 - 16:37
Talk

Bug Synthesis: Challenging Bug-Finding Tools with Deep Faults

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

16:37 - 17:00
Talk

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

Rachel Tzoref-BrillIBM Research, Shahar MaozTel Aviv University

Wed 7 Nov

10:30 - 12:00: Industry - End User Programming and Financial Applications at Horizons 5

10:30 - 10:52
Talk

Design and Validation of Precooked Developer Dashboards

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

10:52 - 11:15
Talk

Testing and Validating End User Programmed Calculated Fields

Víctor Braberman, Diego GarbervetskyUniversity of Buenos Aires, Argentina, Javier Godoy, Sebastian UchitelUniversidad de Buenos Aires / Imperial College, Guido de Caso, Ignacio Perez, Santiago Perez De RossoMIT CSAIL

11:15 - 11:37
Talk

Automated Refactoring of Nested-IF Formulae in Spreadsheets

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

11:37 - 12:00
Talk

FACTS: Automated Black-box Testing of FinTech Systems

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

10:30 - 12:00: Demonstrations - Mining at Spring Lake

10:30 - 10:52
Talk

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

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

10:52 - 11:15
Talk

EClone: Detect Semantic Clones in Ethereum via Symbolic Transaction Sketch

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

11:15 - 11:37
Talk

INFAR: Insight Extraction from App Reviews

Cuiyun GaoComputer Science and Engineering, The Chinese University of Hong Kong, Jichuan Zeng, David LoSingapore Management University, Chin-Yew LinMicrosoft, Michael Lyu, Irwin King

11:37 - 12:00
Talk

PyDriller: Python Framework for Mining Software Repositories

Davide SpadiniTU Delft, The Netherlands, Maurício AnicheDelft University of Technology, Netherlands, Alberto BacchelliUniversity of Zurich

Pre-print

10:30 - 12:00: Research Papers - Mobile Apps at Horizons 10-11

10:30 - 10:52
Talk

Getting the Most from Map Data Structures in Android

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

DOI

10:52 - 11:15
Talk

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

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

DOI

11:15 - 11:37
Talk

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

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

11:37 - 12:00
Talk

Winning the App Production Rally

Ehsan NoeiQueen's University, Canada, Daniel Alencar Da Costa Queen's University, Kingston, Ontario, Ying ZouQueen's University, Kingston, Ontario

10:30 - 12:00: New Ideas and Emerging Results - NIER I at Horizons 6-9F

10:30 - 10:42
Talk

Gamifying Static Analysis

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

10:42 - 10:55
Talk

The Case for Experiment-Oriented Computing

Paulo SalemDell EMC

10:55 - 11:08
Talk

On the Naturalness of Proofs

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

11:08 - 11:21
Talk

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

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

Pre-print

11:21 - 11:34
Talk

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

Liang XuInstitute of Software Chinese Academy of Sciences, Wensheng Dou State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, Jiaxin ZhuInstitute of Software at Chinese Academy of Sciences, China, Chushu Gao, Jun WeiState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, Tao HuangInstitute of Software Chinese Academy of Sciences

11:34 - 11:47
Talk

DLFuzz: Differential Fuzzing Testing of Deep Learning Systems

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

11:47 - 12:00
Talk

Towards Data-Driven Vulnerability Prediction for Requirements

Sayem Mohammad ImtiazMississippi State University, Tanmay BhowmikMississippi State University

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

12:00 - 13:30
Lunch

Lunch

13:30 - 15:00: New Ideas and Emerging Results - NIER II at Horizons 6-9F

13:30 - 13:42
Talk

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

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

13:42 - 13:55
Talk

Software Fairness

Yuriy BrunUniversity of Massachusetts Amherst, Alexandra MeliouUniversity of Massachusetts Amherst

Link to publication DOI Pre-print

13:55 - 14:08
Talk

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

Elena ShermanBoise State University, Robert DyerBowling Green State University

14:08 - 14:21
Talk

Towards Counterexample-guided k-Induction for Fast Bug Detection

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

14:21 - 14:34
Talk

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

Yuan HuangSchool of Data and Computer Science, Sun Yat-sen University, Guangzhou, China, Nan JiaSchool of Management Science and Engineering, Hebei GEO University, Shijiazhuang, China, Xiangping Chen, Kai HongSchool of Data and Computer Science, Sun Yat-sen University, Guangzhou, China, Zibin Zheng

14:34 - 14:47
Talk

Towards Quantifying the Development Value of Code

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

14:47 - 15:00
Talk

Engineering Human Values in Software: A Research Roadmap

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

13:30 - 15:00: Research Papers - Software Analysis II at Horizons 5

13:30 - 13:52
Talk

A Systematic Evaluation of Static API-Misuse Detectors

Sven AmannTechnische Universität Darmstadt, Hoan NguyenIowa State University, Sarah NadiUniversity of Alberta, Tien NguyenUniversity of Texas at Dallas, Mira MeziniTU Darmstadt

DOI

13:52 - 14:15
Talk

Do Android Taint Analysis Tools Keep Their Promises?

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

14:15 - 14:37
Talk

Neural-Augmented Static Analysis of Android Communication

Jinman ZhaoUniversity of Wisconsin-Madison, USA, Aws AlbarghouthiUniversity of Wisconsin-Madison, Vaibhav RastogiUniversity of Wisconsin-Madison, USA, Somesh JhaUniversity of Wisconsin, Madison, Damien OcteauUniversity of Wisconsin and Pennsylvania State University

14:37 - 15:00
Talk

Oreo: Detection of Clones in the Twilight Zone

Vaibhav SainiUniversity of California at Irvine, USA, Farima FarmahinifarahaniUniversity of California at Irvine, USA, Yadong LuUniversity of California at Irvine, USA, Pierre BaldiUniversity of California at Irvine, USA, Crista Lopes

13:30 - 15:00: Research Papers - Software Maintenance I at Horizons 10-11

13:30 - 13:52
Talk

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

Keheliya GallabaMcGill University, Shane McIntoshMcGill University

DOI

13:52 - 14:15
Research paper

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

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

Pre-print

14:15 - 14:37
Talk

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

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

14:37 - 15:00
Talk

Do the Dependency Conflicts in My Project Matter?

Ying WangNortheastern University, China, Ming WenThe Hong Kong University of Science and Technology, Zhenwei LiuNortheastern University, China, Rongxin WuDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Rui WangNortheastern University, China, Bo YangNortheastern University, China, Hai YuNortheastern University, China, Zhiliang ZhuNortheastern University, China, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology

13:30 - 15:00: Industry - Test Automation at Solar

13:30 - 14:00
Talk

Regression Test Selection for TizenRT

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

14:00 - 14:30
Talk

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

Vidroha Debroy, Senecca Miller, Lance Brimble

14:30 - 15:00
Talk

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

Md Tajmilur Rahman, Peter RigbyConcordia University, Montreal, Canada

15:30 - 17:00: Research Papers - Mining at Horizons 6-9F

15:30 - 15:52
Talk

Finding Better Active Learners for Faster Literature Reviews

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

DOI

15:52 - 16:15
Talk

Mining Semantic Loop Idioms

Miltiadis AllamanisMicrosoft Research, Cambridge, Earl BarrUniversity College London, Christian BirdMicrosoft Research, Prem DevanbuUniversity of California, Mark MarronMicrosoft Research, Charles SuttonUniversity of Edinburgh

DOI

16:15 - 16:37
Talk

Applications of Psychological Science for Actionable Analytics

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

16:37 - 17:00
Talk

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

Pan BianRenmin University of China, China, Bin LiangRenmin University of China, China, Wenchang ShiRenmin University of China, China, Jianjun HuangRenmin University of China, China, Yan CaiInstitute of Software, Chinese Academy of Sciences

15:30 - 17:00: Demonstrations - Models at Spring Lake

15:30 - 15:52
Talk

A Formal Verification Tool for Ethereum VM Bytecode

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

15:52 - 16:15
Talk

ASketch: A Sketching Framework for Alloy

Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz KhurshidUniversity of Texas at Austin

16:15 - 16:37
Talk

VT-Revolution: Interactive Programming Tutorials Made Possible

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

16:37 - 17:00
Talk

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

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

15:30 - 17:00: Research Papers - Symbolic Execution and Constraint Solving at Horizons 10-11

15:30 - 15:52
Talk

Concurrency Verification with Maximal Path Causality

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

15:52 - 16:15
Talk

Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks

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

16:15 - 16:37
Talk

Symbolic Execution with Existential Second-Order Constraints

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

16:37 - 17:00
Talk

Parameterized Model Counting for String and Numeric Constraints

Abdulbaki AydinMicrosoft, USA, William EiersUniversity of California at Santa Barbara, USA, Lucas Bang, Tegan Brennan, Miroslav GavrilovUniversity of California at Santa Barbara, USA, Tevfik BultanUniversity of California, Santa Barbara, Fang YuNational Chengchi University

18:45 - 19:45: Social - Reception at Lakeview Restaurant

18:45 - 19:45
Social Event

Reception

19:00 - 20:00: Social - Banquet at Lakeview Restaurant

19:00 - 20:00
Social Event

Banquet

Thu 8 Nov

10:30 - 12:00: Research Papers - Estimation and Prediction at Horizons 5

10:30 - 10:52
Talk

Early prediction of merged code changes to prioritize reviewing tasks

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

DOI

10:52 - 11:15
Talk

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

Yuming Zhou, Yibiao Yang, Hongmin Lu, Lin ChenNanjing University, Yanhui Li, Yangyang Zhao, Junyan Qian, Baowen Xu

DOI

11:15 - 11:37
Talk

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

Liyan Song, Leandro Minku , Xin Yao

11:37 - 12:00
Talk

Predicting Node Failure in Cloud Service Systems

Qingwei LinMicrosoft, China, Ken Hsieh, Yingnong DangMicrosoft, USA, Hongyu ZhangThe University of Newcastle, Kaixin SuiMicrosoft, China, Yong XuMicrosoft, China, Jian-Guang LouMicrosoft Research, Chenggang LiNortheastern University, China, Youjiang WuMicrosoft, USA, Randolph YaoMicrosoft, USA, Murali ChintalapatiMicrosoft, USA, Dongmei ZhangMicrosoft Research, China

10:30 - 12:00: Research Papers - Models at Horizons 10-11

10:30 - 10:52
Talk

The modular and feature toggle architectures of Google Chrome

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

DOI

10:52 - 11:15
Talk

Putback-Based Bidirectional Model Transformations

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

11:15 - 11:37
Talk

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

Regina HebigChalmers University of Technology & University of Gothenburg, Christoph SeidlTechnische Universität Braunschweig, Thorsten BergerChalmers University of Technology, Sweden / University of Gothenburg, Sweden, John Kook PedersenIT University of Copenhagen, Denmark, Andrzej WąsowskiIT University of Copenhagen, Denmark

11:37 - 12:00
Talk

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

Daniel DeFreezUniversity of California, Davis, Aditya ThakurUniversity of California, Davis, Cindy Rubio-GonzalezUniversity of California, Davis

10:30 - 12:00: Research Papers - Repair and Synthesis at Horizons 6-9F

10:30 - 10:52
Talk

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

Kevin MoranCollege of William & Mary, Carlos Bernal-Cárdenas, Michael Curcio, Richard Bonett, Denys PoshyvanykWilliam and Mary

DOI

10:52 - 11:15
Talk

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

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

11:15 - 11:37
Research paper

Visual Web Test Repair

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

Pre-print Media Attached

11:37 - 12:00
Talk

Syntax-Guided Synthesis of Datalog Programs

Xujie SiUniversity of Pennsylvania, Woosuk LeeUniversity of Pennsylvania, USA, Richard ZhangUniversity of Pennsylvania, Aws AlbarghouthiUniversity of Wisconsin-Madison, Paraschos KoutrisUniversity of Wisconsin-Madison, USA, Mayur NaikUniversity of Pennsylvania

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

12:00 - 13:30
Lunch

Lunch

13:30 - 15:00: Research Papers - Debugging and Bug Localization at Horizons 6-9F

13:30 - 13:52
Talk

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

Masatomo HashimotoChiba Institute of Technology, Japan, Akira MoriNational Institute of Advanced Industrial Science and Technology, Japan, Tomonori IzumidaIIJ Innovation Institute, Japan

13:52 - 14:15
Talk

Feedback-Directed Differential Testing of Interactive Debuggers

Daniel LehmannTU Darmstadt, Michael PradelTU Darmstadt

14:15 - 14:37
Talk

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

Masud RahmanUniversity of Saskatchewan , Chanchal K. RoyUniversity of Saskatchewan

14:37 - 15:00
Talk

How Should Compilers Explain Problems to Developers?

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

Pre-print

13:30 - 15:00: Research Papers - Probabilistic Reasoning at Horizons 5

13:30 - 13:52
Talk

Inferring Extended Probabilistic Finite State Automaton Models from Software Executions

Seyedeh Sepideh Emam, James Kevin Miller

DOI

13:52 - 14:15
Talk

Phys: Probabilistic Physical Unit Assignment and Inconsistency Detection

Sayali KatePurdue University, USA, John-Paul OreUniversity of Nebraska-Lincoln, USA, Xiangyu ZhangPurdue University, Sebastian ElbaumUniversity of Nebraska-Lincoln, USA, Zhaogui XuNanjing University, China

Pre-print

14:15 - 14:37
Talk

Testing Probabilistic Programming Systems

Saikat DuttaUniversity of Illinois at Urbana-Champaign, USA, Owolabi LegunsenUniversity of Illinois at Urbana-Champaign, Zixin HuangUniversity of Illinois at Urbana-Champaign, USA, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, USA

14:37 - 15:00
Talk

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

Yamilet R. Serrano LlerenaNational University of Singapore, Singapore, Marcel BöhmeMonash University, Marc Brüninknil, Singapore, Guoxin SuUniversity of Wollongong, Australia, David S. Rosenblum

13:30 - 15:00: Research Papers - Software Maintenance II at Horizons 10-11

13:30 - 13:52
Talk

Automating Change-level Self-admitted Technical Debt Determination

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

DOI

13:52 - 14:15
Talk

Large-Scale Study of Substitutability in the Presence of Effects

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

14:15 - 14:37
Talk

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

Yu Gao, Wensheng Dou State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, Feng QinOhio State University, USA, Chushu Gao, Dong WangInstitute of Software at Chinese Academy of Sciences, China, Jun WeiState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, Ruirui HuangAlibaba Group, China, Li ZhouAlibaba Group, China, Yongming WuAlibaba Group, China

14:37 - 15:00
Talk

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

Thanh NguyenIowa State University, Ngoc Tran, Hung Phan, Trong NguyenIowa State University, USA, Linh Truong, Trong NguyenIowa State University, USA, Hoan Anh NguyenIowa State University, USA, Tien NguyenUniversity of Texas at Dallas

15:30 - 17:00: Research Papers - Ecosystems and Crowdsourcing at Horizons 10-11

15:30 - 16:00
Talk

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

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

16:00 - 16:30
Talk

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

Eero Laukkanen, Maria PaasivaaraIT University of Copenhagen, Denmark & Aalto University, Finland, Juha Itkonen, Casper LasseniusAalto University, Finland and Simula Metropolitan Center for Digital Engineering, Norway

DOI

16:30 - 17:00
Talk

Microtask Programming

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

DOI

15:30 - 17:00: Research Papers - Energy at Horizons 6-9F

15:30 - 16:00
Talk

Approximate Oracles and Synergy in Software Energy Search Spaces

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

DOI

16:00 - 16:30
Talk

Detection of Energy Inefficiencies in Android Wear Watch Faces

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

16:30 - 17:00
Talk

Stochastic Energy Optimization for Mobile GPS Applications

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

15:30 - 17:00: Research Papers - Testing II at Horizons 5

15:30 - 15:52
Talk

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

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

DOI

15:52 - 16:15
Talk

Optimizing Test Prioritization via Test Distribution Analysis

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

16:15 - 16:37
Talk

How Well Are Regular Expressions Tested in the Wild?

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

16:37 - 17:00
Talk

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

Mijung KimHong Kong University of Science and Technology, China, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Sunghun KimHong Kong University of Science and Technology

Mon 5 Nov 2018


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
Solar							ESEC/FSE Doctorial Symposium Doctoral Symposium (invitation only) 08:30 - 17:00

Tue 6 Nov 2018


Room	10:00	30	11:00	30	12:00	30	13:00	30	14:00	30	15:00	30	16:00	30	17:00	30
Horizons 1-4F	ESEC/FSE Student Research Competition SRC Posters I ESEC/FSE Doctorial Symposium Doctoral Symposium Posters I 10:00 - 10:30										ESEC/FSE Student Research Competition SRC Posters II 15:00 - 15:30	ESEC/FSE Doctorial Symposium Doctoral Symposium Posters II 15:00 - 15:30
Horizons 10-11		ESEC/FSE Research Papers Concurrency and Races 10:30 - 12:00						ESEC/FSE Research Papers Performance 13:30 - 15:00				ESEC/FSE Research Papers Developer Studies 15:30 - 17:00
Horizons 5		ESEC/FSE Industry Formal Analysis 10:30 - 12:00						ESEC/FSE Research Papers Software Analysis I 13:30 - 15:00				ESEC/FSE Research Papers Testing I 15:30 - 17:00
Horizons 6-9F		ESEC/FSE Research Papers Log Mining 10:30 - 12:00						ESEC/FSE Research Papers Deep Learning 13:30 - 15:00				ESEC/FSE Research Papers Security 15:30 - 17:00
Lakeview Restaurant					ESEC/FSE Social Lunch I 12:00 - 13:30
Solar		ESEC/FSE Demonstrations Testing 10:30 - 12:00						ESEC/FSE Industry Security 13:30 - 15:00				ESEC/FSE Demonstrations Bugs 15:30 - 17:00

Wed 7 Nov 2018


Room	10:00	30	11:00	30	12:00	30	13:00	30	14:00	30	15:00	30	16:00	30	17:00	30	18:00	30		19:00	30		20:00	30
Horizons 10-11		ESEC/FSE Research Papers Mobile Apps 10:30 - 12:00						ESEC/FSE Research Papers Software Maintenance I 13:30 - 15:00				ESEC/FSE Research Papers Symbolic Execution and Constraint Solving 15:30 - 17:00
Horizons 5		ESEC/FSE Industry End User Programming and Financial Applications 10:30 - 12:00						ESEC/FSE Research Papers Software Analysis II 13:30 - 15:00				ROSE Festival 15:30 - 17:00
Horizons 6-9F		ESEC/FSE New Ideas and Emerging Results NIER I 10:30 - 12:00						ESEC/FSE New Ideas and Emerging Results NIER II 13:30 - 15:00				ESEC/FSE Research Papers Mining 15:30 - 17:00
Lakeview Restaurant					ESEC/FSE Social Lunch II 12:00 - 13:30														ESEC/FSE Social Reception 18:45 - 19:45			ESEC/FSE Social Banquet 19:00 - 20:00
Solar								ESEC/FSE Industry Test Automation 13:30 - 15:00
Spring Lake		ESEC/FSE Demonstrations Mining 10:30 - 12:00										ESEC/FSE Demonstrations Models 15:30 - 17:00

Thu 8 Nov 2018


Room	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 10-11		ESEC/FSE Research Papers Models 10:30 - 12:00						ESEC/FSE Research Papers Software Maintenance II 13:30 - 15:00				ESEC/FSE Research Papers Ecosystems and Crowdsourcing 15:30 - 17:00
Horizons 5		ESEC/FSE Research Papers Estimation and Prediction 10:30 - 12:00						ESEC/FSE Research Papers Probabilistic Reasoning 13:30 - 15:00				ESEC/FSE Research Papers Testing II 15:30 - 17:00
Horizons 6-9F		ESEC/FSE Research Papers Repair and Synthesis 10:30 - 12:00						ESEC/FSE Research Papers Debugging and Bug Localization 13:30 - 15:00				ESEC/FSE Research Papers Energy 15:30 - 17:00
Lakeview Restaurant					ESEC/FSE Social Lunch III 12:00 - 13:30

Mon 5 Nov 2018


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
Solar							ESEC/FSE Doctorial Symposium Practices And Tools For Better Software Testing 08:30 - 09:42														ESEC/FSE Doctorial Symposium Automated Support for Mobile Application Testing and Maintenance 09:42 - 10:55															ESEC/FSE Doctorial Symposium Moving Towards Objective Measures of Program Comprehension 10:55 - 12:08															ESEC/FSE Doctorial Symposium Semantic Inference from Natural Language Privacy Policies and Android Code 12:08 - 13:21														ESEC/FSE Doctorial Symposium Intelligent Bug Fixing with Sofware Bug Knowledge Graph 13:21 - 14:34															ESEC/FSE Doctorial Symposium Quality Assurance Automation in Autonomous Systems 14:34 - 15:47														ESEC/FSE Doctorial Symposium How Do Developers Resolve Merge Conflicts? An Investigation Into the Pr ... 15:47 - 17:00

Tue 6 Nov 2018


Room	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 1-4F	ESEC/FSE Student Research Competition Automated Scenario-based Integration Testing of Distributed Systems ESEC/FSE Doctorial Symposium Automated Support for Mobile Application Testing and Maintenance How Do Developers Resolve Merge Conflicts? An Investigation Into the Pr ... What is the Programmer Experience? Moving Towards Objective Measures of Program Comprehension Blueprints Programming Model for Smart Contracts Intelligent Bug Fixing with Sofware Bug Knowledge Graph Leveraging Traceability and Obstacle Analysis to Ensure Requirements Fu ... Semantic Inference from Natural Language Privacy Policies and Android Code Practices And Tools For Better Software Testing Test Coverage for Semi-Structured Data Quality Assurance Automation in Autonomous Systems Feedback in Scrum Processes: Data-Driven Retrospectives 10:00 - 10:02	ESEC/FSE Student Research Competition Towards Learning-Augmented Languages 10:02 - 10:05	ESEC/FSE Student Research Competition On the Adoption of Neural Networks in Modeling Software Reliability 10:05 - 10:08	ESEC/FSE Student Research Competition Type Migration in Large-Scale Code Bases 10:08 - 10:10	ESEC/FSE Student Research Competition Reshaping Distributed Agile and Adaptive Development Environment 10:10 - 10:13	ESEC/FSE Student Research Competition How Dance(Sport) Can Help to Produce Better Software 10:13 - 10:16	ESEC/FSE Student Research Competition Mining Error-Handling Specifications for Systems Software 10:16 - 10:19	ESEC/FSE Student Research Competition Feature-Interaction Aware Configuration Prioritization 10:19 - 10:21	ESEC/FSE Student Research Competition Dara - Hybrid Model Checking of Distributed Systems 10:21 - 10:24	ESEC/FSE Student Research Competition Bugs in the Wild: Examining the Effectiveness of Static Analyzers at Fi ... 10:24 - 10:27	ESEC/FSE Student Research Competition Diversity and Decorum in Open Source Communities 10:27 - 10:30																						ESEC/FSE Student Research Competition Automated Scenario-based Integration Testing of Distributed Systems 15:00 - 15:02	ESEC/FSE Doctorial Symposium Feedback in Scrum Processes: Data-Driven Retrospectives 15:00 - 15:02	ESEC/FSE Doctorial Symposium What is the Programmer Experience? 15:02 - 15:05	ESEC/FSE Student Research Competition Towards Learning-Augmented Languages 15:02 - 15:05	ESEC/FSE Doctorial Symposium Blueprints Programming Model for Smart Contracts 15:05 - 15:07	ESEC/FSE Student Research Competition On the Adoption of Neural Networks in Modeling Software Reliability 15:05 - 15:08	ESEC/FSE Doctorial Symposium Leveraging Traceability and Obstacle Analysis to Ensure Requirements Fu ... 15:07 - 15:10	ESEC/FSE Student Research Competition Type Migration in Large-Scale Code Bases 15:08 - 15:10	ESEC/FSE Doctorial Symposium Test Coverage for Semi-Structured Data 15:10 - 15:12	ESEC/FSE Student Research Competition Reshaping Distributed Agile and Adaptive Development Environment 15:10 - 15:13	ESEC/FSE Doctorial Symposium Practices And Tools For Better Software Testing 15:12 - 15:15	ESEC/FSE Student Research Competition How Dance(Sport) Can Help to Produce Better Software 15:13 - 15:16	ESEC/FSE Doctorial Symposium Automated Support for Mobile Application Testing and Maintenance 15:15 - 15:17	ESEC/FSE Student Research Competition Feature-Interaction Aware Configuration Prioritization 15:16 - 15:19	ESEC/FSE Doctorial Symposium Moving Towards Objective Measures of Program Comprehension 15:17 - 15:20	ESEC/FSE Student Research Competition Dara - Hybrid Model Checking of Distributed Systems 15:19 - 15:21	ESEC/FSE Doctorial Symposium How Do Developers Resolve Merge Conflicts? An Investigation Into the Pr ... 15:20 - 15:22	ESEC/FSE Student Research Competition Bugs in the Wild: Examining the Effectiveness of Static Analyzers at Fi ... 15:21 - 15:24	ESEC/FSE Doctorial Symposium Intelligent Bug Fixing with Sofware Bug Knowledge Graph 15:22 - 15:25	ESEC/FSE Student Research Competition Mining Error-Handling Specifications for Systems Software 15:24 - 15:27	ESEC/FSE Doctorial Symposium Quality Assurance Automation in Autonomous Systems 15:25 - 15:27	ESEC/FSE Student Research Competition Diversity and Decorum in Open Source Communities 15:27 - 15:30	ESEC/FSE Doctorial Symposium Semantic Inference from Natural Language Privacy Policies and Android Code 15:27 - 15:30
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
Horizons 5							ESEC/FSE Industry Modeling and Testing a Family of Surgical Robots: An Experience Report 10:30 - 11:15						ESEC/FSE Industry Efficient Static Checking of Library Updates 11:15 - 12:00										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 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																	ESEC/FSE Social Lunch 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 2018


Room	10:00	15	30		45			11:00		15		30		45	12:00	15	30	45	13:00	15	30		45			14:00		15		30		45	15:00	15	30	45		16:00	15	30		45	17:00	15	30	45	18:00	15	30	45	19:00	15	30	45	20:00	15	30	45
Horizons 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
Horizons 6-9F			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 Applications of Psychological Science for Actionable Analytics 16:15 - 16:37		ESEC/FSE Research Papers NAR-Miner: Discovering Negative Association Rules from Code for Bug Det ... 16:37 - 17:00
Lakeview Restaurant															ESEC/FSE Social Lunch 12:00 - 13:30																																			ESEC/FSE Social Reception 18:45 - 19:45				ESEC/FSE Social Banquet 19:00 - 20:00
Solar																					ESEC/FSE Industry Regression Test Selection for TizenRT 13:30 - 14:00					ESEC/FSE Industry Building Lean Continuous Integration and Delivery Pipelines by applying ... 14:00 - 14:30				ESEC/FSE Industry The Impact of Failing, Flaky, and High Failure Tests on the number of C ... 14:30 - 15:00
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 2018


Room	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 Putback-Based Bidirectional Model Transformations 10:52 - 11:15		ESEC/FSE Research Papers Model Transformation Languages under a Magnifying Glass: A Controlled E ... 11:15 - 11:37		ESEC/FSE Research Papers Path-Based Function Embedding and Its Application to Error-Handling Spe ... 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 Research Papers Ecosystem-Level Determinants of Sustained Activity in Open-Source Proje ... 15:30 - 16:00			ESEC/FSE Journal-First Comparison of release engineering practices in a large mature company a ... 16:00 - 16:30		ESEC/FSE Journal-First Microtask Programming 16:30 - 17:00
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 Journal-First Inferring Extended Probabilistic Finite State Automaton Models from Sof ... 13:30 - 13:52		ESEC/FSE Research Papers Phys: Probabilistic Physical Unit Assignment and Inconsistency Detection 13:52 - 14:15		ESEC/FSE Research Papers Testing Probabilistic Programming Systems 14:15 - 14:37		ESEC/FSE Research Papers Verifying the Long-Run Behavior of Probabilistic System Models in the P ... 14:37 - 15:00				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 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
Lakeview Restaurant											ESEC/FSE Social Lunch 12:00 - 13:30

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

Mon 5 Nov

Tue 6 Nov

Wed 7 Nov

Thu 8 Nov

Mon 5 Nov 2018

ESEC/FSE Doctorial Symposium

Tue 6 Nov 2018

ESEC/FSE Student Research Competition

ESEC/FSE Doctorial Symposium

ESEC/FSE Student Research Competition

ESEC/FSE Doctorial Symposium

ESEC/FSE Research Papers

ESEC/FSE Research Papers

ESEC/FSE Research Papers

ESEC/FSE Industry

ESEC/FSE Research Papers

ESEC/FSE Research Papers

ESEC/FSE Research Papers

ESEC/FSE Research Papers

ESEC/FSE Research Papers

ESEC/FSE Social

ESEC/FSE Demonstrations

ESEC/FSE Industry

ESEC/FSE Demonstrations

Wed 7 Nov 2018

ESEC/FSE Research Papers

ESEC/FSE Research Papers

ESEC/FSE Research Papers

ESEC/FSE Industry

ESEC/FSE Research Papers

ROSE Festival

ESEC/FSE New Ideas and Emerging Results

ESEC/FSE New Ideas and Emerging Results

ESEC/FSE Research Papers

ESEC/FSE Social

ESEC/FSE Social

ESEC/FSE Social

ESEC/FSE Industry

ESEC/FSE Demonstrations

ESEC/FSE Demonstrations

Thu 8 Nov 2018

ESEC/FSE Research Papers

ESEC/FSE Research Papers

ESEC/FSE Research Papers

ESEC/FSE Research Papers

ESEC/FSE Research Papers

ESEC/FSE Research Papers

ESEC/FSE Research Papers

ESEC/FSE Research Papers

ESEC/FSE Research Papers

ESEC/FSE Social

Mon 5 Nov 2018

Tue 6 Nov 2018

Wed 7 Nov 2018

Thu 8 Nov 2018