ISSTA 2022
Mon 18 - Fri 22 July 2022
Online
Toggle navigation
Attending
Venue: Online
Registration
Information for Attendees
Instructions to Presenters
Equity, Diversity and Inclusion
Sponsorship
Call for Sponsorship
Sponsors and Supports
Program
ISSTA Program
Your Program
Schedule Overview
Mon 18 Jul
Tue 19 Jul
Wed 20 Jul
Thu 21 Jul
Fri 22 Jul
Tracks
ISSTA 2022
Technical Papers
Workshops
Artifact Evaluation
Tool Demonstrations
Doctoral Symposium
Student Volunteers
Keynotes
Sponsors
Workshops
AISTA
Organization
ISSTA 2022 Committees
Organizing Comittee
Track Committees
Technical Papers
Workshops
Artifact Evaluation
Tool Demonstrations
Doctoral Symposium
Student Volunteers
Contributors
People Index
Workshops
AISTA
Organizing Committee
Search
Series
Series
ISSTA 2025
ISSTA 2024
ISSTA 2023
ISSTA 2022
ISSTA 2021
ISSTA 2020
ISSTA 2019
ISSTA 2018
ISSTA 2017
Sign in
Sign up
ISSTA 2022
(
series
) /
Online
/
Room information: Keynote
Venue
Online
Room name
Keynote
Floor
0
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+09:00) Seoul
.
Use conference time zone: (GMT+09:00) Seoul
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
Wed 20 Jul
Displayed time zone:
Seoul
change
00:00 - 01:00
Keynote
Keynotes
at
Keynote
Chair(s):
Yannis Smaragdakis
University of Athens
00:00
60m
Talk
Neural Software Analysis: the Good, the Bad, and the Ugly
Keynotes
Michael Pradel
University of Stuttgart
15:00 - 16:00
Keynote
Keynotes
at
Keynote
Chair(s):
Sukyoung Ryu
KAIST
15:00
60m
Talk
Neural Software Analysis: the Good, the Bad, and the Ugly
Keynotes
Michael Pradel
University of Stuttgart
Thu 21 Jul
Displayed time zone:
Seoul
change
00:00 - 01:00
Keynote
Keynotes
at
Keynote
Chair(s):
Yannis Smaragdakis
University of Athens
00:00
60m
Talk
Software Developer Tools for Democratizing Heterogeneous Computing Applications
Keynotes
Miryung Kim
University of California at Los Angeles, USA
15:00 - 16:00
Keynote
Keynotes
at
Keynote
Chair(s):
Sukyoung Ryu
KAIST
15:00
60m
Talk
Software Developer Tools for Democratizing Heterogeneous Computing Applications
Keynotes
Miryung Kim
University of California at Los Angeles, USA
23:00 - 23:15
Awards & Reports
Keynotes
at
Keynote
23:00
15m
Talk
Award Presentations & Chair Report
Keynotes
Sukyoung Ryu
KAIST
,
Yannis Smaragdakis
University of Athens
23:15 - 00:00
Impact Paper Presentation
Keynotes
at
Keynote
Chair(s):
Sukyoung Ryu
KAIST
23:15
45m
Talk
Probabilistic Symbolic Execution: Quantitative Program Analysis through Model Counting
Keynotes
Jaco Geldenhuys
University of Stellenbosch, South Africa
,
Matthew B Dwyer
University of Virginia
,
Willem Visser
Stellenbosch University
DOI
Wed 20 Jul
Displayed time zone:
Seoul
change
Room
0:00
30
1:00
30
2:00
30
3:00
30
4:00
30
5:00
30
6:00
30
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Keynote
Keynotes
Keynote
Keynotes
Keynote
Thu 21 Jul
Displayed time zone:
Seoul
change
Room
0:00
30
1:00
30
2:00
30
3:00
30
4:00
30
5:00
30
6:00
30
7:00
30
8:00
30
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
18:00
30
19:00
30
20:00
30
21:00
30
22:00
30
23:00
30
Keynote
Keynotes
Keynote
Keynotes
Keynote
Keynotes
Awards & Reports
Keynotes
Impact Paper Presentation
Wed 20 Jul
Displayed time zone:
Seoul
change
Room
0:00
15
30
45
1:00
15
30
45
2:00
15
30
45
3:00
15
30
45
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
8:00
15
30
45
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
Keynote
ISSTA Keynotes
Neural Software Analysis: the Good, the Bad, and the Ugly
00:00 - 01:00
ISSTA Keynotes
Neural Software Analysis: the Good, the Bad, and the Ugly
15:00 - 16:00
Thu 21 Jul
Displayed time zone:
Seoul
change
Room
0:00
15
30
45
1:00
15
30
45
2:00
15
30
45
3:00
15
30
45
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
8:00
15
30
45
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
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
22:00
15
30
45
23:00
15
30
45
Keynote
ISSTA Keynotes
Software Developer Tools for Democratizing Heterogeneous Computing Appl ...
00:00 - 01:00
ISSTA Keynotes
Software Developer Tools for Democratizing Heterogeneous Computing Appl ...
15:00 - 16:00
ISSTA Keynotes
Award Presentations & Chair Report
23:00 - 23:15
ISSTA Keynotes
Probabilistic Symbolic Execution: Quantitative Program Analysis through ...
23:15 - 00:00
x
Tue 3 Dec 17:54