VenueWyndham Lake Buena Vista Disney Springs Resort
Room nameSpring Lake
Floor0
Additional informationThere is no additional information of this room 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
Times are displayed in 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
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 17:00: JPF WorkshopJPF at Spring Lake
09:00 - 09:10
Day opening
JPF
09:10 - 10:00
Talk
JPF
Tevfik BultanUniversity of California, Santa Barbara
10:00 - 10:30
Coffee break
JPF
10:30 - 11:00
Research paper
JPF
Maria PaquinBoise State University, Elena ShermanBoise State University, Amit JainBoise State University
11:00 - 11:30
Research paper
JPF
Lucas C. CordeiroUniversity of Manchester, UK, Daniel KroeningUniversity of Oxford, Peter SchrammelUniversity of Sussex
11:30 - 12:00
Research paper
JPF
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
12:00 - 13:30
Lunch
JPF
13:30 - 14:00
Talk
JPF
Quoc-Sang PhanFujitsu Laboratories of America
14:00 - 14:30
Research paper
JPF
joseph JonesBrigham Young University, James WassonBrigham Young University, Sean BrownBrigham Young University, Seth PoulsenBrigham Young University, Peter AldousBrigham Young University, Eric MercerBrigham Young University
14:30 - 15:00
Research paper
JPF
Guolong ZhengUniversity of Nebraska Lincoln, Quang Loc LeSchool of Computing, Teesside University, UK, ThanhVu NguyenUniversity of Nebraska-Lincoln, Quoc-Sang PhanFujitsu Laboratories of America
15:00 - 15:30
Coffee break
JPF
15:30 - 16:00
Research paper
JPF
Kaiyuan Wang, Hayes ConverseThe University of Texas at Austin, Milos GligoricUniversity of Texas at Austin, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, Sarfraz KhurshidUniversity of Texas at Austin
16:00 - 16:50
Meeting
JPF
16:50 - 17:00
Day closing
JPF

Wed 7 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00: MiningDemonstrations at Spring Lake
Chair(s): Peter RigbyConcordia University, Montreal, Canada
10:30 - 10:52
Talk
Demonstrations
Tien-Duy B. LeSchool of Information Systems, Singapore Management University, Lingfeng Bao Zhejiang University City College, David LoSingapore Management University
10:52 - 11:15
Talk
Demonstrations
Han Liu, Zhiqiang YangTsinghua University, Chao Liu, Yu Jiang, Wenqi ZhaoAnt Financial, Jiaguang Sun
11:15 - 11:37
Talk
Demonstrations
Cuiyun GaoComputer Science and Engineering, The Chinese University of Hong Kong, Jichuan Zeng, David LoSingapore Management University, Chin-Yew LinMicrosoft, Michael Lyu, Irwin King
Pre-print
11:37 - 12:00
Talk
Demonstrations
Davide SpadiniDelft University of Technology, Netherlands, Mauricio AnicheDelft University of Technology, Netherlands, Alberto BacchelliUniversity of Zurich
Pre-print
15:30 - 17:00: ModelsDemonstrations at Spring Lake
Chair(s): Hamid BagheriUniversity of Nebraska-Lincoln, USA
15:30 - 15:52
Talk
Demonstrations
Daejun ParkUniversity of Illinois at Urbana-Champaign, Yi ZhangUniversity of Illinois at Urbana-Champaign, Manasvi SaxenaRuntime Verification, Inc., Philip Daian, Grigore Ro┼čuUniversity of Illinois at Urbana-Champaign
15:52 - 16:15
Talk
Demonstrations
Kaiyuan Wang, Allison Sullivan, Darko MarinovUniversity of Illinois at Urbana-Champaign, Sarfraz KhurshidUniversity of Texas at Austin
16:15 - 16:37
Talk
Demonstrations
Lingfeng Bao Zhejiang University City College, Zhenchang XingAustralia National University, Xin XiaMonash University, David LoSingapore Management University, Shanping Li
16:37 - 17:00
Talk
Demonstrations
Ferhat ErataUNIT Information Technologies R&D Ltd., Arda GoknilUniversity of Luxembourg, Ivan KurtevAltran Netherlands, Bedir TekinerdoganWageningen University, The Netherlands

Fri 9 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00: WASPI workshopWASPI at Spring Lake
Chair(s): Hoan Anh NguyenIowa State University, USA, Hridesh RajanIowa State University, Tien N. NguyenUniversity of Texas at Dallas, Gary LeavensUniversity of Central Florida, Robert DyerBowling Green State University
09:00 - 09:15
Day opening
WASPI
09:15 - 10:00
Talk
WASPI
Miryung KimUniversity 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 LeavensUniversity of Central Florida
10:30 - 11:00
Talk
WASPI
Hoan Anh NguyenIowa State University, USA, Tien N. NguyenUniversity of Texas at Dallas, Hridesh RajanIowa State University, Robert DyerBowling Green State University
11:00 - 11:30
Talk
WASPI
Vaibhav SharmaUniversity of Minnesota, Taejoon ByunUniversity of Minnesota, Stephen McCamantUniversity of Minnesota, Sanjai RayadurgamUniversity of Minnesota, Mats P. E. HeimdahlUniversity of Minnesota, USA
11:30 - 12:00
Talk
WASPI
Quoc Anh DoMississippi State University, Tanmay BhowmikMississippi State University
13:30 - 14:30: Afternoon talksWASPI at Spring Lake
Chair(s): Robert DyerBowling Green State University
13:30 - 14:00
Talk
WASPI
Samantha Syeda KhairunnesaIowa State University, Hoan Anh NguyenIowa State University, USA, Hridesh RajanIowa State University
14:00 - 14:30
Talk
WASPI
Ryota YamamotoNagoya University, Norihiro YoshidaNagoya University, Hiroaki TakadaNagoya University
DOI Pre-print
14:30 - 15:00: Future of Specification Inference PanelWASPI at Spring Lake
Chair(s): Hoan NguyenIowa State University
14:30 - 15:00
Other
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 RajanIowa State University
15:30 - 17:00
Other
WASPI

Sun 4 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

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

Mon 5 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

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

Wed 7 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

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