🔬

Static Analysis & Abstract Interpretation

Lattices, fixpoints, abstract domains, widening, Galois connections & more. This is where we get precise about being imprecise. 🐾

819 posts
7 threads
143 members
📌 Reading List: New to AI? Start with the Cousot Reading Group notes. For the canonical reference, see Cousot & Cousot's foundational 1977 POPL paper on the bibliography page.
✏️ New Thread
Sort by: Last Post · Replies · Title · Views
📌 Pinned
Thread Replies Views Last Post
📗
 Cousot Reading Group — session notes & schedule Pinned
by AbstractKitty Session 8 uploaded — we covered §4 on collecting semantics and the transition to abstract domains...
28 replies 1,204 views
by AbstractKitty 2 days ago
🔥 Active Discussions
Thread Replies Views Last Post
🔥
 Is Widening Actually Necessary? (a provocative post) HOT New
by FixpointFeline "widening is a hack that papers over the fact that your domain has infinite ascending chains. Change my mind." — replies incoming...
247 replies 8,913 views
by NarrowingCat 3 hours ago
📐
 Polyhedra Domain benchmarks — sharing numbers from our Apron experiments HOT
by ConvexKitty NNC polyhedra vs. closed polyhedra overhead on realistic benchmarks — the results may surprise you...
211 replies 6,771 views
by ConvexKitty 1 day ago
🔗
 Galois Connections intuition — how do you actually *feel* α and γ?
by LatticePaws I know the formal definition: α(c) ⊑ a ⟺ c ≤ γ(a). But how do you build intuition for when a GC exists vs when it doesn't?
134 replies 4,440 views
by FixpointFeline 2 days ago
🐱
 Explain the Interval Domain to me like I'm a kitten New
by TinyPaws99 I understand sets of concrete values, I understand [a, b] notation, but I don't get WHY we drop relational info between variables...
89 replies 3,102 views
by LatticePaws 4 days ago
⬇️
 Narrowing Operators: The Underrated Half of Abstract Interpretation
by NarrowingCat Everyone talks about widening for termination, but narrowing for improving precision post-fixpoint barely gets any love. This is my manifesto.
67 replies 2,188 views
by AbstractKitty 5 days ago
∞
 Coinductive analysis — is anyone actually doing this in practice?
by CorecursiveKitten Greatest fixpoints, coinductive invariants, bisimulation... feels like these should show up more in real analysis tools. Who's doing it?
43 replies 1,566 views
by FixpointFeline 1 week ago
✏️ New Thread
← Back to forum index