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: Spring Lake
Venue
Wyndham Lake Buena Vista Disney Springs Resort
Room name
Spring Lake
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
Sun 4 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
08:30 - 10:00
EnSEmble I
EnSEmble
at
Spring Lake
10:30 - 12:00
EnSEmble II
EnSEmble
at
Spring Lake
13:30 - 15:00
EnSEmble III
EnSEmble
at
Spring Lake
15:30 - 17:00
EnSEmble IV
EnSEmble
at
Spring Lake
Mon 5 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
08:30 - 17:00
JPF Workshop
JPF
at
Spring Lake
09:00
10m
Day opening
Opening
JPF
09:10
50m
Talk
Keynote: Side-Channel Analysis via Symbolic Execution and Model Counting
JPF
Tevfik Bultan
University of California, Santa Barbara
10:00
30m
Coffee break
Coffee break
JPF
10:30
30m
Research paper
Assessing the Adequacy of Synthetic Programs for Learning SPF's Configurations
JPF
Maria Paquin
Boise State University
,
Elena Sherman
Boise State University
,
Amit Jain
Boise State University
11:00
30m
Research paper
Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP)
JPF
Lucas C. Cordeiro
University of Manchester, UK
,
Daniel Kroening
University of Oxford
,
Peter Schrammel
University of Sussex
11:30
30m
Research paper
Attack Synthesis for Strings using Meta-Heuristics
JPF
Seemanta Saha
University of California Santa Barbara
,
Ismet Burak Kadron
University of California at Santa Barbara, USA
,
William Eiers
University of California at Santa Barbara, USA
,
Lucas Bang
,
Tevfik Bultan
University of California, Santa Barbara
12:00
90m
Lunch
Lunch @Lakeview Restaurant West
JPF
13:30
30m
Talk
Invited talk: Test input generation using separation logic
JPF
Quoc-Sang Phan
Fujitsu Laboratories of America
14:00
30m
Research paper
Memory safety in C by abstract interpretation
JPF
joseph Jones
Brigham Young University
,
James Wasson
Brigham Young University
,
Sean Brown
Brigham Young University
,
Seth Poulsen
Brigham Young University
,
Peter Aldous
Brigham Young University
,
Eric Mercer
Brigham Young University
14:30
30m
Research paper
Automatic Data Structure Repair using Separation Logic
JPF
Guolong Zheng
University of Nebraska Lincoln
,
Quang Loc Le
School of Computing, Teesside University, UK
,
ThanhVu Nguyen
University of Nebraska-Lincoln
,
Quoc-Sang Phan
Fujitsu Laboratories of America
15:00
30m
Coffee break
Coffee break
JPF
15:30
30m
Research paper
A Progress Bar for the JPF Search Using Program Executions
JPF
Kaiyuan Wang
,
Hayes Converse
The University of Texas at Austin
,
Milos Gligoric
University of Texas at Austin
,
Sasa Misailovic
University of Illinois at Urbana-Champaign
,
Sarfraz Khurshid
University of Texas at Austin
16:00
50m
Meeting
JPF Open Discussion
JPF
16:50
10m
Day closing
Closing
JPF
Wed 7 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
10:30 - 12:00
Mining
Demonstrations
at
Spring Lake
Chair(s):
Peter Rigby
Concordia University, Montreal, Canada
10:30
22m
Talk
DSM: A Specification Mining Tool using Recurrent Neural Network Based Language Model
Demonstrations
Tien-Duy B. Le
School of Information Systems, Singapore Management University
,
Lingfeng Bao
Zhejiang University City College
,
David Lo
Singapore Management University
10:52
22m
Talk
EClone: Detect Semantic Clones in Ethereum via Symbolic Transaction Sketch
Demonstrations
Han Liu
,
Zhiqiang Yang
Tsinghua University
,
Chao Liu
,
Yu Jiang
,
Wenqi Zhao
Ant Financial
,
Jiaguang Sun
11:15
22m
Talk
INFAR: Insight Extraction from App Reviews
Demonstrations
Cuiyun Gao
Computer Science and Engineering, The Chinese University of Hong Kong
,
Jichuan Zeng
,
David Lo
Singapore Management University
,
Chin-Yew Lin
Microsoft
,
Michael Lyu
,
Irwin King
Pre-print
11:37
22m
Talk
PyDriller: Python Framework for Mining Software Repositories
Demonstrations
Davide Spadini
Delft University of Technology, Netherlands
,
MaurÃcio Aniche
Delft University of Technology, Netherlands
,
Alberto Bacchelli
University of Zurich
Pre-print
15:30 - 17:00
Models
Demonstrations
at
Spring Lake
Chair(s):
Hamid Bagheri
University of Nebraska-Lincoln, USA
15:30
22m
Talk
A Formal Verification Tool for Ethereum VM Bytecode
Demonstrations
Daejun Park
University of Illinois at Urbana-Champaign
,
Yi Zhang
University of Illinois at Urbana-Champaign
,
Manasvi Saxena
Runtime Verification, Inc.
,
Philip Daian
,
Grigore RoÅŸu
University of Illinois at Urbana-Champaign
15:52
22m
Talk
ASketch: A Sketching Framework for Alloy
Demonstrations
Kaiyuan Wang
,
Allison Sullivan
,
Darko Marinov
University of Illinois at Urbana-Champaign
,
Sarfraz Khurshid
University of Texas at Austin
16:15
22m
Talk
VT-Revolution: Interactive Programming Tutorials Made Possible
Demonstrations
Lingfeng Bao
Zhejiang University City College
,
Zhenchang Xing
Australia National University
,
Xin Xia
Monash University
,
David Lo
Singapore Management University
,
Shanping Li
16:37
22m
Talk
AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
Demonstrations
Ferhat Erata
UNIT Information Technologies R&D Ltd.
,
Arda Goknil
University of Luxembourg
,
Ivan Kurtev
Altran Netherlands
,
Bedir Tekinerdogan
Wageningen University, The Netherlands
Fri 9 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
09:00 - 10:00
WASPI workshop
WASPI
at
Spring Lake
Chair(s):
Robert Dyer
Bowling Green State University
,
Gary T. Leavens
University of Central Florida
,
Hoan Anh Nguyen
Iowa State University, USA
,
Tien N. Nguyen
University of Texas at Dallas
,
Hridesh Rajan
Iowa State University
09:00
15m
Day opening
Welcome and introductions
WASPI
09:15
45m
Talk
New frontier of mining software repositories at scale---Usability and information delivery (invited talk)
WASPI
Miryung Kim
University of California, Los Angeles
10:00 - 10:30
Coffee Break Morning
Social
at
Spring Lake
10:30 - 12:00
Morning Talks
WASPI
at
Spring Lake
Chair(s):
Gary T. Leavens
University of Central Florida
10:30
30m
Talk
Towards Combining Usage Mining and Implementation Analysis to Infer API Preconditions
WASPI
Hoan Anh Nguyen
Iowa State University, USA
,
Tien N. Nguyen
University of Texas at Dallas
,
Hridesh Rajan
Iowa State University
,
Robert Dyer
Bowling Green State University
11:00
30m
Talk
Contract Discovery from Black-Box Components
WASPI
Vaibhav Sharma
University of Minnesota
,
Taejoon Byun
University of Minnesota
,
Stephen McCamant
University of Minnesota
,
Sanjai Rayadurgam
University of Minnesota
,
Mats P. E. Heimdahl
University of Minnesota, USA
11:30
30m
Talk
Automated Generation of Creative Software Requirements: A Data-Driven Approach
WASPI
Quoc Anh Do
Mississippi State University
,
Tanmay Bhowmik
Mississippi State University
13:30 - 14:30
Afternoon talks
WASPI
at
Spring Lake
Chair(s):
Robert Dyer
Bowling Green State University
13:30
30m
Talk
On the Significance of Contract-Based Typestate Specification
WASPI
Samantha Syeda Khairunnesa
Iowa State University
,
Hoan Anh Nguyen
Iowa State University, USA
,
Hridesh Rajan
Iowa State University
14:00
30m
Talk
Towards Static Recovery of Micro State Transitions from Legacy Embedded Code
WASPI
Ryota Yamamoto
Nagoya University
,
Norihiro Yoshida
Nagoya University
,
Hiroaki Takada
Nagoya University
DOI
Pre-print
14:30 - 15:00
Future of Specification Inference Panel
WASPI
at
Spring Lake
Chair(s):
Hoan Nguyen
Iowa State University
14:30
30m
Other
Panel Discussion on Future of Specification Inference
WASPI
15:00 - 15:30
Coffee Break Afternoon
Social
at
Spring Lake
15:30 - 17:00
Open Discussion: Benchmarks for Program Specification
WASPI
at
Spring Lake
Chair(s):
Hridesh Rajan
Iowa State University
15:30
90m
Other
Open Discussion - Benchmarks for Program Specification
WASPI
Sun 4 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Spring Lake
EnSEmble
EnSEmble I
EnSEmble
EnSEmble II
EnSEmble
EnSEmble III
EnSEmble
EnSEmble IV
Mon 5 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Spring Lake
JPF
JPF Workshop
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
Spring Lake
Demonstrations
Mining
Demonstrations
Models
Fri 9 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Spring Lake
WASPI
WASPI workshop
Social
Coffee Break Morning
WASPI
Morning Talks
WASPI
Afternoon talks
WASPI
Future of Specification Inference Panel
Social
Coffee Break Afternoon
WASPI
Open Discussion: Benchmarks for Program Specification
Mon 5 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
9:00
15
30
45
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
Spring Lake
JPF
Opening
09:00 - 09:10
JPF
Keynote: Side-Channel Analysis via Symbolic Execution and Model Counting
09:10 - 10:00
JPF
Coffee break
10:00 - 10:30
JPF
Assessing the Adequacy of Synthetic Programs for Learning SPF's Configu ...
10:30 - 11:00
JPF
Benchmarking of Java Verification Tools at the Software Verification Co ...
11:00 - 11:30
JPF
Attack Synthesis for Strings using Meta-Heuristics
11:30 - 12:00
JPF
Lunch @Lakeview Restaurant West
12:00 - 13:30
JPF
Invited talk: Test input generation using separation logic
13:30 - 14:00
JPF
Memory safety in C by abstract interpretation
14:00 - 14:30
JPF
Automatic Data Structure Repair using Separation Logic
14:30 - 15:00
JPF
Coffee break
15:00 - 15:30
JPF
A Progress Bar for the JPF Search Using Program Executions
15:30 - 16:00
JPF
JPF Open Discussion
16:00 - 16:50
JPF
Closing
16:50 - 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
Spring Lake
ESEC/FSE Demonstrations
DSM: A Specification Mining Tool using Recurrent Neural Network Based L ...
10:30 - 10:52
ESEC/FSE Demonstrations
EClone: Detect Semantic Clones in Ethereum via Symbolic Transaction Sketch
10:52 - 11:15
ESEC/FSE Demonstrations
INFAR: Insight Extraction from App Reviews
11:15 - 11:37
ESEC/FSE Demonstrations
PyDriller: Python Framework for Mining Software Repositories
11:37 - 12:00
ESEC/FSE Demonstrations
A Formal Verification Tool for Ethereum VM Bytecode
15:30 - 15:52
ESEC/FSE Demonstrations
ASketch: A Sketching Framework for Alloy
15:52 - 16:15
ESEC/FSE Demonstrations
VT-Revolution: Interactive Programming Tutorials Made Possible
16:15 - 16:37
ESEC/FSE Demonstrations
AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Objec ...
16:37 - 17:00
Fri 9 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
9:00
15
30
45
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
Spring Lake
ESEC/FSE WASPI
Welcome and introductions
09:00 - 09:15
ESEC/FSE WASPI
New frontier of mining software repositories at scale---Usability and i ...
09:15 - 10:00
ESEC/FSE WASPI
Towards Combining Usage Mining and Implementation Analysis to Infer API ...
10:30 - 11:00
ESEC/FSE WASPI
Contract Discovery from Black-Box Components
11:00 - 11:30
ESEC/FSE WASPI
Automated Generation of Creative Software Requirements: A Data-Driven A ...
11:30 - 12:00
ESEC/FSE WASPI
On the Significance of Contract-Based Typestate Specification
13:30 - 14:00
ESEC/FSE WASPI
Towards Static Recovery of Micro State Transitions from Legacy Embedded ...
14:00 - 14:30
ESEC/FSE WASPI
Panel Discussion on Future of Specification Inference
14:30 - 15:00
ESEC/FSE WASPI
Open Discussion - Benchmarks for Program Specification
15:30 - 17:00
x
Thu 21 Nov 15:24