An Algorithm Generator for Fixed-point Oriented Programming (Lightning Talk)
summary
Tool generates concrete worklist/workqueue code from high-level fixed‑point rules, producing optimized implementations (not just an interpreter) for examples like graph distance and a multiply-node extension. Generates variants such as a naive loop or a priority queue and visited cache Dijkstra-style version and adds a min-input cache for multiply nodes to avoid quadratic recomputation. Claims include algorithm-level optimizations that are hard to handwrite, current status moves from interpreter toward a workqueue algorithm generator, and the project seeks case studies and collaborators.
AI-written summary · about
