ESEC/FSE 2018 - Journal-First

ESEC/FSE 2018 will continue partnership with prestigious Software Engineering journals to incorporate journal-first papers into its research program. Authors of journal-first papers accepted in the partnering journals are invited to submit their work to be presented at ESEC/FSE 2018. This will allow authors of journal-first papers to present their work to the community.

The journals that support the journal-first model as partners with ESEC/FSE 2018 are:

IEEE Transaction of Software Engineering (IEEE TSE)
ACM Transactions on Software Engineering and Methodology (TOSEM)
Empirical Software Engineering

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 here reflect the offsets at this moment. These offsets update automatically in case there is a change in daylight saving time.

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

Not scheduled yet

Not scheduled yet
Talk

Inferring Extended Probabilistic Finite State Automaton Models from Software Executions

Journal-First

Seyedeh Sepideh Emam, James Kevin Miller

DOI

Call for Papers

A journal-first paper submitted to ESEC/FSE 2018 must adhere to the following criteria:

The paper must have been already accepted by one of the journals from the above list and the original version of the paper must have been submitted to such journal no earlier than December 1st 2016.
The paper is in the scope of the conference.
The paper reports completely new research results or presents novel contributions that significantly extend and were not previously reported in prior work.
The paper does not extend prior work solely with additional proofs or algorithms (or other such details presented for completeness), additional empirical results, or minor enhancements or variants of the results presented in the prior work.
The paper has not been presented at, and is not under consideration for, journal-first programs of other conferences.

How to submit

Authors of manuscripts that respect the above criteria are invited to submit a presentation proposal consisting of paper title, authors, abstract, and a pointer to the original journal paper. Moreover, they should include a justification on how the paper meets the eligibility criteria regarding the originality of the paper with respect to previous work of the authors presented at other conferences. If this is not applicable, authors must make an explicit statement about this. The submission (proposal and eligibility justification) must not exceed one page.

Proposals must be submitted electronically through the submission site available at:

https://easychair.org/conferences/?conf=esecfse2018jfp

Evaluation

Authors will be invited to present their paper at ESEC/FSE 2018 after a check that the paper is in scope to the conference. As the papers have been already reviewed and accepted by the journals, they will not be reviewed again for technical content.

Our plan is to include in the journal first program as many papers as possible; only in case an exceptionally high number of proposals is received, not all submissions might be selected. If needed, presentation proposals will be prioritized according to fit to the conference theme and structure of sessions.

Important Dates

Submission: May 30, 2018
Notification: June 30, 2018
Submissions close at 23:59 AoE (Anywhere on Earth, UTC-12)

Presentation

At least one author of each presentation accepted for the journal-first program must register and attend the conference to present the paper.

The journal-first manuscripts are published through the journals and will not be part of the ESEC/FSE 2018 proceedings. The journal-first papers will be listed in the conference program and ESEC/FSE 2018 participants will have access to the paper abstracts and a pointer to the journal publication outside the conference proceedings.

Accepted Papers

	Title
	A Systematic Evaluation of Static API-Misuse Detectors Journal-First Sven Amann, Hoan Nguyen, Sarah Nadi, Tien N. Nguyen, Mira Mezini DOI
	Approximate Oracles and Synergy in Software Energy Search Spaces Journal-First Bobby R. Bruce, Justyna Petke, Mark Harman, Earl T. Barr DOI
	Automating Change-level Self-admitted Technical Debt Determination Journal-First Meng Yan, Xin Xia, Emad Shihab, David Lo, Jianwei Yin, Xiaohu Yang DOI
	CHiP: A Configurable Hybrid Parallel Covering Array Constructor Journal-First Hanefi Mercan, Cemal Yilmaz, Kamer Kaya DOI
	Comparison of release engineering practices in a large mature company and a startup Journal-First Eero Laukkanen, Maria Paasivaara, Juha Itkonen, Casper Lassenius DOI
	Early prediction of merged code changes to prioritize reviewing tasks Journal-First Yuanrui Fan, Xin Xia, David Lo, Shanping Li DOI
	Finding Better Active Learners for Faster Literature Reviews Journal-First Zhe Yu, Nicholas A. Kraft, Tim Menzies DOI
	Getting the Most from Map Data Structures in Android Journal-First Rubén Saborido Infantes, Rodrigo Morales, Foutse Khomh, Yann-Gaël Guéhéneuc, Giuliano Antoniol DOI
	How Do Developers Utilize Source Code from Stack Overflow? Journal-First Yuhao Wu, Shaowei Wang, Cor-Paul Bezemer, Katsuro Inoue DOI
	How far we have progressed in the journey? An examination of cross-project defect prediction Journal-First Yuming Zhou, Yibiao Yang, Hongmin Lu, Lin Chen, Yanhui Li, Yangyang Zhao, Junyan Qian, Baowen Xu Link to publication DOI
	Identifying failure-causing schemas in the presence of multiple faults Journal-First Xintao Niu, Changhai Nie, Yu Lei, Hareton Leung, Xiaoyin Wang DOI
	Inferring Extended Probabilistic Finite State Automaton Models from Software Executions Journal-First Seyedeh Sepideh Emam, James Kevin Miller DOI
	Machine Learning-Based Prototyping of Graphical User Interfaces for Mobile Apps Journal-First Kevin Moran, Carlos Bernal-Cárdenas, Michael Curcio, Richard Bonett, Denys Poshyvanyk DOI Pre-print Media Attached
	Microtask Programming Journal-First Thomas LaToza, Arturo Di Lecce, Fabio Ricci, W. Ben Towne, Andre van der Hoek DOI
	Mining Semantic Loop Idioms Journal-First Miltiadis Allamanis, Earl T. Barr, Christian Bird, Prem Devanbu, Mark Marron, Charles Sutton DOI
	On Accelerating Source Code Analysis At Massive Scale Journal-First Ganesha Upadhyaya, Hridesh Rajan DOI
	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 Tan, Cristian Cadar DOI
	Programmers do not Favor Lambda Expressions for Concurrent Object-Oriented Code Journal-First Sebastian Nielebock, Robert Heumüller, Frank Ortmeier DOI
	STADS: Software Testing as Species Discovery Journal-First Marcel Böhme DOI
	Studying and Detecting Log-Related Issues Journal-First Mehran Hassani, Weiyi Shang, Emad Shihab, Nikolaos Tsantalis DOI
	Successes, Challenges, and Rethinking – An Industrial Investigation on Crowdsourced Mobile Application Testing Journal-First Ruizhi Gao, Yabin Wang, Yang Feng, Zhenyu Chen, W. Eric Wong DOI
	Text Filtering and Ranking for Security Bug Report Prediction Journal-First Fayola Peters, Thein Than Tun, Yijun Yu, Bashar Nuseibeh DOI
	The modular and feature toggle architectures of Google Chrome Journal-First Md Tajmilur Rahman, Peter C. Rigby, Emad Shihab DOI
	Use and Misuse of Continuous Integration Features: An Empirical Study of Projects that (mis)use Travis CI Journal-First Keheliya Gallaba, Shane McIntosh DOI
	VT-Revolution: Interactive Programming Video Tutorial Authoring and Watching System Journal-First Lingfeng Bao , Zhenchang Xing, Xin Xia, David Lo DOI

Journal-FirstESEC/FSE 2018

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

Not scheduled yet

Call for Papers

How to submit

Evaluation

Important Dates

Presentation

Accepted Papers

Andrea ZismanCo-chair

The Open University

Ingrid NunesCo-chair

Universidade Federal do Rio Grande do Sul (UFRGS), Brazil

Brazil

Alessandro GarciaCo-chair

PUC-Rio

Brazil

Corina S PasareanuCo-chair

NASA Ames Research Center

Gerardo Canfora

University of Sannio

Italy

Robert Feldt

Chalmers University of Technology

Gary Leavens

University of Central Florida

United States

Nenad Medvidović

University of Southern California

David Rosenblum

National University of Singapore

Singapore

Laurie Williams

North Carolina State University

United States

Thomas Zimmermann

Microsoft Research

United States

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