FTfJP 2023
Tue 18 Jul 2023
Seattle (University of Washington campus), Washington, United States
co-located with
ECOOP and ISSTA 2023
Toggle navigation
Attending
Venue: Seattle
Program
Complete Program
Your Program
Tue 18 Jul
Tracks
FTfJP 2023
FTfJP 2023
ECOOP and ISSTA 2023
Keynotes
Organization
FTfJP 2023 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
FTfJP 2024
FTfJP 2023
FTfJP 2022
FTfJP 2021
FTfJP 2020
FTfJP 2019
FTfJP 2018
FTfJP 2017
FTfJP 2016
FTfJP 2015
Sign in
Sign up
ECOOP and ISSTA 2023
(
series
) /
FTfJP 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 2023
at
Anderson Seminar Room (Gates 271)
09:00
60m
Keynote
State of state in Dafny
FTfJP 2023
K. Rustan M. Leino
Amazon
10:30 - 12:00
Verification
FTfJP 2023
at
Anderson Seminar Room (Gates 271)
10:30
25m
Talk
Verifying C++ dynamic binding
FTfJP 2023
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 2023
Baber Rehman
University of Hong Kong
11:10
25m
Talk
Towards Verified Scalable Parallel Computing with Coq and Spark
FTfJP 2023
Frederic Loulergue
Université d'Orléans
,
Jolan Philippe
IMT Atlantique
DOI
11:35
25m
Talk
Constructing Structured SSA from FJ
FTfJP 2023
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 2023
at
Anderson Seminar Room (Gates 271)
13:30
25m
Talk
Gradual Guarantee for FJ with lambda-expressions
FTfJP 2023
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 2023
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 2023
Edward Lee
University of Waterloo
,
Kavin Satheeskumar
University of Waterloo
,
Ondřej Lhoták
University of Waterloo
15:30 - 17:00
Other topics
FTfJP 2023
at
Anderson Seminar Room (Gates 271)
15:30
25m
Talk
Runtime verification of hash code in mutable classes
FTfJP 2023
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 2023
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 2023
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 2023
Keynote
FTfJP 2023
Verification
FTfJP 2023
Runtime checking and static analysis
FTfJP 2023
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
Sun 6 Oct 10:06