Work

Proof under pressure

Capability stories from production systems and public builds — metrics and patterns, not a résumé dump. Company-first: the practice is SvelteSoft.

US9298765B2
Cluster consistency under chaos

Named inventorship on cluster request satisfaction when storage members disagree.

~2,000 → 0
Defect elimination at scale

Drove Coverity findings to zero while building NFS caches, NDMP APIs, and online data verification.

200+ machines
Parallel test infrastructure

Kubernetes/VMware/Docker parallel test subsystem that collapsed total test cycle time.

100% pass
Protocol conformance automation

Python/C automation for ARP, IGMP/MLD, and application firewall suites for enterprise networks.

LLVM + Z3
Pre-commit theorem gates

Git check-in tests that barred detected source errors and automated release artifacts to Debian.

24 defects fixed
Real-time firmware rescue

dsPIC33 fuel-pump control: 23 call-chain errors plus interrupt priority restored.

Control plane
Grok in production pipelines

Manufacturer Grok Assistant, AutoGrok book loops, CrossWord-grok 4.5, and Grok Imagine publishing.

LiveView + edge
IoT fleet pattern

Phoenix console, MQTT bus, Nerves simulation, and ESP-IDF nodes — real-time fleet architecture.

Public samples

Sites you can click

Atrium Walls

Invented interior-mural studio. Full sample site — not a live commission desk.

Open →

Vale Meridian

Invented private-client residential practice. Full sample site — not a live listing desk.

Open →

Systems lab

Deep tech R&D (not commercial GA)

ArkFS

Temporal distributed filesystem R&D (Elixir + Rust): never-delete history, simulation harness. Lab capability — not commercial GA.

ConnectUs

Greenfield Rust kernel experiments: cooperative memory, ArkFS, dual-stack networking, multi-arch including ESP.

Patent: US9298765B2 · Code: github.com/jrfranks

Engage

Hire us or ship a product

Principal systems engineering and Grok-native platforms — same reliability bar.