ISSTA/ECOOP 2024 (series) / PLAID 2024 (series) / Workshop on Principles, theory, and practice for decentralized applications /
Less is More Revisited: Global Specification and Local Verification Approaches
This program is tentative and subject to change.
Mon 16 Sep 2024 16:00 - 16:30 at EI 10 Fritz Paschke - Session 3
This program is tentative and subject to change.
Mon 16 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 16 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
15:30 - 17:00 | |||
15:30 30mTalk | Modal Crash Types for Intermittent Computing PLAID Myra Dotzel Carnegie Mellon University, Farzaneh Derakhshan Illinois Institute of Technology, Milijana Surbatovich University of Maryland, Limin Jia Carnegie Mellon University | ||
16:00 30mTalk | Less is More Revisited: Global Specification and Local Verification Approaches PLAID Nobuko Yoshida University of Oxford, UK, Ping Hou University of Oxford, Iona Kuhn University of Oxford | ||
16:30 30mTalk | Fair Join Pattern Matching for Actors PLAID Philipp Haller KTH Royal Institute of Technology, Ayman Hussein Technical University of Denmark, Hernan Melgratti University of Buenos Aires, Argentina, Alceste Scalas Technical University of Denmark, Emilio Tuosto Gran Sasso Science Institute, L'Aquila, Italy File Attached |
Information for Participants
Mon 16 Sep 2024 15:30 - 17:00 at EI 10 Fritz Paschke - Session 3
Info for room EI 10 Fritz Paschke: