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
Sponsor
Platinum
Silver
Silver
Silver
Bronze
Dates
Tracks
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
22m
Talk
CloudRaid: Hunting Concurrency Bugs in the Cloud via Log-Mining
Research Papers
JieLu , Feng LiInstitute of Computing Technology at Chinese Academy of Sciences, China, Lian LiInstitute of Computing Technology at Chinese Academy of Sciences, China, Xiaobing FengICT CAS
10:52
22m
Talk
Testing Multithreaded Programs via Thread Speed Control
Research Papers
Dongjie Chen, Yanyan JiangNanjing University, Chang XuNanjing University, Xiaoxing MaNanjing University, Jian LuNanjing University
11:15
22m
Talk
Data Race Detection on Compressed Traces
Research Papers
Dileep KiniUniversity of Illinois at Urbana-Champaign, Umang MathurUniversity of Illinois at Urbana-Champaign, Mahesh ViswanathanUniversity of Illinois at Urbana-Champaign
11:37
22m
Talk
Practical AJAX Race Detection for JavaScript Web Applications
Research Papers
Christoffer Quist AdamsenAarhus University, Anders MøllerAarhus University, Saba AlimadadiNortheastern University, Frank TipNortheastern University
10:30 - 12:00
Log MiningResearch Papers / Journal-First at Horizons 6-9F
Chair(s): Dongyoon LeeVirginia Tech, USA
10:30
22m
Talk
Studying and Detecting Log-Related Issues
Journal-First
Mehran Hassani, Weiyi ShangConcordia University, Canada, Emad ShihabConcordia University, Nikolaos TsantalisConcordia University, Canada
DOI
10:52
22m
Talk
VT-Revolution: Interactive Programming Video Tutorial Authoring and Watching System
Journal-First
Lingfeng Bao Zhejiang University City College, Zhenchang XingAustralia National University, Xin XiaMonash University, David LoSingapore Management University
DOI
11:15
22m
Talk
Using Finite-State Models for Log Differencing
Research Papers
Hen AmarTel Aviv University, Israel, Lingfeng Bao Zhejiang University City College, Nimrod BusanyTel Aviv University, Israel, David LoSingapore Management University, Shahar MaozTel Aviv University
11:37
22m
Talk
Identifying Impactful Service System Problems via Log Analysis
Research Papers
Shilin HeChinese University of Hong Kong, Qingwei LinMicrosoft, China, Jian-Guang LouMicrosoft Research, Hongyu ZhangThe University of Newcastle, Michael Lyu, Dongmei ZhangMicrosoft Research, China
13:30 - 15:00
PerformanceResearch Papers / Journal-First at Horizons 10-11
Chair(s): Zhendong SuETH Zurich
13:30
22m
Talk
CHiP: A Configurable Hybrid Parallel Covering Array Constructor
Journal-First
DOI
13:52
22m
Talk
Learning to Sample: Exploiting Similarities Across Environments to Learn Performance Models for Configurable Systems
Research Papers
Pooyan JamshidiUniversity of South Carolina, Miguel VelezCarnegie Mellon University, USA, Christian KaestnerCarnegie Mellon University, Norbert SiegmundBauhaus-University Weimar
14:15
22m
Talk
Performance Comprehension at WiredTiger
Research Papers
Alexandra (Sasha) FedorovaUniversity of British Columbia, Craig MustardUniversity of British Columbia, Canada, Ivan BeschastnikhComputer Science, University of British Columbia, Julia RubinUniversity of British Columbia, Augustine WongUniversity of British Columbia, Canada, Svetozar MiucinUniversity of British Columbia, Canada, Louis YeUniversity of British Columbia, Canada
14:37
22m
Talk
MemFix: Static Analysis-Based Repair of Memory Deallocation Errors for C
Research Papers
Junhee LeeKorea University, South Korea, Seongjoon HongKorea University, Hakjoo OhKorea University
13:30 - 15:00
Software Analysis IResearch Papers / Journal-First at Horizons 5
Chair(s): Sebastian ElbaumUniversity of Nebraska-Lincoln, USA
13:30
22m
Talk
On Accelerating Source Code Analysis At Massive Scale
Journal-First
Ganesha UpadhyayaFuturewei Technologies, Hridesh RajanIowa State University
DOI
13:52
22m
Talk
RefiNym: Using Names to Refine Types
Research Papers
Santanu Kumar DashUniversity College London, UK, Miltiadis AllamanisMicrosoft Research, Cambridge, Earl T. Barr
14:15
22m
Talk
Darwinian Data Structure Selection
Research Papers
Michail BasiosUniversity College London, Lingbo LiUniversity College London, UK, Fan WuUniversity College London, UK, Leslie KanthanUniversity College London, UK, Earl T. Barr
DOI Pre-print
14:37
22m
Talk
Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity
Research Papers
Yue LiAarhus University, Denmark, Tian TanAarhus University, Denmark, Anders MøllerAarhus University, Yannis SmaragdakisUniversity of Athens
13:30 - 15:00
Deep LearningResearch Papers at Horizons 6-9F
Chair(s): David RosenblumNational University of Singapore
13:30
22m
Talk
Deep Learning Type Inference
Research Papers
Vincent HellendoornUniversity of California at Davis, USA, Christian BirdMicrosoft Research, Earl T. Barr, Miltiadis AllamanisMicrosoft Research, Cambridge
13:52
22m
Talk
DeepSim: Deep Learning Code Functional Similarity
Research Papers
Gang Zhao, Jeff HuangTexas A&M University
14:15
22m
Talk
Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces
Research Papers
Jordan HenkelUniversity of Wisconsin–Madison, Shuvendu LahiriMicrosoft Research, Ben LiblitUniversity of Wisconsin–Madison, Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc.
14:37
22m
Talk
MODE: Automated Neural Network Model Debugging via State Differential Analysis and Input Selection
Research Papers
Shiqing MaPurdue University, USA, Yingqi LiuPurdue University, USA, Wen-Chuan LeePurdue University, Xiangyu ZhangPurdue University, Ananth GramaPurdue University, USA
15:30 - 17:00
Developer StudiesResearch Papers / Journal-First at Horizons 10-11
Chair(s): Thomas LaTozaGeorge Mason University
15:30
22m
Talk
Programmers do not Favor Lambda Expressions for Concurrent Object-Oriented Code
Journal-First
DOI
15:52
22m
Talk
How Do Developers Utilize Source Code from Stack Overflow?
Journal-First
Yuhao Wu, Shaowei WangQueen's University, Cor-Paul BezemerUniversity of Alberta, Canada, Katsuro InoueOsaka University
DOI
16:15
22m
Talk
Towards a Theory of Software Development Expertise
Research Papers
Sebastian BaltesUniversity of Trier, Stephan DiehlComputer Science, University Trier, Germany
Pre-print
16:37
22m
Full-paper
What Makes a Code Change Easier to Review? An Empirical Investigation on Code Change Reviewability
Research Papers
Achyudh RamUniversity of Waterloo, Anand Ashok SawantDelft University of Technology, Marco CastelluccioMozilla Foundation, UK, Alberto BacchelliUniversity of Zurich
Link to publication DOI Pre-print Media Attached
15:30 - 17:00
Testing IResearch Papers / Journal-First at Horizons 5
Chair(s): David LoSingapore Management University
15:30
22m
Talk
Identifying failure-causing schemas in the presence of multiple faults
Journal-First
Xintao Niu, Changhai Nie, Yu Lei, Hareton Leung, Xiaoyin WangUniversity of Texas at San Antonio, USA
DOI
15:52
22m
Talk
Singularity: Pattern Fuzzing for Worst Case Complexity
Research Papers
Jiayi WeiUniversity of Texas at Austin, Jia ChenUniversity of Texas at Austin, Yu FengUniversity of California, Santa Barbara, USA, Kostas FerlesUT Austin, Isil DilligUT Austin
DOI Pre-print
16:15
22m
Talk
Bug Synthesis: Challenging Bug-Finding Tools with Deep Faults
Research Papers
Subhajit RoyIIT Kanpur, India, Awanish PandeyIIT Kanpur, India, Brendan Dolan-GavittNew York University, Yu HuNew York University, USA
16:37
22m
Talk
Modify, Enhance, Select: Co-Evolution of Combinatorial Models and Test Plans
Research Papers
Rachel Tzoref-BrillIBM Research, Shahar MaozTel Aviv University
15:30 - 17:00
15:30
22m
Talk
Text Filtering and Ranking for Security Bug Report Prediction
Journal-First
Fayola PetersLero - The Irish Software Research Centre and University of Limerick, Thein Than Tun, Yijun YuThe Open University, UK, Bashar NuseibehThe Open University (UK) & Lero (Ireland)
DOI
15:52
22m
Talk
STADS: Software Testing as Species Discovery
Journal-First
Marcel BöhmeMonash University
DOI
16:15
22m
Talk
The Impact of Regular Expression Denial of Service (ReDoS) in Practice: An Empirical Study at the Ecosystem Scale
Research Papers
James C. DavisVirginia Tech, USA, Christy A. CoghlanVirginia Tech, USA, Francisco ServantVirginia Tech, Dongyoon LeeVirginia Tech, USA
16:37
22m
Talk
FraudDroid: Automated Ad Fraud Detection for Android Apps
Research Papers
Feng DongBeijing University of Posts and Telecommunications, China, Haoyu Wang, Li LiMonash University, Australia, Yao GuoPeking University, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Tianming LiuBeijing University of Posts and Telecommunications, China, Guoai Xu , Jacques KleinUniversity of Luxembourg, SnT

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
22m
Talk
Getting the Most from Map Data Structures in Android
Journal-First
Rubén Saborido InfantesDepartment of Computer Science and Software Engineering, Concordia University, Montreal, Rodrigo MoralesConcordia University, Foutse KhomhPolytechnique Montréal, Yann-Gaël GuéhéneucConcordia University and Polytechnique Montréal, Giuliano AntoniolPolytechnique Montréal
DOI
10:52
22m
Talk
Successes, Challenges, and Rethinking – An Industrial Investigation on Crowdsourced Mobile Application Testing
Journal-First
Ruizhi Gao, Yabin Wang, Yang FengUniversity of California, Irvine, Zhenyu ChenNanjing University, W. Eric Wong
DOI
11:15
22m
Talk
AppFlow: Using Machine Learning to Synthesize Robust, Reusable UI Tests
Research Papers
Gang HuColumbia University, USA, Linjie Zhu, Junfeng YangColumbia University
11:37
22m
Talk
Winning the App Production Rally
Research Papers
Ehsan NoeiUniversity of Toronto, Daniel Alencar Da Costa Queen's University, Kingston, Ontario, Ying ZouQueen's University, Kingston, Ontario
13:30 - 15:00
Software Maintenance IResearch Papers / Journal-First at Horizons 10-11
Chair(s): Christian BirdMicrosoft Research
13:30
22m
Talk
Use and Misuse of Continuous Integration Features: An Empirical Study of Projects that (mis)use Travis CI
Journal-First
Keheliya GallabaMcGill University, Shane McIntoshMcGill University
DOI
13:52
22m
Research paper
One Size Does Not Fit All: An Empirical Study of Containerized Continuous Deployment Workflows
Research Papers
Yang ZhangNational University of Defense Technology, China, Bogdan VasilescuCarnegie Mellon University, Huaimin Wang, Vladimir FilkovUniversity of California at Davis, USA
Pre-print
14:15
22m
Talk
Be Careful of When: An Empirical Study on Time-Related Misuse of Issue Tracking Data
Research Papers
Feifei TuPeking University, China, Jiaxin ZhuInstitute of Software at Chinese Academy of Sciences, China, Qimu ZhengPeking University, China, Minghui ZhouPeking University
14:37
22m
Talk
Do the Dependency Conflicts in My Project Matter?
Research Papers
Ying WangNortheastern University, China, Ming WenThe Hong Kong University of Science and Technology, Zhenwei LiuNortheastern University, China, Rongxin WuDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Rui WangNortheastern University, China, Bo YangNortheastern University, China, Hai YuNortheastern University, China, Zhiliang ZhuNortheastern University, China, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology
13:30 - 15:00
Software Analysis IIResearch Papers / Journal-First at Horizons 5
Chair(s): Myra CohenIowa State University
13:30
22m
Talk
A Systematic Evaluation of Static API-Misuse Detectors
Journal-First
Sven AmannTechnische Universität Darmstadt, Hoan NguyenIowa State University, Sarah NadiUniversity of Alberta, Tien N. NguyenUniversity of Texas at Dallas, Mira MeziniTU Darmstadt
DOI
13:52
22m
Talk
Do Android Taint Analysis Tools Keep Their Promises?
Research Papers
Felix PauckPaderborn University, Germany, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Heike WehrheimPaderborn University
14:15
22m
Talk
Neural-Augmented Static Analysis of Android Communication
Research Papers
Jinman ZhaoUniversity of Wisconsin-Madison, USA, Aws AlbarghouthiUniversity of Wisconsin-Madison, Vaibhav RastogiUniversity of Wisconsin-Madison, USA, Somesh JhaUniversity of Wisconsin, Madison, Damien OcteauUniversity of Wisconsin and Pennsylvania State University
14:37
22m
Talk
Oreo: Detection of Clones in the Twilight Zone
Research Papers
Vaibhav SainiUniversity of California at Irvine, USA, Farima FarmahinifarahaniUniversity of California at Irvine, USA, Yadong LuUniversity of California at Irvine, USA, Pierre BaldiUniversity of California at Irvine, USA, Crista Lopes
15:30 - 17:00
Symbolic Execution and Constraint SolvingResearch Papers at Horizons 10-11
Chair(s): Satish ChandraFacebook
15:30
22m
Talk
Concurrency Verification with Maximal Path Causality
Research Papers
Qiuping YiTexas A&M University, Jeff HuangTexas A&M University
15:52
22m
Talk
Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks
Research Papers
Shengjian (Daniel) GuoVirginia Tech, Meng WuVirginia Tech, Chao WangUSC
16:15
22m
Talk
Symbolic Execution with Existential Second-Order Constraints
Research Papers
Sergey MechtaevNational University of Singapore, Alberto GriggioFondazione Bruno Kessler, Alessandro CimattiFondazione Bruno Kessler, Abhik RoychoudhuryNational University of Singapore
DOI Pre-print
16:37
22m
Talk
Parameterized Model Counting for String and Numeric Constraints
Research Papers
Abdulbaki AydinMicrosoft, USA, William EiersUniversity of California at Santa Barbara, USA, Lucas Bang, Tegan Brennan, Miroslav GavrilovUniversity of California at Santa Barbara, USA, Tevfik BultanUniversity of California, Santa Barbara, Fang YuNational Chengchi University
15:30 - 17:00
MiningResearch Papers / Journal-First at Horizons 6-9F
Chair(s): Hridesh RajanIowa State University
15:30
22m
Talk
Finding Better Active Learners for Faster Literature Reviews
Journal-First
Zhe Yu, Nicholas A. KraftABB Corporate Research, Tim MenziesNorth Carolina State University
DOI
15:52
22m
Talk
Mining Semantic Loop Idioms
Journal-First
Miltiadis AllamanisMicrosoft Research, Cambridge, Earl T. BarrUniversity College London, Christian BirdMicrosoft Research, Prem DevanbuUniversity of California, Mark MarronMicrosoft Research, Charles SuttonUniversity of Edinburgh
DOI
16:15
22m
Talk
NAR-Miner: Discovering Negative Association Rules from Code for Bug Detection
Research Papers
Pan BianRenmin University of China, China, Bin LiangRenmin University of China, China, Wenchang ShiRenmin University of China, China, Jianjun HuangRenmin University of China, China, Yan CaiInstitute of Software, Chinese Academy of Sciences
16:37
22m
Talk
Path-Based Function Embedding and Its Application to Error-Handling Specification Mining
Research Papers
Daniel DeFreezUniversity of California, Davis, Aditya V. ThakurUniversity of California, Davis, Cindy Rubio-GonzálezUniversity of California, Davis

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): Maurício AnicheDelft University of Technology, Netherlands
10:30
22m
Talk
The modular and feature toggle architectures of Google Chrome
Journal-First
DOI
10:52
22m
Talk
Applications of Psychological Science for Actionable Analytics
Research Papers
Di ChenNorth Carolina State University, USA, Wei Fu, Rahul KrishnaNC State University, Tim MenziesNorth Carolina State University
11:15
22m
Talk
Putback-Based Bidirectional Model Transformations
Research Papers
Xiao HeUniversity of Science and Technology Beijing, China, Zhenjiang HuNational Institute of Informatics
11:37
22m
Talk
Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT
Research Papers
Regina HebigChalmers University of Technology & University of Gothenburg, Christoph SeidlTechnische Universität Braunschweig, Thorsten BergerChalmers University of Technology, Sweden / University of Gothenburg, Sweden, John Kook PedersenIT University of Copenhagen, Denmark, Andrzej WąsowskiIT University of Copenhagen, Denmark
10:30 - 12:00
Estimation and PredictionResearch Papers / Journal-First at Horizons 5
Chair(s): Jim HerbslebCarnegie Mellon University
10:30
22m
Talk
Early prediction of merged code changes to prioritize reviewing tasks
Journal-First
Yuanrui Fan, Xin XiaMonash University, David LoSingapore Management University, Shanping Li
DOI
10:52
22m
Talk
How far we have progressed in the journey? An examination of cross-project defect prediction
Journal-First
Yuming Zhou, Yibiao YangNanjing University, China, Hongmin Lu, Lin ChenNanjing University, Yanhui Li, Yangyang Zhao, Junyan Qian, Baowen Xu
Link to publication DOI
11:15
22m
Talk
A Novel Automated Approach for Software Effort Estimation Based on Data Augmentation
Research Papers
11:37
22m
Talk
Predicting Node Failure in Cloud Service Systems
Research Papers
Qingwei LinMicrosoft, China, Ken Hsieh, Yingnong DangMicrosoft, USA, Hongyu ZhangThe University of Newcastle, Kaixin SuiMicrosoft, China, Yong XuMicrosoft, China, Jian-Guang LouMicrosoft Research, Chenggang LiNortheastern University, China, Youjiang WuMicrosoft, USA, Randolph YaoMicrosoft, USA, Murali ChintalapatiMicrosoft, USA, Dongmei ZhangMicrosoft Research, China
10:30 - 12:00
Repair and SynthesisResearch Papers / Journal-First at Horizons 6-9F
Chair(s): Shahar MaozTel Aviv University
10:30
22m
Talk
Machine Learning-Based Prototyping of Graphical User Interfaces for Mobile Apps
Journal-First
Kevin MoranCollege of William & Mary, Carlos Bernal-CárdenasWilliam and Mary, Michael Curcio, Richard Bonett, Denys PoshyvanykWilliam and Mary
DOI Pre-print Media Attached
10:52
22m
Talk
Detecting Speech Act Types in Developer Question/Answer Conversations during Bug Repair
Research Papers
11:15
22m
Research paper
Visual Web Test Repair
Research Papers
Andrea StoccoUniversity of British Columbia, Rahulkrishna YandrapallyUniversity of British Columbia, Canada, Ali MesbahUniversity of British Columbia
Pre-print Media Attached
11:37
22m
Talk
Syntax-Guided Synthesis of Datalog Programs
Research Papers
Xujie SiUniversity of Pennsylvania, Woosuk LeeUniversity of Pennsylvania, USA, Richard ZhangUniversity of Pennsylvania, Aws AlbarghouthiUniversity of Wisconsin-Madison, Paraschos KoutrisUniversity of Wisconsin-Madison, USA, Mayur NaikUniversity of Pennsylvania
13:30 - 15:00
Software Maintenance IIResearch Papers / Journal-First at Horizons 10-11
Chair(s): Emerson Murphy-HillNorth Carolina State University
13:30
22m
Talk
Automating Change-level Self-admitted Technical Debt Determination
Journal-First
Meng Yan, Xin XiaMonash University, Emad ShihabConcordia University, David LoSingapore Management University, Jianwei Yin, Xiaohu Yang
DOI
13:52
22m
Talk
Large-Scale Study of Substitutability in the Presence of Effects
Research Papers
Jackson MaddoxIowa State University, USA, Yuheng LongIowa State University, Hridesh RajanIowa State University
14:15
22m
Talk
An Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Systems
Research Papers
Yu GaoInstitute of Software, Chinese Academy of Sciences, Wensheng DouInstitute of Software, Chinese Academy of Sciences, Feng QinOhio State University, USA, Chushu GaoInstitute of Software, Chinese Academy of Sciences, Dong WangInstitute of Software at Chinese Academy of Sciences, China, Jun WeiState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, Ruirui HuangAlibaba Group, China, Li ZhouAlibaba Group, China, Yongming WuAlibaba Group, China
14:37
22m
Talk
Complementing Global and Local Contexts in Representing API Descriptions to Improve API Retrieval Tasks
Research Papers
Thanh NguyenIowa State University, Ngoc Tran, Hung Phan, Trong NguyenIowa State University, USA, Linh Truong, Trong NguyenIowa State University, USA, Hoan Anh NguyenIowa State University, USA, Tien N. NguyenUniversity of Texas at Dallas
13:30 - 15:00
Probabilistic ReasoningResearch Papers at Horizons 5
Chair(s): Antonio FilieriImperial College London
13:30
22m
Talk
Phys: Probabilistic Physical Unit Assignment and Inconsistency Detection
Research Papers
Sayali KatePurdue University, USA, John-Paul OreUniversity of Nebraska-Lincoln, USA, Xiangyu ZhangPurdue University, Sebastian ElbaumUniversity of Nebraska-Lincoln, USA, Zhaogui XuNanjing University, China
Pre-print
13:52
22m
Talk
Testing Probabilistic Programming Systems
Research Papers
Saikat DuttaUniversity of Illinois at Urbana-Champaign, USA, Owolabi LegunsenUniversity of Illinois at Urbana-Champaign, Zixin HuangUniversity of Illinois at Urbana-Champaign, USA, Sasa MisailovicUniversity of Illinois at Urbana-Champaign
14:14
22m
Talk
Verifying the Long-Run Behavior of Probabilistic System Models in the Presence of Uncertainty
Research Papers
Yamilet R. Serrano LlerenaNational University of Singapore, Singapore, Marcel BöhmeMonash University, Marc Brüninknil, Singapore, Guoxin SuUniversity of Wollongong, Australia, David S. Rosenblum
13:30 - 15:00
Debugging and Bug LocalizationResearch Papers at Horizons 6-9F
Chair(s): Earlence FernandesUniversity of Michigan
13:30
22m
Talk
Automated Patch Extraction via Syntax- and Semantics-Aware Delta Debugging on Source Code Changes
Research Papers
Masatomo HashimotoChiba Institute of Technology, Japan, Akira MoriNational Institute of Advanced Industrial Science and Technology, Japan, Tomonori IzumidaIIJ Innovation Institute, Japan
Link to publication DOI Authorizer link
13:52
22m
Talk
Feedback-Directed Differential Testing of Interactive Debuggers
Research Papers
Daniel LehmannTU Darmstadt, Michael PradelTU Darmstadt
14:15
22m
Talk
Improving IR-Based Bug Localization with Context-Aware Query Reformulation
Research Papers
Masud RahmanUniversity of Saskatchewan , Chanchal K. RoyUniversity of Saskatchewan
Pre-print
14:37
22m
Talk
How Should Compilers Explain Problems to Developers?
Research Papers
Titus BarikMicrosoft, Denae FordNorth Carolina State University, Emerson Murphy-HillNorth Carolina State University, Chris ParninNCSU
Pre-print
15:30 - 17:00
Ecosystems and CrowdsourcingResearch Papers / Journal-First at Horizons 10-11
Chair(s): Peter RigbyConcordia University, Montreal, Canada
15:30
22m
Talk
Comparison of release engineering practices in a large mature company and a startup
Journal-First
Eero Laukkanen, Maria PaasivaaraIT University of Copenhagen, Denmark & Aalto University, Finland, Juha Itkonen, Casper LasseniusAalto University, Finland and Simula Metropolitan Center for Digital Engineering, Norway
DOI
15:52
22m
Talk
Microtask Programming
Journal-First
Thomas LaTozaGeorge Mason University, Arturo Di Lecce, Fabio Ricci, W. Ben Towne, Andre van der Hoek University of California, Irvine
DOI
16:14
22m
Talk
Ecosystem-Level Determinants of Sustained Activity in Open-Source Projects: A Case Study of the PyPI Ecosystem
Research Papers
Marat ValievCarnegie Mellon University, USA, Bogdan VasilescuCarnegie Mellon University, Jim HerbslebCarnegie Mellon University
15:30 - 17:00
Testing IIResearch Papers / Journal-First at Horizons 5
Chair(s): Tevfik BultanUniversity of California, Santa Barbara
15:30
22m
Talk
On the correctness of electronic documents: studying, finding, and localizing inconsistency bugs in PDF readers and files
Journal-First
Tomasz Kuchta, Thibaud Lutellier, Edmund Wong, Lin TanUniversity of Waterloo , Cristian CadarImperial College London
DOI
15:52
22m
Talk
Optimizing Test Prioritization via Test Distribution Analysis
Research Papers
Junjie ChenPeking University, Yiling LouPeking University, China, Lingming Zhang, Jianyi ZhouPeking University, China, Xiaoleng WangBaidu, China, Dan HaoPeking University, Lu ZhangPeking University
16:15
22m
Talk
How Well Are Regular Expressions Tested in the Wild?
Research Papers
Peipei WangNorth Carolina State University, USA, Kathryn StoleeNorth Carolina State University
16:37
22m
Talk
Which Generated Test Failures Are Fault Revealing? Prioritizing Failures Based on Inferred Precondition Violations using PAF
Research Papers
Mijung KimHong Kong University of Science and Technology, China, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Sunghun KimHong Kong University of Science and Technology
15:30 - 17:00
EnergyResearch Papers / Journal-First at Horizons 6-9F
Chair(s): Diego GarbervetskyUniversity of Buenos Aires, Argentina
15:30
30m
Talk
Approximate Oracles and Synergy in Software Energy Search Spaces
Journal-First
Bobby R. Bruce, Justyna PetkeUniversity College London, Mark HarmanFacebook and University College London, Earl T. Barr
DOI
16:00
30m
Talk
Detection of Energy Inefficiencies in Android Wear Watch Faces
Research Papers
Hailong ZhangOhio State University, Haowei Wu, Atanas RountevOhio State University
16:30
30m
Talk
Stochastic Energy Optimization for Mobile GPS Applications
Research Papers
Anthony CaninoSUNY Binghamton, Yu David LiuState University of New York (SUNY) Binghamton, Hidehiko MasuharaTokyo Institute of Technology

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
Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks
Research Papers
An Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Systems
Research Papers
AppFlow: Using Machine Learning to Synthesize Robust, Reusable UI Tests
Research Papers
Applications of Psychological Science for Actionable Analytics
Research Papers
Automated Patch Extraction via Syntax- and Semantics-Aware Delta Debugging on Source Code Changes
Research Papers
Link to publication DOI Authorizer link
Be Careful of When: An Empirical Study on Time-Related Misuse of Issue Tracking Data
Research Papers
Bug Synthesis: Challenging Bug-Finding Tools with Deep Faults
Research Papers
CloudRaid: Hunting Concurrency Bugs in the Cloud via Log-Mining
Research Papers
Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces
Research Papers
Complementing Global and Local Contexts in Representing API Descriptions to Improve API Retrieval Tasks
Research Papers
Concurrency Verification with Maximal Path Causality
Research Papers
Darwinian Data Structure Selection
Research Papers
DOI Pre-print
Data Race Detection on Compressed Traces
Research Papers
Deep Learning Type Inference
Research Papers
DeepSim: Deep Learning Code Functional Similarity
Research Papers
Detecting Speech Act Types in Developer Question/Answer Conversations during Bug Repair
Research Papers
Detection of Energy Inefficiencies in Android Wear Watch Faces
Research Papers
Do Android Taint Analysis Tools Keep Their Promises?
Research Papers
Do the Dependency Conflicts in My Project Matter?
Research Papers
Ecosystem-Level Determinants of Sustained Activity in Open-Source Projects: A Case Study of the PyPI Ecosystem
Research Papers
Feedback-Directed Differential Testing of Interactive Debuggers
Research Papers
FraudDroid: Automated Ad Fraud Detection for Android Apps
Research Papers
How Should Compilers Explain Problems to Developers?
Research Papers
Pre-print
How Well Are Regular Expressions Tested in the Wild?
Research Papers
Identifying Impactful Service System Problems via Log Analysis
Research Papers
Improving IR-Based Bug Localization with Context-Aware Query Reformulation
Research Papers
Pre-print
Large-Scale Study of Substitutability in the Presence of Effects
Research Papers
Learning to Sample: Exploiting Similarities Across Environments to Learn Performance Models for Configurable Systems
Research Papers
MODE: Automated Neural Network Model Debugging via State Differential Analysis and Input Selection
Research Papers
MemFix: Static Analysis-Based Repair of Memory Deallocation Errors for C
Research Papers
Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT
Research Papers
Modify, Enhance, Select: Co-Evolution of Combinatorial Models and Test Plans
Research Papers
NAR-Miner: Discovering Negative Association Rules from Code for Bug Detection
Research Papers
Neural-Augmented Static Analysis of Android Communication
Research Papers
One Size Does Not Fit All: An Empirical Study of Containerized Continuous Deployment Workflows
Research Papers
Pre-print
Optimizing Test Prioritization via Test Distribution Analysis
Research Papers
Oreo: Detection of Clones in the Twilight Zone
Research Papers
Parameterized Model Counting for String and Numeric Constraints
Research Papers
Path-Based Function Embedding and Its Application to Error-Handling Specification Mining
Research Papers
Performance Comprehension at WiredTiger
Research Papers
Phys: Probabilistic Physical Unit Assignment and Inconsistency Detection
Research Papers
Pre-print
Practical AJAX Race Detection for JavaScript Web Applications
Research Papers
Predicting Node Failure in Cloud Service Systems
Research Papers
Putback-Based Bidirectional Model Transformations
Research Papers
RefiNym: Using Names to Refine Types
Research Papers
Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity
Research Papers
Singularity: Pattern Fuzzing for Worst Case Complexity
Research Papers
DOI Pre-print
Stochastic Energy Optimization for Mobile GPS Applications
Research Papers
Symbolic Execution with Existential Second-Order Constraints
Research Papers
DOI Pre-print
Syntax-Guided Synthesis of Datalog Programs
Research Papers
Testing Multithreaded Programs via Thread Speed Control
Research Papers
Testing Probabilistic Programming Systems
Research Papers
The Impact of Regular Expression Denial of Service (ReDoS) in Practice: An Empirical Study at the Ecosystem Scale
Research Papers
Towards a Theory of Software Development Expertise
Research Papers
Pre-print
Using Finite-State Models for Log Differencing
Research Papers
Verifying the Long-Run Behavior of Probabilistic System Models in the Presence of Uncertainty
Research Papers
Visual Web Test Repair
Research Papers
Pre-print Media Attached
What Makes a Code Change Easier to Review? An Empirical Investigation on Code Change Reviewability
Research Papers
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
Winning the App Production Rally
Research Papers