SPL: Orchestrating Workflows with Declarative Deterministic-Probabilistic Composition

Collection of recent CS research with several security-relevant contributions. Key items: SPL (Structured Prompt Language) — a declarative orchestration language that composes deterministic solvers and probabilistic LLM calls, validated on a 78-recipe cookbook and a 1,200-run experiment showing solver-backed verification (82–93% verified correctness) versus unverified LLM output; REFORGE — a provenance-tracked pipeline and uncertainty-aware benchmark for LLM-assisted reverse engineering that quantifies how compiler optimization and alignment uncertainty reduce high-confidence ground truth (e.g