ISSTA 2023
Mon 17 - Fri 21 July 2023
Seattle (University of Washington campus), Washington, United States
co-located with
ECOOP and ISSTA 2023
Toggle navigation
Attending
Venue: Seattle
Travel Support
ECOOP and ISSTA 2023
Conduct
Covid-19
Accommodation
Registration
Visas
Program
ISSTA Program
Your Program
Schedule Overview
Mon 17 Jul
Tue 18 Jul
Wed 19 Jul
Thu 20 Jul
Fri 21 Jul
Tracks
ISSTA 2023
Technical Papers
Artifact Evaluation
Tool Demonstrations
Keynotes
ECOOP and ISSTA 2023
Doctoral Symposium
Keynotes
Sponsorships
Student Research Competition
Student Volunteers
Workshops
Workshops
COP
DEBT
FTfJP
FUZZING
ICOOOLPS
VORTEX
Organization
ISSTA 2023 Committees
Organizing Committee
Track Committees
Technical Papers
Artifact Evaluation
Tool Demonstrations
ECOOP and ISSTA
Doctoral Symposium
Sponsorships
Student Research Competition
Student Volunteers
Workshops
Contributors
People Index
Workshops
COP
Organizing Committee
Program Committee
DEBT
Organizing Committee
Program Committee
FTfJP
Organizing Committee
Program Committee
FUZZING
Organizing Committee
Program Committee
ICOOOLPS
Organizing Committee
Program Committee
VORTEX
Organizing Committee
Program 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
ECOOP and ISSTA 2023
(
series
) /
ISSTA 2023
(
series
) /
Seattle
/
Room information: Anderson Seminar Room (Gates 271)
Venue
Seattle
Room name
Anderson Seminar Room (Gates 271)
Floor
2
Room number
Gates 271
Capacity
40
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-07:00) Pacific Time (US & Canada)
.
Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)
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+03: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 18 Jul
Displayed time zone:
Pacific Time (US & Canada)
change
09:00 - 10:00
Keynote
FTfJP
at
Anderson Seminar Room (Gates 271)
09:00
60m
Keynote
State of state in Dafny
FTfJP
K. Rustan M. Leino
Amazon
10:30 - 12:00
Verification
FTfJP
at
Anderson Seminar Room (Gates 271)
10:30
25m
Talk
Verifying C++ dynamic binding
FTfJP
Niels Mommen
KU Leuven
,
Bart Jacobs
imec-DistriNet, Dept. CS, KU Leuven
Link to publication
DOI
Pre-print
10:55
15m
Talk
Correctness-by-Construction meets Refinement Types
FTfJP
Baber Rehman
University of Hong Kong
11:10
25m
Talk
Towards Verified Scalable Parallel Computing with Coq and Spark
FTfJP
Frederic Loulergue
Université d'Orléans
,
Jolan Philippe
IMT Atlantique
DOI
11:35
25m
Talk
Constructing Structured SSA from FJ
FTfJP
Kenny Zhuo Ming Lu
ISTD, Singapore University of Technology and Design
,
Daniel Yu Hian Low
Singapore University of Technology and Design
13:30 - 15:00
Runtime checking and static analysis
FTfJP
at
Anderson Seminar Room (Gates 271)
13:30
25m
Talk
Gradual Guarantee for FJ with lambda-expressions
FTfJP
Pedro Ângelo
University of Porto
,
Viviana Bono
University of Torino
,
Mariangiola Dezani
Università di Torino
,
Mário Florido
Universidade do Porto
13:55
25m
Talk
Points-to Analysis for Context-Oriented JavaScript Programs
FTfJP
Sergio Cardenas
Universidad de los Andes
,
Paul Leger
Universidad Católica del Norte, Chile
,
Hiroaki Fukuda
Shibaura Institute of Technology
,
Nicolás Cardozo
Universidad de los Andes
DOI
Media Attached
14:20
25m
Talk
Dependency-free Capture Tracking
FTfJP
Edward Lee
University of Waterloo
,
Kavin Satheeskumar
University of Waterloo
,
Ondřej Lhoták
University of Waterloo
15:30 - 17:00
Other topics
FTfJP
at
Anderson Seminar Room (Gates 271)
15:30
25m
Talk
Runtime verification of hash code in mutable classes
FTfJP
Davide Ancona
DIBRIS, University of Genova, Italy
,
Angelo Ferrando
DIBRIS, Università di Genova
,
Viviana Mascardi
DIBRIS, University of Genova, Italy
15:55
25m
Talk
Verifying Well-Typedness Preservation of Refactorings using Scope Graphs
FTfJP
Luka Miljak
Delft University of Technology
,
Casper Bach Poulsen
Delft University of Technology
,
Flip van Spaendonck
TU Eindhoven
DOI
16:25
20m
Talk
Using Rewrite Strategies for Efficient Functional Automatic Differentiation
FTfJP
Timon Böhler
Technical University of Darmstadt
,
David Richter
Technical University of Darmstadt
,
Mira Mezini
TU Darmstadt
Pre-print
Tue 18 Jul
Displayed time zone:
Pacific Time (US & Canada)
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
Anderson Seminar Room (Gates 271)
FTfJP
Keynote
FTfJP
Verification
FTfJP
Runtime checking and static analysis
FTfJP
Other topics
Tue 18 Jul
Displayed time zone:
Pacific Time (US & Canada)
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
Anderson Seminar Room (Gates 271)
FTfJP
State of state in Dafny
09:00 - 10:00
FTfJP
Verifying C++ dynamic binding
10:30 - 10:55
FTfJP
Correctness-by-Construction meets Refinement Types
10:55 - 11:10
FTfJP
Towards Verified Scalable Parallel Computing with Coq and Spark
11:10 - 11:35
FTfJP
Constructing Structured SSA from FJ
11:35 - 12:00
FTfJP
Gradual Guarantee for FJ with lambda-expressions
13:30 - 13:55
FTfJP
Points-to Analysis for Context-Oriented JavaScript Programs
13:55 - 14:20
FTfJP
Dependency-free Capture Tracking
14:20 - 14:45
FTfJP
Runtime verification of hash code in mutable classes
15:30 - 15:55
FTfJP
Verifying Well-Typedness Preservation of Refactorings using Scope Graphs
15:55 - 16:20
FTfJP
Using Rewrite Strategies for Efficient Functional Automatic Differentiation
16:25 - 16:45
x
Fri 13 Dec 23:06