FTfJP 2023
Tue 18 Jul 2023 Seattle (University of Washington campus), Washington, United States
co-located with ECOOP and ISSTA 2023
ECOOP and ISSTA 2023 (series) / FTfJP 2023 (series) / Seattle /

Room information: Anderson Seminar Room (Gates 271)

VenueSeattle
Room nameAnderson Seminar Room (Gates 271)
Floor2
Room numberGates 271
Capacity40
Room InformationNo extra information available
Program

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
KeynoteFTfJP 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
VerificationFTfJP 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 The 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 analysisFTfJP 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 topicsFTfJP 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

Room9:003010:003011:003012:003013:003014:003015:003016:0030
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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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