ESEC/FSE 2018
Sun 4 - Fri 9 November 2018 Lake Buena Vista, Florida, United States
ESEC/FSE 2018 (series) / Wyndham Lake Buena Vista Disney Springs Resort /

Room information: Horizons 5

VenueWyndham Lake Buena Vista Disney Springs Resort
Room nameHorizons 5
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
Formal AnalysisIndustry 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 IJournal-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 IJournal-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 ApplicationsIndustry 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 IIResearch 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 FestivalROSE 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 PredictionResearch 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 ReasoningResearch 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 IIResearch 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

Room10:003011:003012:003013:003014:003015:003016:0030
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

Room10:003011:003012:003013:003014:003015:003016:0030
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

Room10:003011:003012:003013:003014:003015:003016:0030
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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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