log in  |  register  |  feedback?  |  help  |  web accessibility
Topolor: A Hybrid Algorithm for Incremental Computation
Justus Croskery
Thursday, November 5, 2026, 12:30-1:30 pm
  • You are subscribed to this talk through .
  • You are watching this talk through .
  • You are subscribed to this talk. (unsubscribe, watch)
  • You are watching this talk. (unwatch, subscribe)
  • You are not subscribed to this talk. (watch, subscribe)
Abstract

Incremental computation is a useful technique for improving program efficiency by reusing previous computation results. It is particularly popular in the JavaScript community for reactive and incremental updates to web page elements. Existing JavaScript incremental computation algorithms exhibit suboptimal performance due to excessive graph traversals. Conversely, some incremental computation algorithms from the academic literature are unable to be implemented in JavaScript due to language constraints. We introduce Topolor, a new incremental computation algorithm that combines the strengths of existing coloring and topological algorithms. Topolor is significantly faster than state-of-the-art JavaScript libraries, particularly on complex, deep computation graphs where performance is essential. Topolor is both correct and efficient in a formal sense, and all proofs have been mechanized in Lean.

This talk is organized by Segev