VenueWyndham Lake Buena Vista Disney Springs Resort
Room nameHorizons 6-9F
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 6 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00
Log MiningJournal-First / Research Papers at Horizons 6-9F
Chair(s): Dongyoon Lee Virginia Tech, USA
10:30
22m
Talk
Studying and Detecting Log-Related Issues
Journal-First
Mehran Hassani , Weiyi Shang Concordia University, Canada, Emad Shihab Concordia University, Nikolaos Tsantalis Concordia 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 Xing Australia National University, Xin Xia Monash University, David Lo Singapore Management University
DOI
11:15
22m
Talk
Using Finite-State Models for Log Differencing
Research Papers
Hen Amar Tel Aviv University, Israel, Lingfeng Bao Zhejiang University City College, Nimrod Busany Tel Aviv University, Israel, David Lo Singapore Management University, Shahar Maoz Tel Aviv University
11:37
22m
Talk
Identifying Impactful Service System Problems via Log Analysis
Research Papers
Shilin He Chinese University of Hong Kong, Qingwei Lin Microsoft, China, Jian-Guang Lou Microsoft Research, Hongyu Zhang The University of Newcastle, Michael Lyu , Dongmei Zhang Microsoft Research, China
13:30 - 15:00
Deep LearningResearch Papers at Horizons 6-9F
Chair(s): David Rosenblum National University of Singapore
13:30
22m
Talk
Deep Learning Type Inference
Research Papers
Vincent J. Hellendoorn University of California at Davis, USA, Christian Bird Microsoft Research, Earl T. Barr , Miltiadis Allamanis Microsoft Research, Cambridge
13:52
22m
Talk
DeepSim: Deep Learning Code Functional Similarity
Research Papers
Gang Zhao , Jeff Huang Texas A&M University
14:15
22m
Talk
Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces
Research Papers
Jordan Henkel University of Wisconsin–Madison, Shuvendu K. Lahiri Microsoft Research, Ben Liblit University of Wisconsin–Madison, Thomas Reps University 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 Ma Purdue University, USA, Yingqi Liu Purdue University, USA, Wen-Chuan Lee Purdue University, Xiangyu Zhang Purdue University, Ananth Grama Purdue University, USA
15:30 - 17:00
15:30
22m
Talk
Text Filtering and Ranking for Security Bug Report Prediction
Journal-First
Fayola Peters Lero - The Irish Software Research Centre and University of Limerick, Thein Than Tun , Yijun Yu The Open University, UK, Bashar Nuseibeh The Open University (UK) & Lero (Ireland)
DOI
15:52
22m
Talk
STADS: Software Testing as Species Discovery
Journal-First
Marcel Böhme Monash 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. Davis Virginia Tech, USA, Christy A. Coghlan Virginia Tech, USA, Francisco Servant Virginia Tech, Dongyoon Lee Virginia Tech, USA
16:37
22m
Talk
FraudDroid: Automated Ad Fraud Detection for Android Apps
Research Papers
Feng Dong Beijing University of Posts and Telecommunications, China, Haoyu Wang , Li Li Monash University, Australia, Yao Guo Peking University, Tegawendé F. Bissyandé University of Luxembourg, Luxembourg, Tianming Liu Beijing University of Posts and Telecommunications, China, Guoai Xu , Jacques Klein University of Luxembourg, SnT

Wed 7 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00
Keynote IIKeynotes at Horizons 6-9F
Chair(s): Satish Chandra Facebook
08:30
90m
Talk
In the age of Software 2.0, what role for software engineers?
Keynotes
Tim Menzies North Carolina State University
10:30 - 12:00
NIER INew Ideas and Emerging Results at Horizons 6-9F
Chair(s): Gail Kaiser Columbia University, New York
10:30
12m
Talk
Gamifying Static Analysis
New Ideas and Emerging Results
Lisa Nguyen Quang Do Paderborn University, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
10:42
12m
Talk
The Case for Experiment-Oriented Computing
New Ideas and Emerging Results
Paulo Salem Dell EMC
10:55
12m
Talk
On the Naturalness of Proofs
New Ideas and Emerging Results
Vincent J. Hellendoorn University of California at Davis, USA, Amin Alipour University of Houston, Prem Devanbu University of California
11:08
12m
Talk
Does ACM's Code of Ethics Change Ethical Decision Making in Software Development?
New Ideas and Emerging Results
Andrew McNamara North Carolina State University, Justin Smith North Carolina State University, Emerson Murphy-Hill North Carolina State University
Pre-print
11:21
12m
Talk
How Are Spreadsheet Templates Used in Practice: A Case Study on Enron
New Ideas and Emerging Results
Liang Xu Institute of Software Chinese Academy of Sciences, Wensheng Dou Institute of Software, Chinese Academy of Sciences, Jiaxin Zhu Institute of Software at Chinese Academy of Sciences, China, Chushu Gao Institute of Software, Chinese Academy of Sciences, Jun Wei State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, Tao Huang Institute of Software Chinese Academy of Sciences
11:34
12m
Talk
DLFuzz: Differential Fuzzing Testing of Deep Learning Systems
New Ideas and Emerging Results
11:47
12m
Talk
Towards Data-Driven Vulnerability Prediction for Requirements
New Ideas and Emerging Results
Sayem Mohammad Imtiaz Mississippi State University, Tanmay Bhowmik Mississippi State University
13:30 - 15:00
NIER IINew Ideas and Emerging Results at Horizons 6-9F
Chair(s): Gail Kaiser Columbia University, New York
13:30
12m
Talk
Beyond Testing Configurable Systems: Applying Variational Execution to Automatic Program Repair and Higher Order Mutation Testing
New Ideas and Emerging Results
Chu-Pan Wong Carnegie Mellon University, Jens Meinicke Magdeburg University, Christian Kästner Carnegie Mellon University
13:42
12m
Talk
Software Fairness
New Ideas and Emerging Results
Yuriy Brun University of Massachusetts Amherst, Alexandra Meliou University of Massachusetts Amherst
Link to publication DOI Pre-print
13:55
12m
Talk
Software Engineering Collaboratories (SEClabs) and Collaboratories as a Service (CaaS)
New Ideas and Emerging Results
Elena Sherman Boise State University, Robert Dyer Bowling Green State University
14:08
12m
Talk
Towards Counterexample-guided k-Induction for Fast Bug Detection
New Ideas and Emerging Results
Mikhail R. Gadelha University of Southampton, Felipe R. Monteiro Federal University of Amazonas, Lucas C. Cordeiro University of Manchester, UK, Denis A. Nicole University of Southampton
14:21
12m
Talk
Salient-Class Location: Help Developers Understand Code Change in Code Review
New Ideas and Emerging Results
Yuan Huang School of Data and Computer Science, Sun Yat-sen University, Guangzhou, China, Nan Jia School of Management Science and Engineering, Hebei GEO University, Shijiazhuang, China, Xiangping Chen , Kai Hong School of Data and Computer Science, Sun Yat-sen University, Guangzhou, China, Zibin Zheng
14:34
12m
Talk
Towards Quantifying the Development Value of Code
New Ideas and Emerging Results
Jinglei Ren Persper Foundation, Hezheng Yin University of California, Berkeley, Qingda Hu Tsinghua University, Armando Fox UC Berkeley, Wojciech Koszek The FreeBSD Project
14:47
12m
Talk
Engineering Human Values in Software: A Research Roadmap
New Ideas and Emerging Results
Davoud Mougouei Monash University, Harsha Perera Monash University, Waqar Hussain Monash University, Rifat Ara Shams Monash University, Jon Whittle Monash University
15:30 - 17:00
MiningJournal-First / Research Papers at Horizons 6-9F
Chair(s): Hridesh Rajan Iowa State University
15:30
22m
Talk
Finding Better Active Learners for Faster Literature Reviews
Journal-First
Zhe Yu , Nicholas A. Kraft ABB Corporate Research, Tim Menzies North Carolina State University
DOI
15:52
22m
Talk
Mining Semantic Loop Idioms
Journal-First
Miltiadis Allamanis Microsoft Research, Cambridge, Earl T. Barr University College London, Christian Bird Microsoft Research, Prem Devanbu University of California, Mark Marron Microsoft Research, Charles Sutton University of Edinburgh
DOI
16:15
22m
Talk
NAR-Miner: Discovering Negative Association Rules from Code for Bug Detection
Research Papers
Pan Bian Renmin University of China, China, Bin Liang Renmin University of China, China, Wenchang Shi Renmin University of China, China, Jianjun Huang Renmin University of China, China, Yan Cai Institute 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 DeFreez University of California, Davis, Aditya V. Thakur University of California, Davis, Cindy Rubio-González University of California, Davis
18:45 - 19:45
ReceptionSocial at Horizons 6-9F
18:45
60m
Social Event
Reception
Social

19:45 - 22:00
19:45
2h15m
Social Event
Banquet
Social

Thu 8 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00
Keynote IIIKeynotes at Horizons 6-9F
Chair(s): Alessandro Garcia PUC-Rio
08:30
90m
Talk
Ten Years of Hunting for Similar Code for Fun and Profit
Keynotes
Lingxiao Jiang Singapore Management University, Stéphane Glondu Inria Nancy, Zhendong Su ETH Zurich
10:30 - 12:00
Repair and SynthesisJournal-First / Research Papers at Horizons 6-9F
Chair(s): Shahar Maoz Tel Aviv University
10:30
22m
Talk
Machine Learning-Based Prototyping of Graphical User Interfaces for Mobile Apps
Journal-First
Kevin Moran College of William & Mary, Carlos Bernal-Cárdenas William and Mary, Michael Curcio , Richard Bonett , Denys Poshyvanyk William 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 Stocco University of British Columbia, Rahulkrishna Yandrapally University of British Columbia, Canada, Ali Mesbah University of British Columbia
Pre-print Media Attached
11:37
22m
Talk
Syntax-Guided Synthesis of Datalog Programs
Research Papers
Xujie Si University of Pennsylvania, Woosuk Lee University of Pennsylvania, USA, Richard Zhang University of Pennsylvania, Aws Albarghouthi University of Wisconsin-Madison, Paraschos Koutris University of Wisconsin-Madison, USA, Mayur Naik University of Pennsylvania
13:30 - 15:00
Debugging and Bug LocalizationResearch Papers at Horizons 6-9F
Chair(s): Earlence Fernandes University of Michigan
13:30
22m
Talk
Automated Patch Extraction via Syntax- and Semantics-Aware Delta Debugging on Source Code Changes
Research Papers
Masatomo Hashimoto Chiba Institute of Technology, Japan, Akira Mori National Institute of Advanced Industrial Science and Technology, Japan, Tomonori Izumida IIJ Innovation Institute, Japan
Link to publication DOI Authorizer link
13:52
22m
Talk
Feedback-Directed Differential Testing of Interactive Debuggers
Research Papers
Daniel Lehmann TU Darmstadt, Michael Pradel TU Darmstadt
14:15
22m
Talk
Improving IR-Based Bug Localization with Context-Aware Query Reformulation
Research Papers
Masud Rahman University of Saskatchewan , Chanchal K. Roy University of Saskatchewan
Pre-print
14:37
22m
Talk
How Should Compilers Explain Problems to Developers?
Research Papers
Titus Barik Microsoft, Denae Ford North Carolina State University, Emerson Murphy-Hill North Carolina State University, Chris Parnin NCSU
Pre-print
15:30 - 17:00
EnergyResearch Papers / Journal-First at Horizons 6-9F
Chair(s): Diego Garbervetsky University of Buenos Aires, Argentina
15:30
30m
Talk
Approximate Oracles and Synergy in Software Energy Search Spaces
Journal-First
Bobby R. Bruce , Justyna Petke University College London, Mark Harman Facebook and University College London, Earl T. Barr
DOI
16:00
30m
Talk
Detection of Energy Inefficiencies in Android Wear Watch Faces
Research Papers
Hailong Zhang Ohio State University, Haowei Wu , Atanas Rountev Ohio State University
16:30
30m
Talk
Stochastic Energy Optimization for Mobile GPS Applications
Research Papers
Anthony Canino SUNY Binghamton, Yu David Liu State University of New York (SUNY) Binghamton, Hidehiko Masuhara Tokyo Institute of Technology
17:15 - 17:45
Closing Plenary (closing ceremony)Social at Horizons 6-9F
17:15
30m
Social Event
Closing Plenary (closing ceremony)
Social
Gary T. Leavens University of Central Florida

Tue 6 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Wed 7 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Wed 7 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:00153045
Horizons 6-9F