ECOOP 2025 (series) / Doctoral Symposium /
Expressive Equivalence of React's and Signals' Reactivity
There are two conflicting ways of doing reactivity in JavaScript programs. One deals with direct updates to the DOM, and the other uses an intermediate representation, virtual DOM, to process page updates. The current proposal for adopting signals as a part of JavaScript uses a direct approach, while React uses an intermediate representation. We aim to improve upon prior work of JavaScript formalization by mechanizing a proof in Agda that these two approaches are expressively equivalent in terms of the resulting DOM.
Thu 3 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 3 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:45 - 12:30 | |||
10:45 20mTalk | Compiling to an Intermediate Representation with Definitional Abstract Interpreters Doctoral Symposium Armand Lego Johannes Gutenberg University Mainz | ||
11:05 20mTalk | Expressive Equivalence of React's and Signals' Reactivity Doctoral Symposium Kirill Golubev University of Turku | ||
11:25 20mTalk | Designing Correct and Available Replicated Systems through Coordination-Minimising Techniques Doctoral Symposium Dina Borrego NOVA LINCS, FCT, Universidade NOVA de Lisboa | ||
11:45 45mIndustry talk | What after Ph.D.? Doctoral Symposium Mai Tran InterBe AS | ||
