Geo: A Query Rewrite Framework for Graph Pattern Mining

This feed aggregates recent CS papers focused on program analysis, formal methods, and AI-assisted software engineering. Highlights include Geo, a programmable rewrite-based optimizer for graph pattern mining that finds large cost reductions via equality saturation; pacing types for RTLola to check timing consistency in asynchronous stream monitors; ProDebug, which augments spectrum/mutation techniques with LLMs to auto-debug Prolog student submissions; formal semantics for C with OpenMP that guarantees data-race freedom for successful executions; and several works on governed metaprogramming,