Write a Blog >>
SPIN 2019
Mon 15 - Fri 19 July 2019
Beijing, China
co-located with
ISSTA 2019
Toggle navigation
Attending
Venue: Crowne Plaza Beijing Zhongguancun
ISSTA 2019
Visa
Excursion
Conduct
Registration
Transportation Instructions
Program
SPIN Program
Your Program
Mon 15 Jul
Tue 16 Jul
Wed 17 Jul
Thu 18 Jul
Fri 19 Jul
Track/Call
Organization
SPIN 2019 Committees
Organizing Committee
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
SPIN 2021
SPIN 2019
SPIN 2017
Sign in
Sign up
ISSTA 2019
(
series
) /
SPIN 2019 (
series
) /
Crowne Plaza Beijing Zhongguancun
/
Room information: Meeting Room 4
Venue
Crowne Plaza Beijing Zhongguancun
Room name
Meeting Room 4
Floor
4
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+08:00) Beijing, Chongqing, Hong Kong, Urumqi
.
Use conference time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
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-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04: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+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) 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+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12: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
Mon 15 Jul
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
09:00 - 10:30
Session 1 - Invited Talk
26th International SPIN Symposium on Model Checking of Software
at
Meeting Room 4
09:00
90m
Day opening
Constrained Counting and Sampling: From Theory to Practice and Back
26th International SPIN Symposium on Model Checking of Software
Kuldeep S. Meel
National University of Singapore
09:00 - 10:30
SPIN Keynote
ISSTA Workshop – TAV-CPS/IoT
at
Meeting Room 4
09:00
90m
Talk
SPIN Keynote
ISSTA Workshop – TAV-CPS/IoT
10:30 - 11:00
Mini Break
ISSTA Catering
/
ISSTA Keynote
/
ISSTA Workshops
/
ISSTA Tool Demonstration
/
ISSTA Student Volunteers
/
ISSTA Workshop – TAV-CPS/IoT
/
ISSTA Summer School
/
ISSTA Doctoral Symposium
at
Meeting Room 4
10:30
30m
Break
Mini Break
ISSTA Catering
11:00 - 12:30
Session 2 - Stochastic Model Checking
26th International SPIN Symposium on Model Checking of Software
at
Meeting Room 4
11:00
30m
Talk
Statistical Model Checking of Complex Robotic Systems
26th International SPIN Symposium on Model Checking of Software
Mohammed Foughali
,
Félix Ingrand
,
Cristina Seceleanu
Mälardalen University
11:30
30m
Talk
Model Checking Branching Time Properties of Incomplete Markov Chains
26th International SPIN Symposium on Model Checking of Software
Shiraj Arora
,
Mv P Rao
14:00 - 15:30
Session 3 - Model Checking
26th International SPIN Symposium on Model Checking of Software
at
Meeting Room 4
14:00
30m
Talk
Extracting Safe Thread Schedules from Incomplete Model Checking Results
26th International SPIN Symposium on Model Checking of Software
Patrick Metzler
,
Neeraj Suri
,
Georg Weissenbacher
Technische Universität Wien
14:30
30m
Talk
From Dynamic State Machines to Promela
26th International SPIN Symposium on Model Checking of Software
Massimo Benerecetti
,
Ugo Gentile
,
Stefano Marrone
,
Roberto Nardone
,
Adriano Peron
,
Luigi Libero Lucio Starace
,
Valeria Vittorin
15:00
30m
Talk
A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table
26th International SPIN Symposium on Model Checking of Software
Omar Bataineh
NTU
,
David Rosenblum
National University of Singapore
,
Mark Reynolds
The Univeristy of Western Australia
15:30 - 16:00
Mini Break
ISSTA Catering
/
ISSTA Keynote
/
ISSTA Workshops
/
ISSTA Tool Demonstration
/
ISSTA Student Volunteers
/
ISSTA Workshop – TAV-CPS/IoT
/
ISSTA Summer School
/
ISSTA Doctoral Symposium
at
Meeting Room 4
15:30
30m
Break
Mini Break
ISSTA Catering
16:00 - 17:30
Session 4 - Software Model Checking (Tools Sessions)
26th International SPIN Symposium on Model Checking of Software
at
Meeting Room 4
16:00
30m
Talk
String abstraction for model checking of C programs
26th International SPIN Symposium on Model Checking of Software
Agostino Cortesi
Università Ca' Foscari Venezia
,
Henrich Lauko
,
Martina Olliaro
,
Petr Ročkai
16:30
30m
Talk
Applying Model Checking Approach with Floating Point Arithmetic
26th International SPIN Symposium on Model Checking of Software
Sergey Staroletov
Polzunov Altai State Technical University
,
Nikolay Shilov
Innopolis University
Tue 16 Jul
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
09:00 - 10:00
Session 1 - Invited Talk
26th International SPIN Symposium on Model Checking of Software
at
Meeting Room 4
09:00
60m
Talk
Model Verification Through Dependency Graphs
26th International SPIN Symposium on Model Checking of Software
Kim Guldstrand Larsen
10:00 - 10:30
Session 1.5 - Conformance Testing
26th International SPIN Symposium on Model Checking of Software
at
Meeting Room 4
10:00
30m
Talk
Conformance Testing of Schedulers for DSL-based Model Checking
26th International SPIN Symposium on Model Checking of Software
Nhat-Hoa Tran
,
Toshiaki Aoki
JAIST
10:30 - 11:00
Mini Break
ISSTA Catering
/
ISSTA Keynote
/
ISSTA Workshops
/
ISSTA Tool Demonstration
/
ISSTA Student Volunteers
/
ISSTA Workshop – TAV-CPS/IoT
/
ISSTA Summer School
/
ISSTA Doctoral Symposium
at
Meeting Room 4
10:30
30m
Break
Mini Break
ISSTA Catering
11:00 - 12:30
Session 2 - Synthesis and Learning
26th International SPIN Symposium on Model Checking of Software
at
Meeting Room 4
11:00
30m
Talk
STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph
26th International SPIN Symposium on Model Checking of Software
Yuan Liu
,
Xi Wang
Yale University, USA
,
Lintao Xian
,
Zhongwen Guo
11:30
30m
Talk
Learning Guided Enumerative Synthesis for Superoptimization
26th International SPIN Symposium on Model Checking of Software
Shikhar Singh
,
Mengshi Zhang
University of Texas at Austin, USA
,
Sarfraz Khurshid
University of Texas at Austin
12:00
30m
Talk
A Study of Learning Data Structure Invariants Using Off-the-shelf Tools
26th International SPIN Symposium on Model Checking of Software
Muhammad Usman
,
Wenxi Wang
The University of Texas at Austin, Texas, USA
,
Kaiyuan Wang
Google Inc.
,
Cagdas Yelen
,
Nima Dini
University of Texas at Austin
,
Sarfraz Khurshid
University of Texas at Austin
14:00 - 15:30
Session 3 - Invited Talk
26th International SPIN Symposium on Model Checking of Software
at
Meeting Room 4
14:00
60m
Talk
Efficient Evaluation of Embedded-System Design Alternatives
26th International SPIN Symposium on Model Checking of Software
Maxime Cordy
SnT, University of Luxembourg
15:30 - 16:00
Mini Break
ISSTA Catering
/
ISSTA Keynote
/
ISSTA Workshops
/
ISSTA Tool Demonstration
/
ISSTA Student Volunteers
/
ISSTA Workshop – TAV-CPS/IoT
/
ISSTA Summer School
/
ISSTA Doctoral Symposium
at
Meeting Room 4
15:30
30m
Break
Mini Break
ISSTA Catering
16:00 - 17:30
Session 4 - Broader Approaches
26th International SPIN Symposium on Model Checking of Software
at
Meeting Room 4
16:00
30m
Talk
Swarm Model Checking on the GPU
26th International SPIN Symposium on Model Checking of Software
Richard Defrancisco
,
Shenghsun Cho
,
Michael Ferdman Ferdman
,
Scott Smolka
Stony Brook University
16:30
30m
Talk
VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs
26th International SPIN Symposium on Model Checking of Software
Farnaz Yousefi
,
Ehsan Khamespanah
,
Mohammed Gharib
,
Marjan Sirjani
,
Ali Movaghar
Mon 15 Jul
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
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
17:00
30
Meeting Room 4
26th International SPIN Symposium on Model Checking of Software
Session 1 - Invited Talk
ISSTA Workshop – TAV-CPS/IoT
SPIN Keynote
09:00 - 10:30
ISSTA Catering + ISSTA Keynote + ISSTA Workshops + ISSTA Tool Demonstration + ISSTA Student Volunteers + ISSTA Workshop – TAV-CPS/IoT + ISSTA Summer School + ISSTA Doctoral Symposium
Mini Break
26th International SPIN Symposium on Model Checking of Software
Session 2 - Stochastic Model Checking
26th International SPIN Symposium on Model Checking of Software
Session 3 - Model Checking
ISSTA Catering + ISSTA Keynote + ISSTA Workshops + ISSTA Tool Demonstration + ISSTA Student Volunteers + ISSTA Workshop – TAV-CPS/IoT + ISSTA Summer School + ISSTA Doctoral Symposium
Mini Break
26th International SPIN Symposium on Model Checking of Software
Session 4 - Software Model Checking (Tools Sessions)
Tue 16 Jul
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
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
17:00
30
Meeting Room 4
26th International SPIN Symposium on Model Checking of Software
Session 1 - Invited Talk
26th International SPIN Symposium on Model Checking of Software
Session 1.5 - Conformance Testing
ISSTA Catering + ISSTA Keynote + ISSTA Workshops + ISSTA Tool Demonstration + ISSTA Student Volunteers + ISSTA Workshop – TAV-CPS/IoT + ISSTA Summer School + ISSTA Doctoral Symposium
Mini Break
26th International SPIN Symposium on Model Checking of Software
Session 2 - Synthesis and Learning
26th International SPIN Symposium on Model Checking of Software
Session 3 - Invited Talk
ISSTA Catering + ISSTA Keynote + ISSTA Workshops + ISSTA Tool Demonstration + ISSTA Student Volunteers + ISSTA Workshop – TAV-CPS/IoT + ISSTA Summer School + ISSTA Doctoral Symposium
Mini Break
26th International SPIN Symposium on Model Checking of Software
Session 4 - Broader Approaches
Mon 15 Jul
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
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
Meeting Room 4
SPIN
Constrained Counting and Sampling: From Theory to Practice and Back
09:00 - 10:30
ISSTA Workshop – TAV-CPS/IoT
SPIN Keynote
09:00 - 10:30
ISSTA Catering
Mini Break
10:30 - 11:00
SPIN
Statistical Model Checking of Complex Robotic Systems
11:00 - 11:30
SPIN
Model Checking Branching Time Properties of Incomplete Markov Chains
11:30 - 12:00
SPIN
Extracting Safe Thread Schedules from Incomplete Model Checking Results
14:00 - 14:30
SPIN
From Dynamic State Machines to Promela
14:30 - 15:00
SPIN
A Novel Decentralized LTL Monitoring Framework Using Formula Progressio ...
15:00 - 15:30
ISSTA Catering
Mini Break
15:30 - 16:00
SPIN
String abstraction for model checking of C programs
16:00 - 16:30
SPIN
Applying Model Checking Approach with Floating Point Arithmetic
16:30 - 17:00
Tue 16 Jul
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
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
Meeting Room 4
SPIN
Model Verification Through Dependency Graphs
09:00 - 10:00
SPIN
Conformance Testing of Schedulers for DSL-based Model Checking
10:00 - 10:30
ISSTA Catering
Mini Break
10:30 - 11:00
SPIN
STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis v ...
11:00 - 11:30
SPIN
Learning Guided Enumerative Synthesis for Superoptimization
11:30 - 12:00
SPIN
A Study of Learning Data Structure Invariants Using Off-the-shelf Tools
12:00 - 12:30
SPIN
Efficient Evaluation of Embedded-System Design Alternatives
14:00 - 15:00
ISSTA Catering
Mini Break
15:30 - 16:00
SPIN
Swarm Model Checking on the GPU
16:00 - 16:30
SPIN
VeriVANca: An Actor-Based Framework for Formal Verification of Warning ...
16:30 - 17:00
x
Fri 6 Dec 22:04