Lightning talk - Parallel static analysis in Elixir
summary
An interactive code viewer calculates which functions can run from a chosen thread using a very simple static analysis and spawns lightweight tasks that stream results to the browser for real-time ad-hoc analysis. Higher-order calls force discovery of callers so the tool needs a whole-program call graph, introducing synchronization and scheduler contention that turns the fast ad-hoc workflow into a slow batch job and forces rethinking the implementation.
AI-written summary · about
