RAINCURE RESEARCH
Systems research for reliable infrastructure.
Architecture, modeling, formal methods, systems reasoning, and reliability engineering from the Raincurve Research team.
Architecture
Curve-1: A Reasoning Architecture for Cross-Layer Infrastructure Intelligence
A staged reasoning pipeline that converts fragmented operational telemetry into ranked, explainable root-cause hypotheses in near real time.
Raincurve Research
Modeling
Hawkes Process Clustering for Correlated Infrastructure Failures
Self-exciting point process models that cluster correlated cross-layer events into a single incident and trace the cluster back toward its root.
Mohan Murari, Raghav Balasubramaniam — Raincurve Research
Formal Methods
Adaptive Formal Verification for Automated Remediation
A structured-contract approach that verifies every proposed remediation action against live system state, policy, and in-flight conflicts.
Mohan Murari, Raghav Balasubramaniam — Raincurve Research
Systems Reasoning
Compact Contracts: Compressing Telemetry for Cross-Layer Reasoning
A compression layer that preserves cross-layer diagnostic context while reducing raw MELT telemetry volume by roughly 6,000×.
Mohan Murari, Raghav Balasubramaniam — Raincurve Research
Reliability Engineering
Almgren-Chriss Scheduling for Compute-Constrained Reasoning
An optimal-execution framework adapted to pace reasoning workloads and remediation rollouts under finite compute and action budgets.
Mohan Murari, Raghav Balasubramaniam — Raincurve Research
Security
Firecracker Sandboxing for Secure Execution
A microVM and copy-on-write snapshotting model for safely executing reasoning and remediation workloads inside customer-controlled infrastructure.
Mohan Murari, Raghav Balasubramaniam — Raincurve Research