VenueWyndham Lake Buena Vista Disney Springs Resort
Room nameSpring Lake
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

Sun 4 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00
EnSEmble IEnSEmble at Spring Lake
10:30 - 12:00
EnSEmble IIEnSEmble at Spring Lake
13:30 - 15:00
EnSEmble IIIEnSEmble at Spring Lake
15:30 - 17:00
EnSEmble IVEnSEmble at Spring Lake

Mon 5 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 17:00
JPF WorkshopJPF 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
MiningDemonstrations 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
ModelsDemonstrations 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 workshopWASPI 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 MorningSocial at Spring Lake
10:30 - 12:00
Morning TalksWASPI 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 talksWASPI 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 PanelWASPI 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 AfternoonSocial at Spring Lake
15:30 - 17:00
Open Discussion: Benchmarks for Program SpecificationWASPI 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

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
Spring Lake

Mon 5 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
Spring Lake

Wed 7 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room10:003011:003012:003013:003014:003015:003016:0030
Spring Lake