ESEC/FSE 2018
Sun 4 - Fri 9 November 2018
Lake Buena Vista, Florida, United States
Toggle navigation
Attending
Hotel: Wyndham Lake Buena Vista Disney Springs Resort
Registration
Request Visa Invitation Letter
Transportation and Directions
Child Care Options
Food and Breakfast
Code of Conduct
Schedule Overview
Program Details
Sightseeing Near the Conference
ESEC/FSE 2018 Submission Policies
CAPS Travel Support
Supporting ESEC/FSE
Awards
Program
ESEC/FSE Program
Your Program
Sun 4 Nov
Mon 5 Nov
Tue 6 Nov
Wed 7 Nov
Thu 8 Nov
Fri 9 Nov
Tracks
ESEC/FSE 2018
Research Papers
Social
Journal-First
New Ideas and Emerging Results
Demonstrations
Industry
Workshops
A-TEST
EnSEmble
WASPI
SWAN
NL4SE
Artifacts
Doctorial Symposium
Student Research Competition
ESEC/FSE 2018 Student Volunteers
Keynotes
Faculty Mentorship Roundtables
Workshops
JPF
Co-hosted Festivals
ROSE Festival
Organization
ESEC/FSE 2018 Committees
Organizing Committee
Test of Time Paper Award Committee
Track Committees
Research Papers
Journal-First
Organizing Committee
Program Committee
New Ideas and Emerging Results
Organizing Committee
Program Committee
Demonstrations
Organizing Committee
Program Committee
Industry
Organizing Committee
Program Committee
Workshops
WASPI
Artifacts
Doctorial Symposium
Student Research Competition
Organizing Committee
Program Committee
Faculty Mentorship Roundtables
Mentors
Organizing committee
Contributors
People Index
Workshops
JPF
Organizing Committee
Program Committee
Co-hosted Festivals
ROSE Festival
Organizing Committee
Search
Series
Series
FSE 2025
FSE 2024
ESEC/FSE 2023
ESEC/FSE 2022
ESEC/FSE 2021
ESEC/FSE 2020
ESEC/FSE 2018
Sign in
Sign up
ESEC/FSE 2018
(
series
) /
Wyndham Lake Buena Vista Disney Springs Resort
/
Room information: Horizons 5
Venue
Wyndham Lake Buena Vista Disney Springs Resort
Room name
Horizons 5
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
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, Monterrey
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-03:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-02:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
10:30 - 12:00
Formal Analysis
Industry
at
Horizons 5
10:30
22m
Talk
Modeling and Testing a Family of Surgical Robots: An Experience Report
Industry
Niloofar Mansoor
,
Jonathan A. Saddler
,
Bruno Silva
University of Nebraska-Lincoln
,
Hamid Bagheri
University of Nebraska-Lincoln, USA
,
Myra Cohen
Iowa State University
,
Shane Farritor
10:52
22m
Talk
Efficient Static Checking of Library Updates
Industry
Darius Foo
,
Hendy Chua
,
Jason Yeo
,
Ang Ming Yi
,
Asankhaya Sharma
11:14
22m
Talk
Neha Rungta: Formal Verification at Amazon Scale, Amazon Web Services
Industry
Neha Rungta
Amazon Web Services
13:30 - 15:00
Software Analysis I
Journal-First
/
Research Papers
at
Horizons 5
Chair(s):
Sebastian Elbaum
University of Nebraska-Lincoln, USA
13:30
22m
Talk
On Accelerating Source Code Analysis At Massive Scale
Journal-First
Ganesha Upadhyaya
Futurewei Technologies
,
Hridesh Rajan
Iowa State University
DOI
13:52
22m
Talk
RefiNym: Using Names to Refine Types
Research Papers
Santanu Dash
University College London, UK
,
Miltiadis Allamanis
Microsoft Research, Cambridge
,
Earl T. Barr
14:15
22m
Talk
Darwinian Data Structure Selection
Research Papers
Michail Basios
University College London
,
Lingbo Li
University College London, UK
,
Fan Wu
University College London, UK
,
Leslie Kanthan
University 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 Li
Aarhus University, Denmark
,
Tian Tan
Aarhus University, Denmark
,
Anders Møller
Aarhus University
,
Yannis Smaragdakis
University of Athens
15:30 - 17:00
Testing I
Journal-First
/
Research Papers
at
Horizons 5
Chair(s):
David Lo
Singapore 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 Wang
University of Texas at San Antonio, USA
DOI
15:52
22m
Talk
Singularity: Pattern Fuzzing for Worst Case Complexity
Research Papers
Jiayi Wei
University of Texas at Austin
,
Jia Chen
University of Texas at Austin
,
Yu Feng
University of California, Santa Barbara, USA
,
Kostas Ferles
UT Austin
,
Işıl Dillig
UT Austin
DOI
Pre-print
16:15
22m
Talk
Bug Synthesis: Challenging Bug-Finding Tools with Deep Faults
Research Papers
Subhajit Roy
IIT Kanpur, India
,
Awanish Pandey
IIT Kanpur, India
,
Brendan Dolan-Gavitt
New York University
,
Yu Hu
New York University, USA
16:37
22m
Talk
Modify, Enhance, Select: Co-Evolution of Combinatorial Models and Test Plans
Research Papers
Rachel Tzoref-Brill
IBM Research
,
Shahar Maoz
Tel Aviv University
Wed 7 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
10:30 - 12:00
End User Programming and Financial Applications
Industry
at
Horizons 5
Chair(s):
Shing-Chi Cheung
Department of Computer Science and Engineering, The Hong Kong University of Science and Technology
10:30
22m
Talk
Design and Validation of Precooked Developer Dashboards
Industry
Vladimir Ivanov
,
Vladislav Pischulin
,
Alan Rogers
,
Giancarlo Succi
,
Jooyong Yi
Innopolis University
,
Vasiliy Zorin
Innopolis University
10:52
22m
Talk
Testing and Validating End User Programmed Calculated Fields
Industry
Víctor Braberman
,
Diego Garbervetsky
University of Buenos Aires, Argentina
,
Javier Godoy
,
Sebastian Uchitel
Universidad de Buenos Aires / Imperial College
,
Guido de Caso
,
Ignacio Perez
,
Santiago Perez De Rosso
MIT CSAIL
11:15
22m
Talk
Automated Refactoring of Nested-IF Formulae in Spreadsheets
Industry
Jie Zhang
,
Shi Han
,
Dan Hao
Peking University
,
Lu Zhang
,
Dongmei Zhang
Microsoft Research, China
11:37
22m
Talk
FACTS: Automated Black-box Testing of FinTech Systems
Industry
Qingshun Wang
,
Lintao Gu
,
Minhui Xue
,
Lihua Xu
,
Wenyu Niu
,
Liang Dou
East China Normal University
,
Liang He
,
Tao Xie
13:30 - 15:00
Software Analysis II
Research Papers
/
Journal-First
at
Horizons 5
Chair(s):
Myra Cohen
Iowa State University
13:30
22m
Talk
A Systematic Evaluation of Static API-Misuse Detectors
Journal-First
Sven Amann
Technische Universität Darmstadt
,
Hoan Nguyen
Iowa State University
,
Sarah Nadi
University of Alberta
,
Tien N. Nguyen
University of Texas at Dallas
,
Mira Mezini
TU Darmstadt
DOI
13:52
22m
Talk
Do Android Taint Analysis Tools Keep Their Promises?
Research Papers
Felix Pauck
Paderborn University, Germany
,
Eric Bodden
Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
,
Heike Wehrheim
Paderborn University
14:15
22m
Talk
Neural-Augmented Static Analysis of Android Communication
Research Papers
Jinman Zhao
University of Wisconsin-Madison, USA
,
Aws Albarghouthi
University of Wisconsin-Madison
,
Vaibhav Rastogi
University of Wisconsin-Madison, USA
,
Somesh Jha
University of Wisconsin, Madison
,
Damien Octeau
University of Wisconsin and Pennsylvania State University
14:37
22m
Talk
Oreo: Detection of Clones in the Twilight Zone
Research Papers
Vaibhav Saini
University of California at Irvine, USA
,
Farima Farmahinifarahani
University of California at Irvine, USA
,
Yadong Lu
University of California at Irvine, USA
,
Pierre Baldi
University of California at Irvine, USA
,
Crista Lopes
15:30 - 17:00
ROSE Festival
ROSE Festival
at
Horizons 5
15:30
90m
Other
ROSE Festival
ROSE Festival
Thu 8 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
10:30 - 12:00
Estimation and Prediction
Research Papers
/
Journal-First
at
Horizons 5
Chair(s):
Jim Herbsleb
Carnegie Mellon University
10:30
22m
Talk
Early prediction of merged code changes to prioritize reviewing tasks
Journal-First
Yuanrui Fan
,
Xin Xia
Monash University
,
David Lo
Singapore 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 Yang
Nanjing University, China
,
Hongmin Lu
,
Lin Chen
Nanjing 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
Liyan Song
,
Leandro Minku
,
Xin Yao
11:37
22m
Talk
Predicting Node Failure in Cloud Service Systems
Research Papers
Qingwei Lin
Microsoft, China
,
Ken Hsieh
,
Yingnong Dang
Microsoft, USA
,
Hongyu Zhang
The University of Newcastle
,
Kaixin Sui
Microsoft, China
,
Yong Xu
Microsoft, China
,
Jian-Guang Lou
Microsoft Research
,
Chenggang Li
Northeastern University, China
,
Youjiang Wu
Microsoft, USA
,
Randolph Yao
Microsoft, USA
,
Murali Chintalapati
Microsoft, USA
,
Dongmei Zhang
Microsoft Research, China
13:30 - 15:00
Probabilistic Reasoning
Research Papers
at
Horizons 5
Chair(s):
Antonio Filieri
Imperial College London
13:30
22m
Talk
Phys: Probabilistic Physical Unit Assignment and Inconsistency Detection
Research Papers
Sayali Kate
Purdue University, USA
,
John-Paul Ore
University of Nebraska-Lincoln, USA
,
Xiangyu Zhang
Purdue University
,
Sebastian Elbaum
University of Nebraska-Lincoln, USA
,
Zhaogui Xu
Nanjing University, China
Pre-print
13:52
22m
Talk
Testing Probabilistic Programming Systems
Research Papers
Saikat Dutta
University of Illinois at Urbana-Champaign, USA
,
Owolabi Legunsen
University of Illinois at Urbana-Champaign
,
Zixin Huang
University of Illinois at Urbana-Champaign, USA
,
Sasa Misailovic
University 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 Llerena
National University of Singapore, Singapore
,
Marcel Böhme
Monash University
,
Marc Brünink
nil, Singapore
,
Guoxin Su
University of Wollongong, Australia
,
David Rosenblum
National University of Singapore
15:30 - 17:00
Testing II
Research Papers
/
Journal-First
at
Horizons 5
Chair(s):
Tevfik Bultan
University 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 Tan
University of Waterloo
,
Cristian Cadar
Imperial College London
DOI
15:52
22m
Talk
Optimizing Test Prioritization via Test Distribution Analysis
Research Papers
Junjie Chen
Peking University
,
Yiling Lou
Peking University, China
,
Lingming Zhang
,
Jianyi Zhou
Peking University, China
,
Xiaoleng Wang
Baidu, China
,
Dan Hao
Peking University
,
Lu Zhang
Peking University
16:15
22m
Talk
How Well Are Regular Expressions Tested in the Wild?
Research Papers
Peipei Wang
North Carolina State University, USA
,
Kathryn Stolee
North 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 Kim
Hong Kong University of Science and Technology, China
,
Shing-Chi Cheung
Department of Computer Science and Engineering, The Hong Kong University of Science and Technology
,
Sunghun Kim
Hong Kong University of Science and Technology
Tue 6 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Horizons 5
Industry
Formal Analysis
Journal-First + Research Papers
Software Analysis I
Journal-First + Research Papers
Testing I
Wed 7 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Horizons 5
Industry
End User Programming and Financial Applications
Research Papers + Journal-First
Software Analysis II
ROSE Festival
ROSE Festival
Thu 8 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Horizons 5
Research Papers + Journal-First
Estimation and Prediction
Research Papers
Probabilistic Reasoning
Research Papers + Journal-First
Testing II
Tue 6 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Horizons 5
ESEC/FSE Industry
Modeling and Testing a Family of Surgical Robots: An Experience Report
10:30 - 10:52
ESEC/FSE Industry
Efficient Static Checking of Library Updates
10:52 - 11:14
ESEC/FSE Industry
Neha Rungta: Formal Verification at Amazon Scale, Amazon Web Services
11:14 - 11:36
ESEC/FSE Journal-First
On Accelerating Source Code Analysis At Massive Scale
13:30 - 13:52
ESEC/FSE Research Papers
RefiNym: Using Names to Refine Types
13:52 - 14:15
ESEC/FSE Research Papers
Darwinian Data Structure Selection
14:15 - 14:37
ESEC/FSE Research Papers
Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity
14:37 - 15:00
ESEC/FSE Journal-First
Identifying failure-causing schemas in the presence of multiple faults
15:30 - 15:52
ESEC/FSE Research Papers
Singularity: Pattern Fuzzing for Worst Case Complexity
15:52 - 16:15
ESEC/FSE Research Papers
Bug Synthesis: Challenging Bug-Finding Tools with Deep Faults
16:15 - 16:37
ESEC/FSE Research Papers
Modify, Enhance, Select: Co-Evolution of Combinatorial Models and Test ...
16:37 - 17:00
Wed 7 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Horizons 5
ESEC/FSE Industry
Design and Validation of Precooked Developer Dashboards
10:30 - 10:52
ESEC/FSE Industry
Testing and Validating End User Programmed Calculated Fields
10:52 - 11:15
ESEC/FSE Industry
Automated Refactoring of Nested-IF Formulae in Spreadsheets
11:15 - 11:37
ESEC/FSE Industry
FACTS: Automated Black-box Testing of FinTech Systems
11:37 - 12:00
ESEC/FSE Journal-First
A Systematic Evaluation of Static API-Misuse Detectors
13:30 - 13:52
ESEC/FSE Research Papers
Do Android Taint Analysis Tools Keep Their Promises?
13:52 - 14:15
ESEC/FSE Research Papers
Neural-Augmented Static Analysis of Android Communication
14:15 - 14:37
ESEC/FSE Research Papers
Oreo: Detection of Clones in the Twilight Zone
14:37 - 15:00
ROSE Festival
ROSE Festival
15:30 - 17:00
Thu 8 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Horizons 5
ESEC/FSE Journal-First
Early prediction of merged code changes to prioritize reviewing tasks
10:30 - 10:52
ESEC/FSE Journal-First
How far we have progressed in the journey? An examination of cross-proj ...
10:52 - 11:15
ESEC/FSE Research Papers
A Novel Automated Approach for Software Effort Estimation Based on Data ...
11:15 - 11:37
ESEC/FSE Research Papers
Predicting Node Failure in Cloud Service Systems
11:37 - 12:00
ESEC/FSE Research Papers
Phys: Probabilistic Physical Unit Assignment and Inconsistency Detection
13:30 - 13:52
ESEC/FSE Research Papers
Testing Probabilistic Programming Systems
13:52 - 14:14
ESEC/FSE Research Papers
Verifying the Long-Run Behavior of Probabilistic System Models in the P ...
14:14 - 14:36
ESEC/FSE Journal-First
On the correctness of electronic documents: studying, finding, and loca ...
15:30 - 15:52
ESEC/FSE Research Papers
Optimizing Test Prioritization via Test Distribution Analysis
15:52 - 16:15
ESEC/FSE Research Papers
How Well Are Regular Expressions Tested in the Wild?
16:15 - 16:37
ESEC/FSE Research Papers
Which Generated Test Failures Are Fault Revealing? Prioritizing Failure ...
16:37 - 17:00
x
Mon 9 Dec 07:45