PRIDE 2022
Mon 6 - Fri 10 June 2022 Berlin, Germany
co-located with ECOOP 2022
VenueScandic Potsdamer Platz, Berlin
Room nameStockholm 2
Floor2
Capacity20
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 7 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
FTfJP 2022 AFTfJP at Stockholm 2
Chair(s): Gary T. Leavens University of Central Florida
09:00
30m
Meeting
Welcome to FTfJP 22
FTfJP

09:30
30m
Paper
Rusty Links in Local Chains
FTfJP
A: James Noble Creative Research & Programming, A: Julian Mackay Victoria University of Wellington, A: Tobias Wrigstad Uppsala University
File Attached
10:00
30m
Paper
Using Functional Reactive Programming to Define Safe Actor Systems
FTfJP
A: Nick Webster Victoria University of Wellington , A: Marco Servetto Victoria University Wellington, New Zealand, A: Michael Homer Victoria University of Wellington
File Attached
11:00 - 12:30
FTfJP 2022 BFTfJP at Stockholm 2
Chair(s): Alexander J. Summers University of British Columbia
11:00
30m
Paper
Automated Reasoning Repair
FTfJP
A: Amirfarhad Nilizadeh University of Central Florida, A: Gary T. Leavens University of Central Florida, A: David Cok Safer Software Consulting, LLC
File Attached
11:30
30m
Paper
On the need for a common API for abstract domains of object-oriented programs
FTfJP
A: Gianluca Amato University of Chieti-Pescara, A: Maria Chiara Meo University “G. d’Annunzio” of Chieti-Pescara, A: Francesca Scozzari University of Chieti-Pescara
File Attached
12:00
30m
Paper
A Graph-Based Formal Semantics of Reactive Programming from First Principles
FTfJP
A: Bjarno Oeyen Vrije Universiteit Brussel, A: Joeri De Koster Vrije Universiteit Brussel, Belgium, A: Wolfgang De Meuter Vrije Universiteit Brussel
Pre-print Media Attached File Attached
13:30 - 15:00
FTfJP 2022 CFTfJP at Stockholm 2
Chair(s): Henrique Rebelo Universidade Federal de Pernambuco
13:30
30m
Lunch
Extended Lunch
FTfJP

14:00
60m
Keynote
Challenges in the field-sensitive analysis of LLVM IR
FTfJP
Eric Bodden University of Paderborn; Fraunhofer IEM
15:30 - 17:00
FTfJP 2022 DFTfJP at Stockholm 2
Chair(s): Henrique Rebelo Universidade Federal de Pernambuco
15:30
30m
Talk
Documentation and Educational Materials for a 2nd edition of the Java Modeling Language
FTfJP
A: David Cok Safer Software Consulting, LLC
File Attached
16:00
30m
Paper
Formalizing $\varphi$-calculus: a purely object-oriented calculus of decorated objects
FTfJP
A: Nikolai Kudasov Innopolis University, Russia, A: Violetta Sim Innopolis University
Link to publication DOI Pre-print File Attached
16:30
30m
Meeting
Discussion and Wrap-Up
FTfJP

Tue 7 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Stockholm 2