A Graph-Based Formal Semantics of Reactive Programming from First Principles (FTfJP 2022 - Workshop on Formal Techniques for Java-like Programs)

Mon 6 June - Thu 7 July 2022 Berlin, Germany

Who

Bjarno Oeyen, Joeri De Koster, Wolfgang De Meuter

Track

FTfJP 2022

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

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 programSpecify a time band

Save

When

Tue 7 Jun 2022 12:00 - 12:30 at Stockholm 2 - FTfJP 2022 B Chair(s): Alexander J. Summers

Link to Preprint

http://soft.vub.ac.be/~boeyen/papers/ftfjp22-karcharias_preprint.pdf

File attachments

A Graph-Based Formal Semantics of Reactive Programming from First Principles (FTfJP_2022_paper_3977.pdf)	188KiB

Bjarno OeyenAuthor

Vrije Universiteit Brussel

Belgium

Joeri De KosterAuthor

Vrije Universiteit Brussel, Belgium

Belgium

Wolfgang De MeuterAuthor

Vrije Universiteit Brussel

Belgium

Presentation Slides

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

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

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