ESEC/FSE 2018 - Research Papers

We invite high quality submissions describing original and unpublished results of theoretical, empirical, conceptual, and experimental software engineering research. Contributions should describe innovative and significant original research. Papers describing groundbreaking approaches to emerging problems will also be considered. Submissions that facilitate reproducibility by using available data sets or making the described tools publicly available are especially encouraged.

Papers submitted to ESEC/FSE should not have been already published elsewhere and should not be under review or submitted for review elsewhere during the reviewing period. Specifically, authors are required to adhere to the ACM Policy and Procedures on Plagiarism and the ACM Policy on Prior Publication and Simultaneous Submissions.

Important Dates

Full paper submission date · March 9th, 2018
Rebuttal period: May 7th-10th
Notification date: June 11th
Camera ready date: September 14th
Conference · November 4th-9th, 2018

Important: Note that the official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of ESEC/FSE 2018. The official publication date affects the deadline for any patent filings related to published work.

At least one author of each accepted paper must register and present the paper at ESEC/FSE 2018 in order for the paper to be published in the proceedings. One-day registrations do NOT satisfy the registration requirement. Please carefully read the complete list of ESEC/FSE Submission Policies and Policies for Accepted Contributions.

Supporters

Sponsor

Platinum

Silver

Bronze

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

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

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

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

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

	10:30 - 10:52 Talk		Studying and Detecting Log-Related Issues Journal-First Mehran Hassani, Weiyi ShangConcordia University, Canada, Emad ShihabConcordia University, Nikolaos TsantalisConcordia University, Canada DOI
	10:52 - 11:15 Talk		VT-Revolution: Interactive Programming Video Tutorial Authoring and Watching System Journal-First Lingfeng Bao Zhejiang University City College, Zhenchang XingAustralia National University, Xin XiaMonash University, David LoSingapore Management University DOI
	11:15 - 11:37 Talk		Using Finite-State Models for Log Differencing Research Papers Hen AmarTel Aviv University, Israel, Lingfeng Bao Zhejiang University City College, Nimrod BusanyTel Aviv University, Israel, David LoSingapore Management University, Shahar MaozTel Aviv University
	11:37 - 12:00 Talk		Identifying Impactful Service System Problems via Log Analysis Research Papers Shilin HeChinese University of Hong Kong, Qingwei LinMicrosoft, China, Jian-Guang LouMicrosoft Research, Hongyu ZhangThe University of Newcastle, Michael Lyu, Dongmei ZhangMicrosoft Research, China

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Call for Papers

We are interested in submissions from both industry and academia on all topics related to software engineering. These include, but are not limited to:

Architecture and design
Autonomic computing and (self-)adaptive systems
Big data
Cloud computing
Components, services, and middleware
Computer-supported cooperative work
Configuration management and deployment
Crowdsourcing
Debugging
Dependability, safety, and reliability
Development tools and environments
Distributed, parallel, and concurrent software
Education
Embedded and real-time software
Empirical software engineering
End-user software engineering
Formal methods, including languages, methods, and tools
Green computing
Human and social factors in software engineering
Human-computer interaction
Knowledge-based software engineering
Mobile, ubiquitous, and pervasive software
Model-driven software engineering
Patterns and frameworks
Processes and workflows
Program analysis
Program comprehension and visualization
Program synthesis
Refactoring
Requirements engineering
Reverse engineering
Safety-critical systems
Scientific computing
Search-based software engineering
Security and privacy
Software economics and metrics
Software evolution and maintenance
Software modularity
Software product lines
Software reuse
Software services
Testing
Traceability
Web-based software

How to Submit

At the time of submission all papers must conform to the ESEC/FSE 2018 Format and Submission Guidelines, and must not exceed 10 pages for all text and figures plus 2 pages for references (with an abstract of 250 words max). All submissions must be in English and in PDF format. You can submit, optionally, an additional file containing supplementary material (see details below). Submissions that do not comply with the above instructions will be desk rejected without review. Papers must be submitted electronically through the ESEC/FSE submission site.

Each submission will be reviewed by at least three members of the Program Committee. Authors will have an opportunity to respond to reviews during a rebuttal period. Submissions will be evaluated on the basis of originality, importance of contribution, soundness, evaluation, quality of presentation and appropriate comparison to related work. The program committee as a whole will make final decisions about which submissions to accept for presentation at the conference.

ESEC/FSE 2018 will employ a lightweight double-blind review process. The papers submitted must not reveal the authors’ identities in any way:

Authors should leave out author names and affiliations from the body of their submission.
Authors should ensure that any citation to related work by themselves is written in third person, that is, “the prior work of XYZ” as opposed to “our prior work”.
Authors should avoid providing URLs to author-revealing sites (tools, data sets). The paper can mention the existence of such sites, but the visit of such sites should not be needed to conduct the review. You can submit, optionally, a zip file or a pdf file containing supplementary material (raw data, data sets, experiments, etc.), which should also be blinded. The program committee will not necessarily consider it in the paper review process.
Authors should anonymize author-revealing company names, yet can provide general characteristics of the organizations involved needed to understand the context of the paper.

Once all reviews are in, author identities will be revealed to the program committee, and authors can respond to the reviews. Authors thus can also use their responses to provide additional information that would otherwise be author-revealing, thus allowing reviewers to take this extra information into account in the eventual evaluation.

Authors having further questions on double blind reviewing are encouraged to contact the Program Chairs by email. Papers that do not comply to the double blind review process will be desk-rejected.

All publications are subject to the ACM Author Representations policy.

Accepted Papers

	Title
	A Novel Automated Approach for Software Effort Estimation Based on Data Augmentation Research Papers Liyan Song, Leandro Minku , Xin Yao
	Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks Research Papers Shengjian (Daniel) Guo, Meng Wu, Chao Wang
	An Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Systems Research Papers Yu Gao, Wensheng Dou, Feng Qin, Chushu Gao, Dong Wang, Jun Wei, Ruirui Huang, Li Zhou, Yongming Wu
	AppFlow: Using Machine Learning to Synthesize Robust, Reusable UI Tests Research Papers Gang Hu, Linjie Zhu, Junfeng Yang
	Applications of Psychological Science for Actionable Analytics Research Papers Di Chen, Wei Fu, Rahul Krishna, Tim Menzies
	Automated Patch Extraction via Syntax- and Semantics-Aware Delta Debugging on Source Code Changes Research Papers Masatomo Hashimoto, Akira Mori, Tomonori Izumida Link to publication DOI Authorizer link
	Be Careful of When: An Empirical Study on Time-Related Misuse of Issue Tracking Data Research Papers Feifei Tu, Jiaxin Zhu, Qimu Zheng, Minghui Zhou
	Bug Synthesis: Challenging Bug-Finding Tools with Deep Faults Research Papers Subhajit Roy, Awanish Pandey, Brendan Dolan-Gavitt, Yu Hu
	CloudRaid: Hunting Concurrency Bugs in the Cloud via Log-Mining Research Papers JieLu , Feng Li, Lian Li, Xiaobing Feng
	Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces Research Papers Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas Reps
	Complementing Global and Local Contexts in Representing API Descriptions to Improve API Retrieval Tasks Research Papers Thanh Nguyen, Ngoc Tran, Hung Phan, Trong Nguyen, Linh Truong, Trong Nguyen, Hoan Anh Nguyen, Tien N. Nguyen
	Concurrency Verification with Maximal Path Causality Research Papers Qiuping Yi, Jeff Huang
	Darwinian Data Structure Selection Research Papers Michail Basios, Lingbo Li, Fan Wu, Leslie Kanthan, Earl T. Barr DOI Pre-print
	Data Race Detection on Compressed Traces Research Papers Dileep Kini, Umang Mathur, Mahesh Viswanathan
	Deep Learning Type Inference Research Papers Vincent Hellendoorn, Christian Bird, Earl T. Barr, Miltiadis Allamanis
	DeepSim: Deep Learning Code Functional Similarity Research Papers Gang Zhao, Jeff Huang
	Detecting Speech Act Types in Developer Question/Answer Conversations during Bug Repair Research Papers Andrew Wood, Paige Rodeghero , Ameer Armaly, Collin McMillan
	Detection of Energy Inefficiencies in Android Wear Watch Faces Research Papers Hailong Zhang, Haowei Wu, Atanas Rountev
	Do Android Taint Analysis Tools Keep Their Promises? Research Papers Felix Pauck, Eric Bodden, Heike Wehrheim
	Do the Dependency Conflicts in My Project Matter? Research Papers Ying Wang, Ming Wen, Zhenwei Liu, Rongxin Wu, Rui Wang, Bo Yang, Hai Yu, Zhiliang Zhu, Shing-Chi Cheung
	Ecosystem-Level Determinants of Sustained Activity in Open-Source Projects: A Case Study of the PyPI Ecosystem Research Papers Marat Valiev, Bogdan Vasilescu, Jim Herbsleb
	Feedback-Directed Differential Testing of Interactive Debuggers Research Papers Daniel Lehmann, Michael Pradel
	FraudDroid: Automated Ad Fraud Detection for Android Apps Research Papers Feng Dong, Haoyu Wang, Li Li, Yao Guo, Tegawendé F. Bissyandé, Tianming Liu, Guoai Xu , Jacques Klein
	How Should Compilers Explain Problems to Developers? Research Papers Titus Barik, Denae Ford, Emerson Murphy-Hill, Chris Parnin Pre-print
	How Well Are Regular Expressions Tested in the Wild? Research Papers Peipei Wang, Kathryn Stolee
	Identifying Impactful Service System Problems via Log Analysis Research Papers Shilin He, Qingwei Lin, Jian-Guang Lou, Hongyu Zhang, Michael Lyu, Dongmei Zhang
	Improving IR-Based Bug Localization with Context-Aware Query Reformulation Research Papers Masud Rahman, Chanchal K. Roy Pre-print
	Large-Scale Study of Substitutability in the Presence of Effects Research Papers Jackson Maddox, Yuheng Long, Hridesh Rajan
	Learning to Sample: Exploiting Similarities Across Environments to Learn Performance Models for Configurable Systems Research Papers Pooyan Jamshidi, Miguel Velez, Christian Kästner, Norbert Siegmund
	MODE: Automated Neural Network Model Debugging via State Differential Analysis and Input Selection Research Papers Shiqing Ma, Yingqi Liu, Wen-Chuan Lee, Xiangyu Zhang, Ananth Grama
	MemFix: Static Analysis-Based Repair of Memory Deallocation Errors for C Research Papers Junhee Lee, Seongjoon Hong, Hakjoo Oh
	Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT Research Papers Regina Hebig, Christoph Seidl, Thorsten Berger, John Kook Pedersen, Andrzej Wąsowski
	Modify, Enhance, Select: Co-Evolution of Combinatorial Models and Test Plans Research Papers Rachel Tzoref-Brill, Shahar Maoz
	NAR-Miner: Discovering Negative Association Rules from Code for Bug Detection Research Papers Pan Bian, Bin Liang, Wenchang Shi, Jianjun Huang, Yan Cai
	Neural-Augmented Static Analysis of Android Communication Research Papers Jinman Zhao, Aws Albarghouthi, Vaibhav Rastogi, Somesh Jha, Damien Octeau
	One Size Does Not Fit All: An Empirical Study of Containerized Continuous Deployment Workflows Research Papers Yang Zhang, Bogdan Vasilescu, Huaimin Wang, Vladimir Filkov Pre-print
	Optimizing Test Prioritization via Test Distribution Analysis Research Papers Junjie Chen, Yiling Lou, Lingming Zhang, Jianyi Zhou, Xiaoleng Wang, Dan Hao, Lu Zhang
	Oreo: Detection of Clones in the Twilight Zone Research Papers Vaibhav Saini, Farima Farmahinifarahani, Yadong Lu, Pierre Baldi, Crista Lopes
	Parameterized Model Counting for String and Numeric Constraints Research Papers Abdulbaki Aydin, William Eiers, Lucas Bang, Tegan Brennan, Miroslav Gavrilov, Tevfik Bultan, Fang Yu
	Path-Based Function Embedding and Its Application to Error-Handling Specification Mining Research Papers Daniel DeFreez, Aditya V. Thakur, Cindy Rubio-González
	Performance Comprehension at WiredTiger Research Papers Alexandra (Sasha) Fedorova, Craig Mustard, Ivan Beschastnikh, Julia Rubin, Augustine Wong, Svetozar Miucin, Louis Ye
	Phys: Probabilistic Physical Unit Assignment and Inconsistency Detection Research Papers Sayali Kate, John-Paul Ore, Xiangyu Zhang, Sebastian Elbaum, Zhaogui Xu Pre-print
	Practical AJAX Race Detection for JavaScript Web Applications Research Papers Christoffer Quist Adamsen, Anders Møller, Saba Alimadadi, Frank Tip
	Predicting Node Failure in Cloud Service Systems Research Papers Qingwei Lin, Ken Hsieh, Yingnong Dang, Hongyu Zhang, Kaixin Sui, Yong Xu, Jian-Guang Lou, Chenggang Li, Youjiang Wu, Randolph Yao, Murali Chintalapati, Dongmei Zhang
	Putback-Based Bidirectional Model Transformations Research Papers Xiao He, Zhenjiang Hu
	RefiNym: Using Names to Refine Types Research Papers Santanu Kumar Dash, Miltiadis Allamanis, Earl T. Barr
	Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity Research Papers Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
	Singularity: Pattern Fuzzing for Worst Case Complexity Research Papers Jiayi Wei, Jia Chen, Yu Feng, Kostas Ferles, Isil Dillig DOI Pre-print
	Stochastic Energy Optimization for Mobile GPS Applications Research Papers Anthony Canino, Yu David Liu, Hidehiko Masuhara
	Symbolic Execution with Existential Second-Order Constraints Research Papers Sergey Mechtaev, Alberto Griggio, Alessandro Cimatti, Abhik Roychoudhury DOI Pre-print
	Syntax-Guided Synthesis of Datalog Programs Research Papers Xujie Si, Woosuk Lee, Richard Zhang, Aws Albarghouthi, Paraschos Koutris, Mayur Naik
	Testing Multithreaded Programs via Thread Speed Control Research Papers Dongjie Chen, Yanyan Jiang, Chang Xu, Xiaoxing Ma, Jian Lu
	Testing Probabilistic Programming Systems Research Papers Saikat Dutta, Owolabi Legunsen, Zixin Huang, Sasa Misailovic
	The Impact of Regular Expression Denial of Service (ReDoS) in Practice: An Empirical Study at the Ecosystem Scale Research Papers James C. Davis, Christy A. Coghlan, Francisco Servant, Dongyoon Lee
	Towards a Theory of Software Development Expertise Research Papers Sebastian Baltes , Stephan Diehl Pre-print
	Using Finite-State Models for Log Differencing Research Papers Hen Amar, Lingfeng Bao , Nimrod Busany, David Lo, Shahar Maoz
	Verifying the Long-Run Behavior of Probabilistic System Models in the Presence of Uncertainty Research Papers Yamilet R. Serrano Llerena, Marcel Böhme, Marc Brünink, Guoxin Su, David S. Rosenblum
	Visual Web Test Repair Research Papers Andrea Stocco, Rahulkrishna Yandrapally, Ali Mesbah Pre-print Media Attached
	What Makes a Code Change Easier to Review? An Empirical Investigation on Code Change Reviewability Research Papers Achyudh Ram, Anand Ashok Sawant, Marco Castelluccio, Alberto Bacchelli Link to publication DOI Pre-print Media Attached
	Which Generated Test Failures Are Fault Revealing? Prioritizing Failures Based on Inferred Precondition Violations using PAF Research Papers Mijung Kim, Shing-Chi Cheung, Sunghun Kim
	Winning the App Production Rally Research Papers Ehsan Noei, Daniel Alencar Da Costa , Ying Zou

Research PapersESEC/FSE 2018

Important Dates

Program Display Configuration

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

Call for Papers

How to Submit

Accepted Papers

Corina S PasareanuChair

NASA Ames Research Center

Alessandro GarciaChair

PUC-Rio

Brazil

Rui Abreu

Instituto Superior Técnico, U. Lisboa & INESC-ID

Portugal

Bram Adams

MCIS, École Polytechnique de Montréal

Sven Apel

Saarland University

Germany

Alberto Bacchelli

University of Zurich

Switzerland

Gabriele Bavota

Università della Svizzera italiana (USI)

Switzerland

Christian Bird

Microsoft Research

United States

Yuriy Brun

University of Massachusetts Amherst

United States

Tevfik Bultan

University of California, Santa Barbara

Antonio Carzaniga

Università della Svizzera italiana

Switzerland

Satish Chandra

Facebook

United States

Jane Cleland-Huang

University of Notre Dame

United States

Myra Cohen

Iowa State University

United States

Rob DeLine

Microsoft Research

Massimiliano Di Penta

University of Sannio

Italy

Laura Dillon

Michigan State University

Matthew Dwyer

University of Nebraska

United States

Sebastian Elbaum

University of Nebraska-Lincoln, USA

Antonio Filieri

Imperial College London

United Kingdom

Marco Gerosa

Northern Arizona University

United States

Rohit Gheyi

Federal University of Campina Grande

Brazil

Lars Grunske

Humboldt-Universität zu Berlin

Germany

Mark Harman

Facebook and University College London

United Kingdom

Natalia Juristo

Facultad de Informática - UPM

Spain

Sarfraz Khurshid

University of Texas at Austin

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