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
Complete 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 2
Venue
Crowne Plaza Beijing Zhongguancun
Room name
Meeting Room 2
Floor
3
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
Tue 16 Jul
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
09:30 - 10:35
Session 1
ISSTA Doctoral Symposium
at
Meeting Room 2
09:30
16m
Day opening
Openning
ISSTA Doctoral Symposium
09:46
16m
Doctoral symposium paper
On the Correctness of GPU Programs
ISSTA Doctoral Symposium
Chao Peng
University of Edinburgh, UK
10:02
16m
Doctoral symposium paper
JNI Program Analysis with Automatically Extracted C Semantic Summary
ISSTA Doctoral Symposium
Sungho Lee
KAIST, South Korea
10:18
16m
Doctoral symposium paper
Identifying Error Code Misuses in Complex System
ISSTA Doctoral Symposium
Wensheng Tang
The Hong Kong University of Science and Technology
10:35 - 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 2
11:00 - 12:30
Session 2
ISSTA Doctoral Symposium
at
Meeting Room 2
11:00
20m
Doctoral symposium paper
Continuous Software Performance Assessment
ISSTA Doctoral Symposium
Christoph Laaber
University of Zurich
DOI
Pre-print
11:20
20m
Doctoral symposium paper
Conditional Dynamic Partial Order Reduction and Optimality Results
ISSTA Doctoral Symposium
Miguel Isabel
Complutense University of Madrid
11:40
20m
Doctoral symposium paper
A New Dimension of Test Quality: Assessing and Generating Higher Quality Unit Test Cases
ISSTA Doctoral Symposium
Giovanni Grano
University of Zurich
DOI
Pre-print
12:00
30m
Talk
Planning and choosing research projects during PhD studies
ISSTA Doctoral Symposium
Abhik Roychoudhury
National University of Singapore
14:00 - 15:30
Session 3
ISSTA Doctoral Symposium
at
Meeting Room 2
14:00
20m
Doctoral symposium paper
A Cost-Effective Strategy for Software Vulnerability Prediction Based on Bellwether Analysis
ISSTA Doctoral Symposium
Patrick Kwaku Kudjo
Jiangsu University
14:20
20m
Doctoral symposium paper
Towards Scalable Defense of Information Flow Security for Distributed Systems
ISSTA Doctoral Symposium
Xiaoqin Fu
Washington State University
14:40
20m
Doctoral symposium paper
Mining Constraints for Grammar Fuzzing
ISSTA Doctoral Symposium
Michaël Mera
CISPA, Germany
15:00
30m
Talk
Panel Disscussion
ISSTA Doctoral Symposium
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 2
16:00 - 17:30
Session 4
ISSTA Doctoral Symposium
at
Meeting Room 2
16:00
90m
Talk
Panel Disscussion
ISSTA Doctoral Symposium
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 2
ISSTA Doctoral Symposium
Session 1
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
ISSTA Doctoral Symposium
Session 2
ISSTA Doctoral Symposium
Session 3
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
ISSTA Doctoral Symposium
Session 4
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
17:00
15
30
45
Meeting Room 2
ISSTA Doctoral Symposium
Openning
09:30 - 09:46
ISSTA Doctoral Symposium
On the Correctness of GPU Programs
09:46 - 10:02
ISSTA Doctoral Symposium
JNI Program Analysis with Automatically Extracted C Semantic Summary
10:02 - 10:18
ISSTA Doctoral Symposium
Identifying Error Code Misuses in Complex System
10:18 - 10:35
ISSTA Doctoral Symposium
Continuous Software Performance Assessment
11:00 - 11:20
ISSTA Doctoral Symposium
Conditional Dynamic Partial Order Reduction and Optimality Results
11:20 - 11:40
ISSTA Doctoral Symposium
A New Dimension of Test Quality: Assessing and Generating Higher Qualit ...
11:40 - 12:00
ISSTA Doctoral Symposium
Planning and choosing research projects during PhD studies
12:00 - 12:30
ISSTA Doctoral Symposium
A Cost-Effective Strategy for Software Vulnerability Prediction Based o ...
14:00 - 14:20
ISSTA Doctoral Symposium
Towards Scalable Defense of Information Flow Security for Distributed S ...
14:20 - 14:40
ISSTA Doctoral Symposium
Mining Constraints for Grammar Fuzzing
14:40 - 15:00
ISSTA Doctoral Symposium
Panel Disscussion
15:00 - 15:30
ISSTA Doctoral Symposium
Panel Disscussion
16:00 - 17:30
x
Fri 26 Apr 12:20