Notice: This repository contains the Preview Edition of the SPNED framework artifact. It includes the unified end-to-end toolchain automation scripts and pure C/C++ execution baselines. The core C++ Interval Abstract Interpretation Engine and unconstrained ORC JIT pipeline are strictly maintained in the SPNED-Core-Pro private repository.
Our multi-core scaling experiments systematically expose the architectural limitations of WebAssembly sandboxes in memory-intensive ingestion pipelines.
-
Mathematical Bound Safety: The pure C++ abstract interpretation verification guarantees
$100%$ structural safety and$\mathcal{O}(N)$ termination with a negligible 0.478 microseconds planning latency. - Zero-Copy JIT Bypass: Eliminates the batch size overhead tax (Sandbox Tax). SPNED achieves latency as low as 0.76 ns/tuple at large batch sizes, decisively outperforming Wasmtime's context-switching limitations.
/src: The micro-compiler frontend (spned_micro_compiler.py) and pure C execution samples./include: Core architectural headers and baseline C++ interfaces./scripts: The unified end-to-end toolchain pipeline and automated artifact evaluation scripts (run_all.sh)./benchmarks_logs: Raw physical evaluation summaries demonstrating absolute throughput bounds.
Designed for distributed systems researchers targeting top-tier conferences and infrastructure engineers building production-grade ingestion layers.
The Pro Edition Exclusively Includes:
-
Full C++ Source Code: The complete Interval-Domain Abstract Interpretation Engine and Unified End-to-End Compiler (AST
$\to$ LLVM IR). - Academic Technical Report: Formal proofs, False Rejection Rate (FRR) mathematical bounds, and Morsel-driven execution strategy.
- Artifact Automation Scripts: Full access to the experimental dependencies and raw dataset generators.
To support the ongoing research in distributed systems and acquire full repository access:
Email to prof.liwei@gmail.com after your payment. Upon completing the sponsorship, you will receive a direct collaborator invitation to the private SPNED-Core-Pro repository within 12 hours.