ECOOP 2022 (series) / FTfJP 2022 (series) /
FTfJP 2022 Program
This is the FTfJP 2022 program - see the full program for ECOOP 2022 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 7 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 7 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 30mMeeting | Welcome to FTfJP 22 FTfJP | ||
09:30 30mPaper | 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 30mPaper | 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 | |||
11:00 30mPaper | 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 30mPaper | 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 30mPaper | 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 | |||
13:30 30mLunch | Extended Lunch FTfJP | ||
14:00 60mKeynote | Challenges in the field-sensitive analysis of LLVM IR FTfJP Eric Bodden University of Paderborn; Fraunhofer IEM |
15:30 - 17:00 | |||
15:30 30mTalk | Documentation and Educational Materials for a 2nd edition of the Java Modeling Language FTfJP File Attached | ||
16:00 30mPaper | Formalizing $\varphi$-calculus: a purely object-oriented calculus of decorated objects FTfJP Link to publication DOI Pre-print File Attached | ||
16:30 30mMeeting | Discussion and Wrap-Up FTfJP |