VenueWyndham Lake Buena Vista Disney Springs Resort
Room nameSpring Lake
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Sun 4 Nov

fse-2018-EnSEmble
08:30 - 10:00: EnSEmble - EnSEmble I at Spring Lake
fse-2018-EnSEmble
10:30 - 12:00: EnSEmble - EnSEmble II at Spring Lake
fse-2018-EnSEmble
13:30 - 15:00: EnSEmble - EnSEmble III at Spring Lake
fse-2018-EnSEmble
15:30 - 17:00: EnSEmble - EnSEmble IV at Spring Lake

Mon 5 Nov

jpf-2018-papers
08:30 - 17:00: JPF - JPF Workshop at Spring Lake
jpf-2018-papers154140480000009:00 - 09:10
Day opening
jpf-2018-papers154140540000009:10 - 10:00
Talk
Tevfik BultanUniversity of California, Santa Barbara
jpf-2018-papers154140840000010:00 - 10:30
Coffee break
jpf-2018-papers154141020000010:30 - 11:00
Research paper
Maria PaquinBoise State University, Elena ShermanBoise State University, Amit JainBoise State University
jpf-2018-papers154141200000011:00 - 11:30
Research paper
Lucas C. CordeiroUniversity of Manchester, UK, Daniel KroeningUniversity of Oxford, Peter SchrammelUniversity of Sussex
jpf-2018-papers154141380000011:30 - 12:00
Research paper
Seemanta SahaUniversity of California Santa Barbara, Ismet Burak KadronUniversity of California at Santa Barbara, USA, William EiersUniversity of California at Santa Barbara, USA, Lucas Bang, Tevfik BultanUniversity of California, Santa Barbara
jpf-2018-papers154141560000012:00 - 13:30
Lunch
jpf-2018-papers154142100000013:30 - 14:00
Talk
Quoc-Sang PhanFujitsu Laboratories of America
jpf-2018-papers154142280000014:00 - 14:30
Research paper
joseph JonesBrigham Young University, James WassonBrigham Young University, Sean BrownBrigham Young University, Seth PoulsenBrigham Young University, Peter AldousBrigham Young University, Eric MercerBrigham Young University
jpf-2018-papers154142460000014:30 - 15:00
Research paper
Guolong ZhengUniversity of Nebraska Lincoln, Quang Loc LeSchool of Computing, Teesside University, UK, ThanhVu NguyenUniversity of Nebraska-Lincoln, Quoc-Sang PhanFujitsu Laboratories of America
jpf-2018-papers154142640000015:00 - 15:30
Coffee break
jpf-2018-papers154142820000015:30 - 16:00
Research paper
Kaiyuan Wang, Hayes ConverseThe University of Texas at Austin, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, Sarfraz KhurshidUniversity of Texas at Austin
jpf-2018-papers154143000000016:00 - 16:50
Meeting
jpf-2018-papers154143300000016:50 - 17:00
Day closing

Wed 7 Nov

fse-2018-Demonstration
10:30 - 12:00: Demonstrations - Mining at Spring Lake
fse-2018-Demonstration154158300000010:30 - 10:52
Talk
Tien-Duy B. LeSchool of Information Systems, Singapore Management University, Lingfeng Bao Zhejiang University City College, David LoSingapore Management University
fse-2018-Demonstration154158435000010:52 - 11:15
Talk
Han Liu, Zhiqiang YangTsinghua University, Chao Liu, Yu Jiang, Wenqi ZhaoAnt Financial, Jiaguang Sun
fse-2018-Demonstration154158570000011:15 - 11:37
Talk
Cuiyun GaoComputer Science and Engineering, The Chinese University of Hong Kong, Jichuan Zeng, David LoSingapore Management University, Chin-Yew LinMicrosoft, Michael Lyu, Irwin King
fse-2018-Demonstration154158705000011:37 - 12:00
Talk
Davide SpadiniDelft University of Technology, Netherlands, MaurĂ­cio AnicheDelft University of Technology, Netherlands, Alberto BacchelliUniversity of Zurich
Pre-print
fse-2018-Demonstration
15:30 - 17:00: Demonstrations - Models at Spring Lake
fse-2018-Demonstration154160100000015:30 - 15:52
Talk
Daejun ParkUniversity of Illinois at Urbana-Champaign, Yi ZhangUniversity of Illinois at Urbana-Champaign, Manasvi SaxenaRuntime Verification, Inc., Philip Daian, Grigore RosuUniversity of Illinois at Urbana-Champaign
fse-2018-Demonstration154160235000015:52 - 16:15
Talk
fse-2018-Demonstration154160370000016:15 - 16:37
Talk
Lingfeng Bao Zhejiang University City College, Zhenchang XingAustralia National University, Xin XiaMonash University, David LoSingapore Management University, Shanping Li
fse-2018-Demonstration154160505000016:37 - 17:00
Talk
Ferhat ErataUNIT Information Technologies R&D Ltd., Arda GoknilUniversity of Luxembourg, Ivan KurtevAltran Netherlands, Bedir TekinerdoganWageningen University, The Netherlands

Fri 9 Nov

fse-2018-WASPI
08:30 - 10:00: WASPI - WASPI workshop at Spring Lake
Chair(s): Hoan Anh NguyenIowa State University, USA, Hridesh RajanIowa State University, Tien NguyenUniversity of Texas at Dallas, Gary LeavensUniversity of Central Florida, Robert DyerBowling Green State University
fse-2018-WASPI154174860000008:30 - 09:15
Day opening
fse-2018-WASPI154175130000009:15 - 10:00
Talk
fse-2018-WASPI
10:30 - 12:00: WASPI - Morning Talks at Spring Lake
fse-2018-WASPI154175580000010:30 - 11:00
Talk
Hoan Anh NguyenIowa State University, USA, Tien NguyenUniversity of Texas at Dallas, Hridesh RajanIowa State University, Robert DyerBowling Green State University
fse-2018-WASPI154175760000011:00 - 11:30
Talk
Vaibhav SharmaUniversity of Minnesota, Taejoon ByunUniversity of Minnesota, Stephen McCamantUniversity of Minnesota, Sanjai RayadurgamUniversity of Minnesota, Mats P. E. HeimdahlUniversity of Minnesota, USA
fse-2018-WASPI154175940000011:30 - 12:00
Talk
Quoc Anh DoMississippi State University, Tanmay BhowmikMississippi State University
fse-2018-WASPI
13:30 - 14:30: WASPI - Afternoon talks at Spring Lake
fse-2018-WASPI154176660000013:30 - 14:00
Talk
Samantha Syeda KhairunnesaIowa State University, Hoan Anh NguyenIowa State University, USA, Hridesh RajanIowa State University
fse-2018-WASPI154176840000014:00 - 14:30
Talk
Ryota YamamotoNagoya University, Norihiro YoshidaNagoya University, Hiroaki TakadaNagoya University
DOI Pre-print
fse-2018-WASPI
14:30 - 15:00: WASPI - Future of Specification Inference Panel at Spring Lake
fse-2018-WASPI154177020000014:30 - 15:00
Other
fse-2018-WASPI
15:30 - 17:00: WASPI - Open Discussion: Benchmarks for Program Specification at Spring Lake
Chair(s): Hridesh RajanIowa State University
fse-2018-WASPI154177380000015:30 - 17:00
Other

Sun 4 Nov 2018

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

Mon 5 Nov 2018

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Spring Lake
08:30 - 17:00

Wed 7 Nov 2018

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

Fri 9 Nov 2018